Google DeepMindが最高レベルの数学を解くに近づいた

Google DeepMindの研究者が2つの新しいAIシステム、AlphaProofとAlphaGeometry 2を開発し、複雑な数学問題に取り組む上で大きな進展を遂げています。これらのシステムは、世界的な才能ある学生の競技会である国際数学オリンピアードの問題を解くために協力しました。金メダルを獲得できなかったものの、トップの数学者に匹敵する業績を残しました。AIシステムは代数、幾何学、数論の問題を解く能力を示しました。1つの問題では、角度と中点に関する幾何学的な関係を証明する必要がありました。別の課題では、隠れたモンスターがいるゲームボードを探索し、戦略的な動きと記憶が必要でした。全体的に、AIシステムのブレークスルーは、複雑な数学ドメインで人間の数学者を上回るに近づいたものです。