Solving olympiad geometry without human demonstrations

• https://www.nature.com/articles/s41586-023-06747-5
• Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, He He & Thang Luong

Math,

AlphaGeometry is a neuro-symbolic system that uses a neural language model, trained from scratch on our large-scale synthetic data, to guide a symbolic deduction engine through infinite branching points in challenging problems. … approaching the performance of an average International Mathematical Olympiad (IMO) gold medallist.