📰 4 sources covering this story

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

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

Forbes59 mins ago

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000 Forbes

Trust?Read on Forbes ↗

New Scientist1 hrs ago

OpenAI announces solutions to 10 longstanding maths problems

Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak of AI-driven breakthroughs that are shaking up the field

Trust?Read on New Scientist ↗

Quartz4 hrs 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

Trust?Read on Quartz ↗

NDTV🏁 first to report10 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.

Trust?Read on NDTV ↗