Two theoretical physicists – including a Nobel laureate – have solved a mathematical problem that flummoxed them for 10 years ...

OpenAI Astra reportedly solved 10 long-standing math problems dating back to 1946. Mathematicians are now actively debating ...

Smith College Professor of Mathematics Christophe Golé and three co-authors have been awarded the Mathematical Association of ...

OpenAI says Astra produced 10 new mathematical results, but replication claims and undisclosed failures complicate its ...

In his 1801 magnum opus Disquisitiones Arithmeticae, German mathematician Carl Friedrich Gauss wrote about a cyclical mystery ...

A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version ...

OpenAI’s unreleased Astra model solved ten decade-old open problems in math and theoretical computer science, posting Lean 4 ...

OpenAI says its internal Astra model produced new results on 10 longstanding problems in mathematics and theoretical computer ...

OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a blog post called “Ten advances ...

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...