A million-dollar math mystery may someday be resolved in a physics lab. A new study brings this vision one step closer.

OpenAI confirmed the existence of Astra, a smarter, unreleased model that's already achieving big results in the math world.

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

Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak ...

Feedback is delighted to be pointed towards an old but still vital piece of research that presents “a general mathematical ...

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

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

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

A seemingly simple multiple-choice question has left the internet divided. The more people try to solve it, the more confusing it gets, and the answer may not be what you expect.

AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining ...