レス数が1スレッドの最大レス数(1000件)を超えています。残念ながら投稿することができません。
技術的特異点/シンギュラリティ【総合】避難所 24
-
AIが国際数学オリンピックの問題を解いて銀メダルレベルを達成
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
画期的なモデルAlphaProofとAlphaGeometry 2は数学の高度な推論問題を解決します
本日は、形式的な数学推論のための新しい強化学習ベースのシステムである AlphaProof と、幾何学を解くシステムの改良版である AlphaGeometry 2 をご紹介します。これらのシステムを組み合わせることで、今年の国際数学オリンピック(IMO)の問題 6 問中 4 問を解き、初めてこの競技で銀メダリストと同等のレベルを達成しました。
掲示板管理者へ連絡
無料レンタル掲示板
