検索
ホームページテクノロジー周辺機器AIディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

この成果は、AI の数学的推論能力における画期的な成果であり、一般的な AI システムの開発における重要なマイルストーンです。

今回、人工知能アルゴリズムは数学オリンピック (IMO) において大きな進歩を遂げました。

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

国際的に権威のある雑誌「Nature」の最新号に、AlphaGeometryと呼ばれる人工知能システムを紹介する論文が掲載されました。このシステムは、人による実演なしでオリンピックの幾何学問題を解決できます。専門家らは、これは人工知能が人間の推論能力を獲得するための進歩における重要なマイルストーンであると信じている。今回の研究成果の公表は、人工知能のさらなる発展を促進する上で非常に意義深いものです。

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

論文リンク: https://www.nature.com/articles/s41586-023-06747-5

DeepMind も論文に掲載されましたコードとモデルはしばらくオープンソース化されていました。GitHub: https://github.com/google-deepmind/alphageometry

これは、Google DeepMind## の手による人工知能システムです。 # の研究者は、人間のオリンピック金メダリストに近いレベルで複雑な幾何学的問題を解決できます。

数学オリンピックの幾何学問題 30 問のベンチマーク テストで、AlphaGeometry は数学オリンピックの標準制限時間内に幾何学問題のうち 25 問を解決しましたが、以前の最先端システムは幾何学問題のうち 10 問しか解決できませんでした。 。これに対し、人間の金メダリストは平均 25.9 問の問題を解きました。

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける
# 定理の証明は、学習ベースの AI モデルにとって困難なタスクです。その主な理由は、ほとんどの数学分野における人間による証明は機械で検証可能な言語に変換することが難しいため、AI モデルのトレーニングに使用されるデータの量が制限されるためです。この問題を克服するために、DeepMind は定理証明に合成データを使用する代替方法を提案しています。彼らは、多くの分野に適用できる AlphaGeometry と呼ばれる一般的なガイダンス フレームワークを開発しました。 AlphaGeometry は合成データを活用することで、定理証明用の AI モデルをトレーニングし、高品質の結果を生成できます。この方法は、定理証明の困難に対する効果的な解決策を提供します。

研究紹介

AlphaGeometry は、言語モデルと「記号エンジン」を組み合わせて、記号と論理規則の助けを借りて数学的推論を実行します。 その中で、言語モデルはプロセスの後続のステップの特定と予測には優れていますが、数学的推論に必要な厳密さに欠けています。一方、シンボリック エンジンは純粋に 形式論理 に基づいており、厳格なルール。これにより、言語モデルを合理的な意思決定に導くことができます。

AlphaGeometry の研究において、DeepMind は、2000 年から 2022 年にわたる 30 のオリンピック幾何学問題 (IMO-AG-30) のベンチマーク テスト セットからテストを実施しました。その結果、AlphaGeometry は競技時間中に優れたパフォーマンスを示しました。制限内の問題は 25 問。以前の最先端の方法 (Wu の方法) では、10 件しか解決できませんでした。

AI システムは、推論スキルとトレーニング データが不足しているため、幾何学や数学の複雑な問題を解決するのに苦労することがよくあることはよく知られています。 AlphaGeometry システムは、ニューラル言語モデルの予測能力とルールに制約された推論エンジンを組み合わせ、新しいソリューションを見つけるために連携します。

さらに、データの課題を解決するために、この研究では大量の合成トレーニング データ、つまり 1 億個の例が生成されました。その中で、多くの定理には証明するためのステップが 200 以上あり、これは平均より 4 ステップ長いです数学オリンピックの定理の証明長。倍。

AlphaGeometry は、論理的に推論し、新しい知識を発見して検証する AI の能力が向上していることを示しています。オリンピック レベルの幾何学問題を解決することは、AI にとって、より高度で汎用的な人工知能システムへの道を歩む重要なマイルストーンです。

