Google DeepMind announces AlphaGeometry: an AI system that...
Google DeepMind announces AlphaGeometry: an AI system that solves Olympiad geometry problems at a level approaching a human gold-medalist. 📐
It was trained solely on synthetic data and marks a breakthrough for AI in mathematical reasoning.
AlphaGeometry is a system made up of 2️⃣ parts:
🔵 A neural language model, which can predict useful geometry constructions to solve problems
🔵 A symbolic deduction engine, which uses logical rules to deduce conclusions
Both work together to find proofs for complex geometry theorems.
📊 In a benchmark test of 30 recent Olympiad geometry problems, AlphaGeometry solved 25 - surpassing the previous state-of-the-art approach called Wu’s method, which solved 10.
Notably, it solves all geometry problems in the 2000 & 2015 Olympiads, under human expert evaluation.
🔍 Unlike many prior methods, AlphaGeometry can produce human-readable proofs.
The code and model are open source: https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
It was trained solely on synthetic data and marks a breakthrough for AI in mathematical reasoning.
AlphaGeometry is a system made up of 2️⃣ parts:
🔵 A neural language model, which can predict useful geometry constructions to solve problems
🔵 A symbolic deduction engine, which uses logical rules to deduce conclusions
Both work together to find proofs for complex geometry theorems.
📊 In a benchmark test of 30 recent Olympiad geometry problems, AlphaGeometry solved 25 - surpassing the previous state-of-the-art approach called Wu’s method, which solved 10.
Notably, it solves all geometry problems in the 2000 & 2015 Olympiads, under human expert evaluation.
🔍 Unlike many prior methods, AlphaGeometry can produce human-readable proofs.
The code and model are open source: https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
Источник: Axis of Ordinary
2024-01-17 16:40:51