from NatureAsia
今週、Natureに掲載された論文では、国際数学オリンピックで出題されるような幾何学問題を解くことができるAIシステムについて報告されています。このAIシステムは、これまでの最高性能の定理自動証明システムを上回る性能を持っています。この研究は、AIが人間と同等の複雑な論理問題に取り組む能力を実証し、AI研究の重要な目標となっています。
現在の機械学習ベースのAIシステムでは、数学定理を証明することは困難ですが、今回の研究では、人間の実演を必要としない新しい定理証明の方法が報告されています。AlphaGeometryというシステムは、ニューラル言語モデルと記号推論エンジンを組み合わせており、人間による直接入力なしに複雑な問題を学習して解法を見つけることができます。このシステムは、2000～2020年の国際数学オリンピックで出題された問題を解くことができ、最高記録を更新しました。また、AlphaGeometryは、人間が理解できる形で証明を作成し、さらに一般化された定理を見つけることもできます。
現在は幾何学に限定されていますが、この方法は他の数学の領域にも応用できる可能性があります。
*Disclamer:本キュレーションはNatureAsiaからピックおよび自動生成されました。正確な内容や詳細を知りたい方はリンク先の元コンテンツをご覧ください。