1769649781
2026-01-29 01:00:00
開発者らによると、中国のAIシステムは、国際数学オリンピック（IMO）レベルでの幾何学問題の解決において米国の競合他社を上回り、所要時間は半分以下で、よりシンプルな計算リソースを使用したという。
問題解決に限定された既存のモデルとは異なり、中国のシステムは数学的な問題を生成することもでき、そのうちの 3 つは中国代表チームの予選試験と 2024 年に米国で開催されるトップオリンピックで出題されました。
「私たちは、原則に基づいたツリー探索を通じてIMOレベルの幾何学問題を発見、提案、証明する神経記号システムであるTongGeometryを紹介します」と北京総合人工知能研究所と北京大学の研究者らは月曜日、査読付き学術誌Nature Machine Intelligenceに書いた。
TongGeometry の開発者らは、このシステムは「単に与えられた問題を解決する生徒というよりは、トレーニング問題を設計し、解決戦略を導くコーチのように機能する」と述べた。
この図は、対称性を維持しながらツリー構造のジオメトリ空間をナビゲートするための TongGeometry の方法を示しています。写真: 配布資料
このシステムは、過去のオリンピックの 196 の幾何学問題を利用して、補助的な構造を必要とする 67 億の幾何学問題を生成しました。
#米国のトップ数学オリンピックで中国の #が幾何学で次のレベルへ