Mathematician Solves Erdos Problem With AI
Topics
Developing
- 866d Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore.
- 866d Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur.
- 866d Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est.
- 866d Sed ut perspiciatis unde omnis iste natus error sit voluptatem accusantium doloremque laudantium.
Sources · 7 independent
“are biographer Sebastian Malaby and his subject, Sir Demis Hassab es. In 4, Hassabes won a Nobel Prize for developing an AI tool to solve one of biology's greatest”
“other related Erdős problems, including problem 1190. As extents to infinity. And he kept on thinking about it.”
“problem he was interested in . There was a cluster of other related Erdős problems, including problem 1196.”
“was Erdos problem 164, which he went on to use in his... This raw and unstructured proof have been tease from AI chatbot, chatGPT, by a 23-year-old Brit with aftermaster degree.”
“solve Erdish problem . So I came up with a clever prompt , and I gave it to the AI , and after about 80 minutes of thinking, it came”
“received a message saying that this essentially amateur mathematician had run GPT-5. 4 Pro on this problem and received output that he thought could be a candidate solution to this”
“had run gf25.4 pro on this problem and received output that he thought could be a candidate solution to this problem. And when I received the message, I was”
“name's Liam Price, and I used an AI from OpenAI to solve Erdish problem . So I came up with a clever prompt”
“solve Erdish problem . So I came up with a clever prompt , and I gave it to the AI , and after about 80 minutes of thinking, it came”
“name is Liam Price and I used an AI from OpenAI to solve Erdish problem So I came up with a”
“the idea was very nice. The problem that Jar rett had been thinking about was seven years had been solved in one prompt by AI in under 80 minutes.”
“AI has solved air-dosh problems before. Dozens of them , in fact. But problem 96 is different”
“the proof that AI came up with has been celebrated by some of the greatest minds in the business. is that AI could only work because there are people like Jared who actually understand pure mathematics and care about the solutions.”
Unlock the full story
Get a Pro subscription or above to see the live story progression and the full list of independent sources confirming each event as they happen.
Log in to upgrade