OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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

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. Experts, including Fields Medalist Terence Tao, believe the AI’s ...

Google DeepMind has used chatbot models to come up with solutions to major problems in mathematics and computer science. The system, called AlphaEvolve, combines the creativity of a large language ...