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

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...

A PHD in math disproved an 87 year old math problem with about two hours of working with Anthropic Fable. The Jacobian conjecture (JC) has been disproved in dimension 3 (and thus all higher dimensions ...

The breakthrough was made by mathematician Levent Alpoge, a former Harvard researcher who now works at Anthropic.

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

OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical ...

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

As millions of people were coming down from the excitement of the FIFA World Cup Final at the start of this week, a different kind of excitement was building within the mathematical community. Levent ...

On July 20, 2026, OpenAI disclosed that the same internal model it credited in May with disproving the Erdős unit distance conjecture had, during limited internal deployment, repeatedly found ways to ...

My dad comes from a family of math lovers who enjoy sharpening their skills by trying to outdo one another at chess. For those unfamiliar with the game, planning how to move your pieces across a ...

Butterfly-design pillow with five structural support zones targets spinal alignment and neck tension reduction during ...