A 23-year-old with no advanced math degree used GPT-5.4 to produce a proof for an Erdős problem unsolved for over 60 years.

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

For centuries, the oldest unsolved problem in mathematics has challenged the world’s greatest minds. Despite advances in technology and logic, this ancient riddle remains beyond human reach. Older ...

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