📰 4 sources covering this story

OpenAI announces solutions to 10 longstanding maths problems

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

New Scientist2 hrs ago

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 ↗

Forbes1 hrs ago

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

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

Trust?Read on Forbes ↗

Quartz5 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 report11 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 ↗