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