Erdos Problem Solved By Mathematician With AI
A mathematician named Jared has solved Erdos problem 164, a problem that had remained unsolved for years. Liam Price used an AI from OpenAI to solve an Erdős problem, developing a clever prompt for the AI. A mathematician has solved Erdos problem 96, with AI assistance noted as a factor in the solution. The problem is a long-standing challenge in the field. This breakthrough in mathematics was achieved in San Francisco.
Topics
Developing
- 867d 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
KQED FM
“What Jared solved in four years was Erdős problem 164, which he went on to use in his doctorate.”
BBC WS backup
“was Erdos problem 164, which he went on to use in his...”
ABC NewsRadio AU
“name's Liam Price, and I used an AI from OpenAI to solve Erdish problem . So I came up with a clever prompt”
KQED FM
“AI has solved air-dosh problems before. Dozens of them , in fact. But problem 96 is different”
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