Nature ハイライト

計算機科学:数学オリンピックの金メダリストに匹敵する人工知能

Nature 625, 7995

今回、合成された数百万の幾何学の定理と証明を用いて訓練された、自動定理証明器AlphaGeometryが報告されている。このニューロシンボリックな手法は、従来の最良の方法を上回り、国際数学オリンピック(IMO)の金メダリストの成績に近づいている。

2024年1月18日号の Nature ハイライト

目次へ戻る

プライバシーマーク制度