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 ...

Forbes contributors publish independent expert analyses and insights. Anisha Sircar is a journalist covering tech, finance and society. This voice experience is generated by AI. Learn more. This voice ...

OpenAI says its unreleased Astra model solved or made progress on 10 long-standing mathematics problems. Anthropic has ...

Apart from praise, the news, published on August 1, also kickstarted a debate on social media over whether the achievement is ...

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

OpenAI is known to drop research bombs with no great announcement, and the newest one requires a closer look than just the ...

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 ...

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

We've all been there: staring at a math test with a problem that seems impossible to solve. What if finding the solution to a problem took almost a century? For mathematicians who dabble in Ramsey ...