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

Mathematicians sometimes think of their research as a garden and unsolved problems as seeds waiting to sprout. Some problems are analogous to tulip bulbs. As mathematicians work to solve them, they ...

Le Quang Dung, a gold medalist at the 2017 International Mathematical Olympiad, has co-authored the first paper in a series ...

A Chinese AI framework has independently solved and formally verified a conjecture in commutative algebra that had gone unsolved for over a decade, marking a potential milestone in AI-assisted ...