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

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of ...

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

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...

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

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

Artificial intelligence is increasingly being used as a collaborator in mathematical research rather than simply a computational tool. A young mathematician teamed up with a new AI model to tackle one ...

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

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.

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