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

Google DeepMindが、非常に難しい数学の証明問題を解ける強化学習ベースのシステム「AlphaProof」を発表した。大規模言語モデル(LLM)とゲームAI「AlphaZero」の能力を組み合わたもので、AIが抱える弱点の一部の解決につながる可能性がある。Photograph: Kilito Chan; Getty Images OpenAIの会話型AI「ChatGPT」がおしゃべりを始 …