@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
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: 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.
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 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.
@sama: We want you to have a lot of AI!
OpenAI CEO Sam Altman hints at broader AI availability for consumers.