A Chinese doctor has unexpectedly solved a major mathematics problem dating to 2004 with OpenAI's GPT-5.6 Sol while trying to ...

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut discovery costs to about two thousand dollars.

OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical computer science, posting Lean 4 machine-checkable certificates for each ...

OpenAI's breakthrough once again shows that AI is literally advancing at a breakneck pace, with major breakthroughs arriving almost every single week.

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

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

Math can mean different things to different people. It’s simple sums for children or sophisticated models for hedge fund managers. For mathematicians, it is an act of discovery. Many spend years ...

Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...

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

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