The Rundown AI: ‘Aristotle’ AI cracks 30-year math problem


🤖 ‘Aristotle’ AI cracks 30-year math problem
Image source: Gemini / The Rundown
The Rundown: Aristotle, an AI system built by Harmonic, just independently solved a 30-year-old Erdős problem, marking what researchers are calling the first real step into the “vibe proving” era of mathematics.
The details:
Aristotle solved a version of Erdős Problem #124, which has been open since the 1990s, in six hours, and then formally verified the proof in Lean in a minute.The result came from Aristotle’s beta version, updated with stronger reasoning and a natural language interface to explore and write step-by-step proofs.Vilad Tenev, the founder of Harmonic, called this the arrival of “vibe proving” — AI-driven proofs discovery followed by machine-verifiable rigor.The development follows Harmonic’s $120M funding and Aristotle’s IMO gold performance, putting it alongside Google and OpenAI in mathematical reasoning.
Why it matters: Harmonic’s breakthrough is another push toward mathematical superintelligence, where proofs will be generated, verified, and scaled at superhuman speeds. Tools like these can also open participation in advanced mathematics, turning it from something only experts do into something anyone can contribute to.
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