This is a linkpost for https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/

[Published today by DeepMind]

Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics

Reflecting the Olympic spirit of ancient Greece, the International Mathematical Olympiad is a modern-day arena for the world's brightest high-school mathematicians. The competition not only showcases young talent, but has emerged as a testing ground for advanced AI systems in math and reasoning.

In a paper published today in Nature, we introduce AlphaGeometry, an AI system that solves complex geometry problems at a level approaching a human Olympiad gold-medalist - a breakthrough in AI performance. In a benchmarking test of 30 Olympiad geometry problems, AlphaGeometry solved 25 within the standard Olympiad time limit. For comparison, the previous state-of-the-art system solved 10 of these geometry problems, and the average human gold medalist solved 25.9 problems.

---

First published:
January 17th, 2024

Source:
https://www.lesswrong.com/posts/GGLpjugLQv6TupQgS/alphageometry-an-olympiad-level-ai-system-for-geometry

Linkpost URL:
https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/

---

Narrated by TYPE III AUDIO.

[Linkpost] “AlphaGeometry: An Olympiad-level AI system for geometry” by alyssavance

LessWrong (30+ Karma)