AlphaGeometry References

AlphaGeometry is an artificial intelligence (AI) program that can solve hard problems in Euclidean geometry. It was developed by DeepMind, a subsidiary of Google. The program solved 25 geometry problems out of 30 from the International Mathematical Olympiad (IMO) under competition time limits—a performance almost as good as the average human gold medallist. For comparison, the previous AI program, called Wu's method, managed to solve only 10 problems.^[1]^[2]

DeepMind published a paper about AlphaGeometry in the peer-reviewed journal Nature on 17 January 2024.^[3] AlphaGeometry was featured in MIT Technology Review on the same day.^[4]

References

^ "AlphaGeometry: An Olympiad-level AI system for geometry". Deepmind. Retrieved 26 January 2024.
^ "A.I.'s Latest Challenge: the Math Olympics". The New York Times. Retrieved 26 January 2024.
^ "Solving olympiad geometry without human demonstrations". Nature. Retrieved 26 January 2024.
^ "Google DeepMind's new AI system can solve complex geometry problems". MIT Technology Review. Retrieved 26 January 2024.

[1] "AlphaGeometry: An Olympiad-level AI system for geometry". Deepmind. Retrieved 26 January 2024.

[2] "A.I.'s Latest Challenge: the Math Olympics". The New York Times. Retrieved 26 January 2024.

[3] "Solving olympiad geometry without human demonstrations". Nature. Retrieved 26 January 2024.

[4] "Google DeepMind's new AI system can solve complex geometry problems". MIT Technology Review. Retrieved 26 January 2024.

[1]

[2]

[3]

[4]