AI（人工知能）ニュース

AIのAlphaGeometry、オリンピアード金メダリストに匹敵する成績で数学界に革命

AIシステム「AlphaGeometry」がオリンピアードレベルのジオメトリ問題で人間の金メダリストに匹敵する成果を達成。ニューラルモデルと推論エンジンを駆使し、数学AIの新境地を開く。

Published

2年 ago

on

AlphaGeometryは、オリンピアードレベルのジオメトリ問題を解くAIシステムで、人間の金メダリストに匹敵する成績を収めています。このシステムは、ニューラル言語モデルとシンボリック推論エンジンを組み合わせることで、予測と論理的推論を駆使して問題を解決します。訓練には合成データを使用し、人間の介入なしで学習する能力を持っています。AlphaGeometryは、10億の図形から生成された1億のユニークな例を用いて訓練され、その中から証明に必要な構築物を見つけ出します。評価では、以前のAI手法や人間のパフォーマンスと比較して、2000年と2015年の国際数学オリンピアードの銅メダル基準を超える成果を示しました。将来的には、数学全般にわたるAIシステムの開発を目指し、数学や科学の分野で新たな可能性を開くことが期待されています。

from AlphaGeometry: An Olympiad-level AI system for geometry.

Related Topics:

Trending

モバイルバージョンを終了