The Rundown AI: Google’s AI cracks nine unsolved maths problems


🧮 Google’s AI cracks nine unsolved math problems
Image source: Images 2.0 / The Rundown
The Rundown: Google DeepMind’s AlphaProof Nexus, an AI system that generates machine-verified mathematical proofs, solved nine open Erdős problems, including two unsolved for 56 years, just a day after OpenAI claimed its own Erdős breakthrough.
The details:
The system paired an LLM with Lean, a proof assistant, to generate machine-verified proofs for the nine problems spanning combinatorics and graph theory. Each problem cost a few hundred dollars to solve, with the AI also proving 44 open conjectures from the Online Encyclopedia of Integer Sequences. A simpler version of the agent matched the results but cost more, and problems requiring new mathematical constructions remained out of reach. OpenAI’s win last week saw its AI disprove an 80-year-old Erdős conjecture — months after walking back a claim of solving 10 novel problems.
Why it matters: Google’s progress on math problems unsolved for decades shows how fast AI is moving toward original solutions, and how formal verification changes the game. The system generates proofs, verifies them in Lean, and repeats until one passes. Over time, this will help researchers make novel discoveries at machine speed
Unknown's avatar

About michelleclarke2015

Life event that changes all: Horse riding accident in Zimbabwe in 1993, a fractured skull et al including bipolar anxiety, chronic fatigue …. co-morbidities (Nietzche 'He who has the reason why can deal with any how' details my health history from 1993 to date). 17th 2017 August operation for breast cancer (no indications just an appointment came from BreastCheck through the Post). Trinity College Dublin Business Economics and Social Studies (but no degree) 1997-2003; UCD 1997/1998 night classes) essays, projects, writings. Trinity Horizon Programme 1997/98 (Centre for Women Studies Trinity College Dublin/St. Patrick's Foundation (Professor McKeon) EU Horizon funded: research study of 15 women (I was one of this group and it became the cornerstone of my journey to now 2017) over 9 mth period diagnosed with depression and their reintegration into society, with special emphasis on work, arts, further education; Notes from time at Trinity Horizon Project 1997/98; Articles written for Irishhealth.com 2003/2004; St Patricks Foundation monthly lecture notes for a specific period in time; Selection of Poetry including poems written by people I know; Quotations 1998-2017; other writings mainly with theme of social justice under the heading Citizen Journalism Ireland. Letters written to friends about life in Zimbabwe; Family history including Michael Comyn KC, my grandfather, my grandmother's family, the O'Donnellan ffrench Blake-Forsters; Moral wrong: An acrimonious divorce but the real injustice was the Catholic Church granting an annulment – you can read it and make your own judgment, I have mine. Topics I have written about include annual Brain Awareness week, Mashonaland Irish Associataion in Zimbabwe, Suicide (a life sentence to those left behind); Nostalgia: Tara Hill, Co. Meath.
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a comment