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 of studies tackling a major unsolved problem in Bayesian nonparametrics that ...

Axiom Math says its AxiomProver AI system has solved four long-standing math problems and achieved peer-reviewed publication, ...

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened ...