OpenAI revealed Astra, its next major model, by publishing ten proofs of problems open for a decade or more. The total ...
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 ...