テクノロジー
Google DeepMindの最新AIは幾何学問題をオリンピック金メダル選手並みの能力で解決できる
Google DeepMindは、人間の国際数学オリンピック金メダリストに迫るレベルで複雑な幾何学問題を解くAIシステム、「AlphaGeometry」を発表した。このAlphaGeometryのコードとモデルはオープン […]
AlphaGeometry is a neuro-symbolic AI system designed to solve Euclidean plane geometry problems. It combines a neural language model with a symbolic deduction engine. By training on 100 million synthetic theorems and proofs, it achieved a performance level close to human International Mathematical Olympiad (IMO) gold medalists, solving 25 out of 30 problems in a test set. It is released as an open-source project by Google DeepMind.