@postagixyz: Emad Mostaque @EMostaque came on PostAGI and said AI had already found 121 years of missing algebra in Einstein's equat…
Summary
Emad Mostaque claims AI found missing algebra in Einstein's equations, while OpenAI's Astra reportedly solved ten open math problems on minimal compute, signaling machines are surpassing humans in mathematical discovery.
View Cached Full Text
Cached at: 08/03/26, 09:40 AM
Emad Mostaque @EMostaque came on PostAGI and said AI had already found 121 years of missing algebra in Einstein’s equations.
A billion parameter model trained on nothing past 1911 got to general relativity by itself.
Yesterday @OpenAI’s Astra solved ten open problems in mathematics and theoretical computer science, most stuck for decades, on about $2,000 of compute.
The machines are doing math humans couldn’t.
Similar Articles
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new reasoning model autonomously produced an original mathematical proof disproving an 80-year-old unsolved geometry conjecture by Paul Erdős, marking the first time AI has solved a prominent open problem central to a field of mathematics.
AI solves 80-year-old math conjecture for under $1000
GPT-next solved the 80-year-old Erdős unit distance problem for under $1,000, marking a shift from AI as tool to AI as independent discoverer. The article also covers infrastructure growth, labor impacts, and governance debates triggered by this milestone.
An OpenAI model solved a famous math problem that stumped humans for 80 years
OpenAI's AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped mathematicians for 80 years, marking a milestone in AI mathematics.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems (34 minute read)
OpenAI's unreleased model Astra reportedly solved ten major open mathematics problems, with results formalized in Lean certificates, signaling a major leap in AI mathematical reasoning.
Are AI math-solved problems experiencing exponential growth?
The article discusses whether AI's ability to solve math problems is growing exponentially, likely analyzing recent trends and research.