Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...
For four decades, a quiet boundary in pure mathematics kept a powerful theorem locked inside the safe world of finite quantities. Now a new result known as Sebestyen’s theorem has pushed that boundary ...
Le Quang Dung, a gold medalist at the 2017 International Mathematical Olympiad, has co-authored the first paper in a series ...
24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
In December 2025, a group of researchers from around the world, including UC Berkeley math professor Nikhil Srivastava, gathered inside the Simons Institute for the Theory of Computing at UC Berkeley.