関連する実験動画
Updated: Jul 5, 2025

Orienteering as a Tool for Cognitive Research: An Implementation Guide
Published on: November 29, 2024
オリンピックの幾何学を人間の演習なしに解く
Trieu H Trinh1,2, Yuhuai Wu3, Quoc V Le3
1Google Deepmind, Mountain View, CA, USA. thtrieu@google.com.
AIシステムであるAlphaGeometryは,独自のデータを合成することで,ユークリッド平面幾何学における人間レベルの自動推論を実現します. オリンピックレベルの数学問題の 30件のうち 25件を解決し 過去のAI方法を上回ります
科学分野:
- 人工知能
- 自動 推論
- 計算式幾何学
背景:
- オリンピックレベルの数学定理証明は 自動推論の基準です
- 現在の機械学習方法は,特に幾何学では,高い翻訳コストとデータ不足のために数学領域で苦労しています.
- 既存のアプローチは複雑な幾何学的な証明には適用できない.
研究 の 目的:
- ユークリッド平面幾何学で定理を証明できるAIシステムであるアルファジオメトリを開発する.
- 機械学習におけるデータ不足と翻訳コストの制約を克服する
- 自律的に幾何学定理を生成し 解くことができる 神経シンボリックシステムを作る
主な方法:
- ユークリッド平面幾何学の定理を証明するための神経シンボリックAIシステムであるAlphaGeometryを開発した.
- 理論と証明の大規模合成データで訓練された神経言語モデルを使用しました.
- 神経モデルによって誘導される シンボリック・デデクション・エンジンを統合して 複雑な問題空間をナビゲートします
- 数百万の定理と証明を 合成して 人間によるデータの必要性を 回避した
主要な成果:
- アルファジオメトリは30のオリンピックレベルの幾何学問題のうち25を 解決しました
- このシステムは 前の最先端の方法の2倍以上の 問題解決を大幅に上回りました
- 平均的な国際数学オリンピック (IMO) の金メダリストに匹敵するパフォーマンスを達成しました.
- IMO 2000と2015からのすべての幾何学問題を解決しました.
結論:
- アルファジオメトリは,特に複雑な幾何学において,AIによる数学的推論の重要な進歩を示しています.
- 合成データを活用した神経シンボリックアプローチは,自動定理証明の重要な課題を効果的に克服します.
- このシステムの性能は数学の研究と教育に寄与する可能性を示している.
さらに関連する動画
10:26Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities
Published on: September 11, 2021
05:15The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition
Published on: February 19, 2018
関連する概念動画
Theorems of Pappus and Guldinus: Problem Solving
Castigliano's Theorem: Problem Solving
Perpendicular-Axis Theorem
Consider a circular disc of mass M and radius R lying along an x-y plane. The origin lies at the center of the disc, and the z-axis is perpendicular to the disc's plane. All three axes coincide at the disc's center. The moment of inertia of this...
Parallel-axis Theorem
Design Example: Measuring Distance Between Two Points with Obstructions
Method of Sections: Problem Solving II