#AlphaGeometry

研究拡散指数 51

Google DeepMind、数学五輪レベルの難問を解く「AlphaGeometry」を発表

Google DeepMindは難解な幾何学問題を解くAI「AlphaGeometry」を発表した。言語モデルと記号論理エンジンを融合し、国際数学オリンピック級の幾何問題30問中25問を制限時間内に解いた。1978年の従来記録10問を大幅に上回る成果で、大学レベルの抽象数学には届かないものの、論理推論の大きな前進を示した。