Google DeepMindのAIシステムは、複雑な数学問題を解決できるようになりました

1. Google DeepMindが開発した2つのAIシステム、AlphaProofとAlphaGeometry 2は、高等の推論を伴う数学問題を解決できる。 2. これらのシステムは、国際数学オリンピック (IMO) から6つの問題のうち4つを解決し、銀メダルを獲得した。 3. これは、AIシステムがこれらの問題で最高の成功率を達成した初めての事例である。 4. 高等の推論を伴う数学問題は、AIシステムにとって困難で、抽象化の形成と使用、複雑な階層的な計画、サブゴールの設定が必要である。 5. AlphaProofは、強化学習に基づくシステムで、形式プログラミング言語Leanで数学的文を証明するために自己訓練を行う。 6. Gemini AIは、数学問題を自然言語から形式文に自動的に翻訳し、大規模な形式数学問題のライブラリを作成するために微調整されている。 7. この過程の自動化は、数学コミュニティーにとって大きな進みで、公表された結果の正確さに更なる信頼を与え、協力的な作業を促進する。 8. AlphaGeometry 2は、幾何学問題に取り組むために最適化され、前身よりもはるかに多くの合成データで訓練された。 9. 2人の有名な数学者がシステムの提出物を確認し、42点満点中28点を与え、人間の参加者が銀メダルを獲得するのに相当する。 10. より困難な数学問題を解決できるAIシステムの作成は、人間とAIの協力的な関係を通じて新たなる成果をもたらすと同時に、人間が数学に取り組む方法についての理解を深める。