【全４回連載（第１回）】AIが数学の証明を書けるようになった6年間 ── Neural Theorem Proving の全体像を、正答率30%から99.6%への軌跡とともに読む

Neural Theorem Provingの進化を解説。AIによる数学的証明の分野で、正答率30%から99.6%への劇的な向上を6年間の軌跡として紹介する。

• AIによる数学の定理証明（Neural Theorem Proving）研究は2020年のGPT-fを転機に急速に進展した。
• 2025年までにAIは高校数学の形式証明問題集をほぼ学習し、2026年には未解決問題への挑戦も始まっている。
• AIは定理証明能力を高めたが、自ら問いを立て、証明し、次の問いを生み出す段階にはまだ大きな隔たりがある。
• 本連載では、AI定理証明研究の歴史、内部構造、主要な研究者・組織、そして分野で議論されている課題を4回に分けて解説する。