📰 2 sources covering this story

OpenAI says its next AI model Astra cracked ten long-unsolved math problems for roughly $2,000

First covered 6 hrs ago · latest take 45 mins ago. Compare how each outlet is covering it — and rate the sources you trust.

OpenAI says its next AI model Astra cracked ten long-unsolved math problems for roughly $2,000
Quartz
Quartz45 mins ago
OpenAI says its next AI model Astra cracked ten long-unsolved math problems for roughly $2,000
The company published machine-checkable Lean 4 proofs on GitHub for all 10 results, including the first explicit construction of a non-sofic group
NDTV
NDTV🏁 first to report6 hrs ago
OpenAI Says Its Next AI Model Solved 10 Long-Standing Math Problems
OpenAI's breakthrough once again shows that AI is literally advancing at a breakneck pace, with major breakthroughs arriving almost every single week.
Top rated outlets
Outlets are ranked once they have 3+ community ratings — be one of the first to rate.
🏆 Most trusted sources 2026 →
Scores come entirely from reader ratings — rate the sources you read to shape them. How it works →