OpenAI AI solves unit distance conjecture, heralding math breakthrough

In May 2026 OpenAI released a generative‑AI result that solved the long‑standing unit distance conjecture, a problem first posed in 1946. The AI‑generated proof was quickly examined by human mathematicians, who used its central technique to resolve the related sum‑product conjecture within a week. Since that landmark achievement, a steady stream of new research has emerged that either partially or fully leverages artificial intelligence to tackle research‑level mathematics.

While AI is now contributing to high‑profile breakthroughs, the majority of new mathematical papers each month remain authored by humans. Experts suggest the collaboration between AI tools and human ingenuity could usher in a new “golden age” of mathematics, though many of Erdős’s famous unsolved problems still await solution.