General Discussion
Related: Editorials & Other Articles, Issue Forums, Alliance Forums, Region ForumsAn amateur just solved a 60-year-old math problem--by asking AI
"A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses."
Liam Price just cracked a 60-year-old problem that world-class mathematicians have tried and failed to solve. Hes 23 years old and has no advanced mathematics training. What he does have is a ChatGPT Pro subscription, which gives him access to the latest large language models from OpenAI.
[snip]
This one is a bit different because people did look at it, and the humans that looked at it just collectively made a slight wrong turn at move one, says Terence Tao, a mathematician at the University of California, Los Angeles, who has become a prominent scorekeeper for AIs push into his field. Whats beginning to emerge is that the problem was maybe easier than expected, and it was like there was some kind of mental block.
The question Price solvedor prompted ChatGPT to solveconcerns special sets of whole numbers, where no number in the set can be evenly divided by any other. Erdős called these primitive sets because of their connection to similarly indivisible prime numbers.
A computer solving a math problem is not exactly groundbreaking, but it is interesting that a LLM could show humans a new way to approach these problems. That is something that is, well, different....
displacedvermoter
(4,869 posts)to figure out how you cannot reduce the price of a prescription 1000 percent, or 600 percent, or even 500 percent (brainwormed junkie's latest stab) at it.
Ol Janx Spirit
(1,051 posts)Somebody should make a SMM (Small Mind Model) to help us make sense of those two idiots....
I'm pretty sure they run on AI: Actual Ignorance.
hunter
(40,795 posts)
https://en.wikipedia.org/wiki/I_Ching_divination
It's a very clever thing these imitation intelligence companies are doing. If a thousand people are attempting to solve these kinds of problems with their "free" AI products and 999 of these attempts fail, they can still trumpet the rare success and ignore the 999 people who were simply wasting everyone's time by using the product.
Or worse...
We'll know soon enough what this technology is good for and what it is not good for. I suspect these huge investments in giant data centers and the like have overshot the mark.
struggle4progress
(126,543 posts)Then there's this; ... "The raw output of ChatGPTs proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say," But now he and Tao have shortened the proof ...
That is, an undergraduate (who apparently didn't even understand the problem: ... "I didnt know what the problem wasI was just doing Erdős problems as I do sometimes" ...) fed something into a machine, got back something he didn't understand either, and took it to a good mathematician (Tao) --- who was eventully able to treat the output as a suggestion that he could turn into a proof
Note that if I, as a mathematician, produce "raw output" that is "actually quite poor" and a better mathematician eventually can use that suggestion as the basis for a proof, I might get some credit for a useful suggestion but won't be credited with the proof that someone else actually constructed
Bottom line: it's just more AI hype