A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font ...