これ面白い

wired.jp/article/google-deepmind-alphaproof-ai-math/
wired
数学の難問を解くGoogle DeepMindの「AlphaProof」は、AIの“弱点”を克服できる可能性を秘めている
Google DeepMindが、非常に難しい数学の証明問題を解ける強化学習ベースのシステム「AlphaProof」を発表した。大規模言語モデル（LLM）とゲームAI「AlphaZero」の能力を組み合わたもので、AIが抱える弱点の一部の解決につながる可能性がある。

数学オリンピックの難問を解決
AlphaProofはグーグルのLLMである「Gemini」を利用することで、自然な言葉で表現された数学の問題を「Lean」というプログラミング言語に変換する。これに基づいて2番目のアルゴリズムが試行錯誤し、正しいと確認できる証明を見つける方法を学習するための訓練用データが提供される仕組みだ。