Emad Mostaque, on camera: "It's a bad time to be a pure mathematician." AI just solved 10 decade-old math problems for $2,000.
Summary
A panel including Emad Mostaque claims AI solved ten decade-old math problems for $2,000 in compute, sparking debate about the future of pure mathematics and the role of human judgment.
Similar Articles
@postagixyz: Emad Mostaque @EMostaque came on PostAGI and said AI had already found 121 years of missing algebra in Einstein's equat…
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.
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.
Stand-up maths: Has an AI discovered new maths?
Matt Parker's video explores recent cases where AI, including ChatGPT, helped solve open Erdős problems in mathematics, highlighting a new era of AI-assisted mathematical discovery.
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.
Ten advances in mathematics and theoretical computer science
OpenAI used an internal model, Astra, to solve ten mathematical problems that had stalled for over a decade, spending under $2,000 per problem and releasing Lean 4 formalizations and a paper. The results prompt reflections on AI's role in mathematics.