TechThe Verge1h ago
OpenAI drops another batch of mathematical breakthroughs
TL;DROpenAI's unreleased model solved 372 families of math problems previously unsolved.
Why it matters: AI proving hard math suggests frontier models approaching capabilities beyond current applications.
OpenAI has revealed solutions to a number of long-standing mathematics problems produced by an unreleased frontier model in a batch of 722 manuscripts, covering 372 result families that group related papers. It extends a run of breakthroughs that have both impressed and…
Read full articleSource: The Verge · Opens in new tab