In a recent study published in Nature, researchers Trieu Trinh and Thang Luong introduce AlphaGeometry, an AI system that has surpassed the state-of-the-art approach for solving complex geometry problems. AlphaGeometry was able to solve 25 out of 30 Olympiad geometry problems within the standard time limit, approaching the performance of a human gold medalist. The system combines a neural language model with a rule-bound deduction engine, allowing it to reason logically and discover new knowledge. AlphaGeometry’s code and model are open-sourced, and the researchers hope that it will help advance AI systems in mathematics, science, and beyond. The impressive achievement of AlphaGeometry has garnered praise from mathematicians and AI experts alike.
https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/