数学の難問を解くGoogle DeepMindの「AlphaProof」は、AIの“弱点”を克服できる可能性を秘めている

Google DeepMindが、非常に難しい数学の証明問題を解ける強化学習ベースのシステム「AlphaProof」を発表した。大規模言語モデル（LLM）とゲームAI「AlphaZero」の能力を組み合わたもので、AIが抱える弱点の一部の解決につながる可能性がある。