@sama: a general-purpose model solved a major open problem in mathematics. we'll be saying this a lot over the coming years, b…
Summary
Sam Altman announces that a general-purpose AI model has solved a major open problem in mathematics, calling it a big milestone and expressing mixed feelings about AI's expanding capabilities.
View Cached Full Text
Cached at: 05/20/26, 10:38 PM
a general-purpose model solved a major open problem in mathematics.
we’ll be saying this a lot over the coming years, but this is a kinda big milestone.
i’m very excited for AI to greatly extend our understanding of the world, but still, i have complicated feelings today.
Timothy Gowers @wtgowers (@wtgowers): If you are a mathematician, then you may want to make sure you are sitting down before reading further.
Similar Articles
@sama: The world has extremely capable models now; I did not expect a result of this magnitude to happen so soon. We have been…
Sam Altman expresses surprise at the rapid advancement of AI models and emphasizes the urgency of ensuring safety due to this unexpected progress.
OpenAI general purpose model had a breakthrough on famous 80 year old Erdos problem. “This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics”
OpenAI's general-purpose reasoning model autonomously solved the planar unit distance problem, a famous open problem in mathematics posed by Paul Erdős in 1946, marking the first time AI has independently solved a prominent open problem in a field of mathematics.
OpenAI's model can solve many, many other math problems
OpenAI's AI model has demonstrated the ability to solve numerous math problems, with ongoing improvements expected.
@OpenAI: This result points to something larger: AI systems are becoming capable of holding together long, difficult chains of r…
OpenAI has achieved a breakthrough in mathematics: an AI model autonomously solved the planar unit distance problem, a famous open question from 1946, by discovering a new family of constructions that outperform square grids. This marks the first time AI has independently solved a prominent open problem in 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.