Slide 39
Slide 39 text
数学への応用 39
• AlphaGeometry (DeepMind, 2023)
• AlphaProof, AlphaGeometry2 (DeepMind, 2024)
• 定理証明系の言語を利用:Lean [de Moura et al., 2015], Coq [Barras et
al., 1997], Isabelle [Nipkow et al., 2002]
• 定理を「形式化」して,証明をプログラムとして書き下す.
• 証明の真偽は自動的に判定可能(単発の回答はもちろん真偽判定可能)
➢ 思考連鎖の訓練データを収集して学習
➢ 思考連鎖を自動生成して証明が通ったものを訓練データにして学習