Demis: Solving erdos problems are far from true invention
Summary
Demis Hassabis comments that solving Erdos problems does not constitute true invention, offering a perspective on the nature of AI creativity and problem-solving.
Similar Articles
Why the Legendary Erdős Problems Are Falling to AI
OpenAI's AI models have solved multiple famous Erdős problems, including the unit distance conjecture, prompting mathematicians to reconsider how AI is transforming mathematical research.
@RonConway: Demis at Deepmind is SO RIGHT. Mitigating the technical risks related to AI is a challenge we can collectively address,…
Ron Conway praises Demis Hassabis' stance on mitigating AI technical risks, calling for public policy that balances innovation with responsibility, security, and international collaboration. He also thanks Sam Altman (OpenAI) and Jack Clark (Anthropic) for their support.
@satyanadella: An important piece from Demis. We need more of this kind of thinking. A good reminder that the goal is a frontier ecosy…
Satya Nadella endorses Demis Hassabis' thinking on building a frontier AI ecosystem that promotes innovation and choice while avoiding catastrophic model drops.
@cleoabram: The Demis Hassabis HUGE* Conversation (in full) 00:00 What is the hardest problem AI has already solved? 12:30 What is …
A recorded March 2026 conversation with Demis Hassabis covering AI's hardest solved problems, drug discovery, military use, human uniqueness, and his legacy.
Human mathematicians are being outcounterexampled
AI systems, including ChatGPT and OpenAI's Sol, have disproved and fully formalized the Erdős Unit Distance conjecture, marking a milestone in AI-assisted mathematics. The article discusses the process and implications for the future of mathematical proof verification.