News
AlphaGeometry
Doctoral student Trieu Trinh's project AlphaGeometry, an AI capable of solving most of the geometry problems at the International Mathematical Olympiad, has been published in Nature and is featured in a story in the New York Times. Dr. Trinh's advisor was He He.