Buried pretty deep in the article > “The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Lichtman says. But now he and Tao have shortened the proof so that it better distills the LLM’s key insight. I guess “ChatGPT came up with a novel approach to a problem that later turned out not to be totally stupid and ter…
Amateur armed with ChatGPT solves an Erdős problem
381–390 of 607 posts
Re: Amateur armed with ChatGPT solves an Erdős problem
#382Earlier quoted context omitted.
Can't help but think of this I re-read recently from Nietzche: > When I analyze the process that is expressed in the sentence, "I think," I find a whole series of daring assertions that would be difficult, perhaps impossible, to prove; for example, that it is I who think, that there must necessarily be something that thinks, that thinking is an activity and operation on the part of a being who is thought of as a caus…
That is saying something completely different from the comment that you're responding to, though.
But who actually knows how thinking even works in human brains? And assuming that LLMs work by a different mechanism, that this different mechanism can't actually also be considered "thinking"?
Human brains are realized in the same physics other things are so even if quantum level shenanigans are involved, it will ultimately reduce down to physical operations we can describe that lead to information operations. So why the assumption that LLM logic must necessarily be "mimicry" while human cognition has some real secret sauce to it still?
Re: Amateur armed with ChatGPT solves an Erdős problem
#383Buried pretty deep in the article > “The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Lichtman says. But now he and Tao have shortened the proof so that it better distills the LLM’s key insight. I guess “ChatGPT came up with a novel approach to a problem that later turned out not to be totally stupid and ter…
Re: Amateur armed with ChatGPT solves an Erdős problem
#384Earlier quoted context omitted.
Context: parent originally said "you should not say 'worth mentioning', if it's worth mentioning you can just say it". That sentence has now been edited out so my comment looks weird.
Your reply was so rude it convinced me to edit. Your second reply is a distortion of my original message too.
Re: Amateur armed with ChatGPT solves an Erdős problem
#385Earlier quoted context omitted.
> It's intelligent because it does intelligent things. Most people would consider someone who can calculate 56863*2446 instantly in their head to be intelligent. Does that mean pocket calculators are intelligent? The result is the same. > then they are the one meant to be doing the defining, and to tell us how it can be tested for. If they can't, then there's no reason to pay attention to any of it. That is the equiv…
>Most people would consider someone who can calculate 56863*2446 instantly in their head to be intelligent. Does that mean pocket calculators are intelligent? The result is the same. If you wanted to insist a calculator wasn't intelligent and satisfy my conditions then you can. At the very least you can test for the sort of intelligence that is present in humans but absent from calculators and cleanly separate the tw…
But you can only do that now, in hindsight. Before calculators, one could argue being able to do math was a sign of intelligence, but once something new comes along which can do math in a non-intelligent way, you can realise “ah, right, my definition was incomplete/incorrect, I need something better”.
> Foul food tastes different.
You’re right, that was a bad example.
> You come across a shiny piece of yellow metal that you think is gold. (…) He's nothing more than a mad man rambling about a distinction he made up in his head.
No, that is not right. Fool’s gold is a thing.
https://en.wikipedia.org/wiki/Pyrite
It’s not the same as gold and you can test for it, but that doesn’t mean you know how to do it. Yet it’s perfectly possible that by being exposed to the real and fake thing you’ll get a feel for each one as there are subtle visual clues. It doesn’t mean you can articulate exactly what those are, yet you’re able to do it.
It’s like tasting two similar beers or sodas. You may be able to identify them by taste and understand they’re difference but be unable to articulate exactly how you know which is which to the point someone else can use your verbal instructions to know the difference. That doesn’t mean the difference isn’t there or that you can’t tell, it just means you haven’t yet found yourself the proper way to extract and impart what you instinctively understood.
Re: Amateur armed with ChatGPT solves an Erdős problem
#386Here is the chat: don't search the internet. This is a test to see how well you can craft non-trivial, novel and creative proofs given a "number theory and primitive sets" math problem. Provide a full unconditional proof or disproof of the problem. {{problem}} REMEMBER - this unconditional argument may require non-trivial, creative and novel elements. Then "Thought for 80m 17s" https://chatgpt.com/share/69dd1c83-b164…
From A World Appears (Michael Pollan's latest book) https://www.amazon.com/World-Appears-Journey-into-Consciousn...> :
"Creative solutions to novel problems depend on consciousness" [p77] ... "consciousness creates a space for decision-making" ... "integrated information is consciousness, full stop. The two are identical" [xxiii]. "Any physical system properly configured to integrate information is, to some degree or another, theoretically conscious" [xxii]
"We are encouraged to think of the body as a support system for the brain, when, as [Antonio] Damasio reminds us, the very opposite is true" [p72] "damage to the cortex has remarkably little effect on consciousness, while small lesions in structures of the upper brainstem ... will shut down consciousness completely" [p73]. "In Damasio's view, Descartes would have been closer to the mark with I feel, therefore I am" [p69]
"Mark Solms: 'Consciousness if felt uncertainty'." [p52]
"Karl Friston: '...the ability to predict the consequences of one's actions'." [p49]
"Arthur Reber: 'every organic being, every autopoietic cell is conscious. In the simplest sense, consciousness is an awareness of the outside world'." [p37]
"Stefano Mancuso: 'This is one of the features of consciousness: You know your position in the world [discussing plants perceiving pain, being goal-driven]. A stone does not'." [p25]
"Researcher at Johns Hopkins have found that a single psychedelic experience dramatically increases the likelihood that a person will attribute consciousness to other entities, both living and nonliving" [p6] [†]
[•] The entire book, just like existance, has been incredibly challenging.
[†] Absolutely, fullstop. See also: Pollan's (first psilocybin experience @60yo) How to Change Your Mind
Re: Amateur armed with ChatGPT solves an Erdős problem
#387Buried pretty deep in the article > “The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Lichtman says. But now he and Tao have shortened the proof so that it better distills the LLM’s key insight. I guess “ChatGPT came up with a novel approach to a problem that later turned out not to be totally stupid and ter…
I wouldn't expect a hand-crafted proof by an amateur to be much different.
Because from what I gather, they basically had to go through the equivalent of a pile of notes to find the crux.
Re: Amateur armed with ChatGPT solves an Erdős problem
#388That ai can help solve a problem perhaps indicates that the problem is shallow.
Re: Amateur armed with ChatGPT solves an Erdős problem
#389Here is the chat: don't search the internet. This is a test to see how well you can craft non-trivial, novel and creative proofs given a "number theory and primitive sets" math problem. Provide a full unconditional proof or disproof of the problem. {{problem}} REMEMBER - this unconditional argument may require non-trivial, creative and novel elements. Then "Thought for 80m 17s" https://chatgpt.com/share/69dd1c83-b164…
>>how well you ..[can].. craft non-trivial, novel and creative proofs From A World Appears (Michael Pollan's latest book) https://www.amazon.com/World-Appears-Journey-into-Consciousn... > : "Creative solutions to novel problems depend on consciousness " [p77] ... "consciousness creates a space for decision-making" ... "integrated information is consciousness, full stop. The two are identical" [xxiii]. "Any physical s…
Re: Amateur armed with ChatGPT solves an Erdős problem
#390Here is the chat: don't search the internet. This is a test to see how well you can craft non-trivial, novel and creative proofs given a "number theory and primitive sets" math problem. Provide a full unconditional proof or disproof of the problem. {{problem}} REMEMBER - this unconditional argument may require non-trivial, creative and novel elements. Then "Thought for 80m 17s" https://chatgpt.com/share/69dd1c83-b164…