There’s a million-dollar prize for proving the Riemann hypothesis. Claude couldn’t pull that off, but it made significant progress on a related problem ...

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

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

OpenAI Astra achieved a major breakthrough by solving 10 complex theoretical math problems, utilizing sub-agents for ...

Mathematics has relied on the same basic system for thousands of years: someone has an idea, writes it down, and other humans check it. But AI is now advancing so quickly that this trust-based process ...

For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics. Anthropic hasn't solved it — but the company's models made more progress than you might ...

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

While this three-step process is the ideal process of applied math, reality is more complicated. Once I reach the second step where I want the solution of the math problem, very often, if not most of ...

OpenAI revealed Astra, its next major model, by publishing ten proofs of problems open for a decade or more. The total ...