フィールズ賞受賞者でIMO金メダリストのNgô Bảo Châu氏は次のように述べています。「AI研究者がなぜ最初に国際数学オリンピック(IMO)の幾何学問題を解こうとするのかが完全に理解できました。なぜなら、彼らの解法を見つけることは重要な問題だからです」これはチェスのようなもので、各手ごとに妥当な手が比較的少ないのです。しかし、彼らがこれを達成できたことには今でもショックを受けています。これは素晴らしい成果です。」

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

## 2010 年のフィールズ賞受賞者である呉宝珠氏は、現在シカゴ大学の教授を務めています。

AlphaGeometry は、複雑な幾何学定理の証明を見つけるために連携して動作するニューラル言語モデルと記号演繹エンジンで構成される神経記号システムです。 1 つのシステムは迅速で直感的なアイデアを提供し、もう 1 つのシステムはより思慮深く合理的な決定を提供します。

言語モデルはデータ内の一般的なパターンと関係性を識別することに優れているため、潜在的に有用な構造を迅速に予測できますが、厳密な推論や解釈が欠けていることがよくあります。一方、記号演繹エンジンは形式論理に基づいており、明示的なルールを使用して結論に達し、それらが合わせて AlphaGeometry を構成します。

AlphaGeometry の言語モデルは、その記号演繹エンジンをガイドして、幾何学的な問題に対する考えられる解決策を見つけます。一般的なオリンピックの幾何学問題は図に基づいており、解決するには点、線、円などの新しい幾何学的構造を追加する必要があります。 AlphaGeometry の言語モデルは、無数の可能性の中からどの新しい構造を追加するのが最も役立つかを予測できます。これらの手がかりはギャップを埋めるのに役立ち、シンボリック エンジンが図についてさらに推論を行い、解決策に近づくことができるようになります。

たとえば、下の図 (上) は、「ABC を AB = AC の任意の三角形とする。∠ABC = ∠BCA であることを証明せよ。」という単純な問題を AlphaGeometry で解くプロセスを示しています。

# AlphaGeometry の証明プロセスは次のようになります。AlphaGeometry は、記号演繹エンジンを実行することによって証明の検索を開始します。このエンジンは、定理の前提から開始し、定理が証明されるか新しいステートメントが使い果たされるまで、新しいステートメントを徹底的に導き出します。シンボリック エンジンが証明を見つけられなかった場合、言語モデルはシンボリック エンジンが再起動する前に証明可能な条件を追加する補助ポイントを構築します。このサイクルは、解決策が見つかるまで続きます。簡単な例では、ループは最初の補助構造「BC の中点に点 D を追加」の後で終了します。

下の図 (下) は、IMO 問題に対する AlphaGeometry のソリューションを示しています。 「三角形 FKM と KQH の外接円 (O1) と (O2) が互いに接していることを証明してください...」 AlphaGeometry はこのような複雑な問題も証明でき、証明プロセスでは補助点なども提供されます。証明は説明のために大幅に短縮および編集されています。

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

1 億件の数的推論トレーニング データを生成

人間は、紙にスケッチすることで幾何学を学習し、図を調べ、最新の Have を使用できます。新しい、より複雑な幾何学的特性と関係を発見するための知識。合成データを生成するこの研究のアプローチは、この知識構築プロセスを大規模にシミュレートします。合成データの生成方法を図 3 に示します。

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

高度な並列コンピューティングを使用して、システムはまず 5 億の幾何学的オブジェクトのランダムなグラフを生成し、各グラフ内の点と線の間のすべての関係を徹底的に導き出します。 AlphaGeometry は、各グラフに含まれるすべての証明を見つけてから、逆方向に作業して、それらの証明を取得するために必要な追加構造があればそれを見つけます。このプロセスが「記号の演繹と遡及」です。

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

#AlphaGeometry によって生成された合成データの視覚的表現その後、この巨大なデータ プールはフィルタリングされました。同様の例を除外すると、トレーニング データセットは 1 億個になりました。

先駆的な人工知能推論機能

AlphaGeometry が提供するすべてのソリューションは、コンピューターでチェックおよび検証されています。研究者らはまた、その結果を以前の人工知能手法やオリンピック競技における人間のパフォーマンスと比較しました。さらに、数学コーチで元オリンピック金メダリストの Evan Chen が、さまざまな AlphaGeometry ソリューションを評価してくれました。

ディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受ける

MIT の数学博士候補者である Chen Yiting は、IMO 2014 金メダルを獲得しました。 Evan Chen 氏は次のように述べています。「AlphaGeometry の出力は、検証可能でクリーンであるため、印象的です。証明ベースの競争問題に対する過去の人工知能ソリューションは、時々当たり外れがありました (出力一方、AlphaGeometry にはこの弱点がありません。そのソリューションは機械で検証可能な構造を持っています。一方で、その出力は依然として人間が判読可能です。ブルートフォースによって座標系を想像することができます。幾何学の問題を解決するプログラム: 何ページにもわたる退屈な代数計算を考えてください。AlphaGeometry はそんなことはしません。人間の学生が行うような、角度や類似の三角形を含む古典的な幾何学の規則を使用します。」

最近、金融テクノロジー企業 XTX Markets は、数学的推論を実行できる人工知能モデルの開発を奨励するために、人工知能オリンピック数学賞 (AI-MO 賞) を設立しました。各オリンピックには 6 つの問題があり、通常はそのうちの 2 つだけがジオメトリに焦点を当てているため、AlphaGeometry は特定のオリンピックの問題の 3 分の 1 にしか適用できません。

これにもかかわらず、AlphaGeometry は幾何学的問題解決能力のみに依存し、2000 年と 2015 年に IMO 銅メダルの基準を突破した世界初の人工知能モデルとなりました。

DeepMind は、次世代の人工知能システムのための推論の進歩にすでに取り組んでいます。研究者らは、大規模な合成データを使用して AI システムをゼロからトレーニングする幅広い可能性を考えると、このアプローチは将来の AI システムが数学やその他の分野で新しい知識を発見する方向に影響を与える可能性があると考えています。

AlphaGeometry は、純粋な数学の美しさの探求から、言語モデルを使用した数学的および科学的問題の解決まで、人工知能における数学的推論の先駆者です。このテクノロジーは、より高度で抽象的な数学的問題を解決できるよう改良され続けることが期待されています。

AlphaGeometry の影響は、数学に加えて、コンピューター ビジョン、アーキテクチャ、さらには理論物理学などの幾何学的問題を含む、より多くの分野にも及ぶ可能性があります。

参考コンテンツ:

https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system -for-geometry/

以上がディープラーニングは幾何学的推論で天才レベルのパフォーマンスを達成 Nature が DeepMind のモデルを公開し、フィールズ賞受賞ニュースで賞賛を受けるの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

声明
この記事は机器之心で複製されています。侵害がある場合は、admin@php.cn までご連絡ください。
Huggingface smollmであなたの個人的なAIアシスタントを構築する方法Huggingface smollmであなたの個人的なAIアシスタントを構築する方法Apr 18, 2025 am 11:52 AM

オンデバイスAIの力を活用:個人的なチャットボットCLIの構築 最近では、個人的なAIアシスタントの概念はサイエンスフィクションのように見えました。 ハイテク愛好家のアレックスを想像して、賢くて地元のAI仲間を夢見ています。

メンタルヘルスのためのAIは、スタンフォード大学でのエキサイティングな新しいイニシアチブによって注意深く分析されますメンタルヘルスのためのAIは、スタンフォード大学でのエキサイティングな新しいイニシアチブによって注意深く分析されますApr 18, 2025 am 11:49 AM

AI4MHの最初の発売は2025年4月15日に開催され、有名な精神科医および神経科学者であるLuminary Dr. Tom Insel博士がキックオフスピーカーを務めました。 Insel博士は、メンタルヘルス研究とテクノでの彼の傑出した仕事で有名です

2025年のWNBAドラフトクラスは、成長し、オンラインハラスメントの成長と戦いに参加します2025年のWNBAドラフトクラスは、成長し、オンラインハラスメントの成長と戦いに参加しますApr 18, 2025 am 11:44 AM

「私たちは、WNBAが、すべての人、プレイヤー、ファン、企業パートナーが安全であり、大切になり、力を与えられたスペースであることを保証したいと考えています」とエンゲルバートは述べ、女性のスポーツの最も有害な課題の1つになったものに取り組んでいます。 アノ

Pythonビルトインデータ構造の包括的なガイド-AnalyticsVidhyaPythonビルトインデータ構造の包括的なガイド-AnalyticsVidhyaApr 18, 2025 am 11:43 AM

導入 Pythonは、特にデータサイエンスと生成AIにおいて、プログラミング言語として優れています。 大規模なデータセットを処理する場合、効率的なデータ操作(ストレージ、管理、アクセス)が重要です。 以前に数字とstをカバーしてきました

Openaiの新しいモデルからの代替案からの第一印象Openaiの新しいモデルからの代替案からの第一印象Apr 18, 2025 am 11:41 AM

潜る前に、重要な注意事項:AIパフォーマンスは非決定論的であり、非常にユースケース固有です。簡単に言えば、走行距離は異なる場合があります。この(または他の)記事を最終的な単語として撮影しないでください。これらのモデルを独自のシナリオでテストしないでください

AIポートフォリオ| AIキャリアのためにポートフォリオを構築する方法は?AIポートフォリオ| AIキャリアのためにポートフォリオを構築する方法は?Apr 18, 2025 am 11:40 AM

傑出したAI/MLポートフォリオの構築:初心者と専門家向けガイド 説得力のあるポートフォリオを作成することは、人工知能(AI)と機械学習(ML)で役割を確保するために重要です。 このガイドは、ポートフォリオを構築するためのアドバイスを提供します

エージェントAIがセキュリティ運用にとって何を意味するのかエージェントAIがセキュリティ運用にとって何を意味するのかApr 18, 2025 am 11:36 AM

結果?燃え尽き症候群、非効率性、および検出とアクションの間の隙間が拡大します。これは、サイバーセキュリティで働く人にとってはショックとしてはありません。 しかし、エージェントAIの約束は潜在的なターニングポイントとして浮上しています。この新しいクラス

Google対Openai:学生のためのAIの戦いGoogle対Openai:学生のためのAIの戦いApr 18, 2025 am 11:31 AM

即時の影響と長期パートナーシップ? 2週間前、Openaiは強力な短期オファーで前進し、2025年5月末までに米国およびカナダの大学生にChatGpt Plusに無料でアクセスできます。このツールにはGPT ‑ 4o、Aが含まれます。

See all articles

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

AI Hentai Generator

AI Hentai Generator

AIヘンタイを無料で生成します。

ホットツール

SecLists

SecLists

SecLists は、セキュリティ テスターの究極の相棒です。これは、セキュリティ評価中に頻繁に使用されるさまざまな種類のリストを 1 か所にまとめたものです。 SecLists は、セキュリティ テスターが必要とする可能性のあるすべてのリストを便利に提供することで、セキュリティ テストをより効率的かつ生産的にするのに役立ちます。リストの種類には、ユーザー名、パスワード、URL、ファジング ペイロード、機密データ パターン、Web シェルなどが含まれます。テスターはこのリポジトリを新しいテスト マシンにプルするだけで、必要なあらゆる種類のリストにアクセスできるようになります。

SublimeText3 中国語版

SublimeText3 中国語版

中国語版、とても使いやすい

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境

AtomエディタMac版ダウンロード

AtomエディタMac版ダウンロード

最も人気のあるオープンソースエディター

MinGW - Minimalist GNU for Windows

MinGW - Minimalist GNU for Windows

このプロジェクトは osdn.net/projects/mingw に移行中です。引き続きそこでフォローしていただけます。 MinGW: GNU Compiler Collection (GCC) のネイティブ Windows ポートであり、ネイティブ Windows アプリケーションを構築するための自由に配布可能なインポート ライブラリとヘッダー ファイルであり、C99 機能をサポートする MSVC ランタイムの拡張機能が含まれています。すべての MinGW ソフトウェアは 64 ビット Windows プラットフォームで実行できます。