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

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

Mathematics is full of mysteries, but some are older than entire civilizations. The oldest unsolved problem in math has persisted for centuries, resisting every attempt to solve it. From the ancient ...