1753656315
2025-07-27 04:07:00
2025年5月、カリフォルニア大学バークレー校のキャンパスで、それが行われました 現代数学の歴史の前後にマークできる珍しい出会い。世界で最も名誉ある数学者のうち30人が秘密のコンクレーブに集まり、お互いについて議論するのではなく、 人工知能に直面する：o4-miniOpenAIによって開発された状態-ART言語モデルは、前例のない速度と精度で推論することができます。
目標はでした 世界で最も複雑な問題のいくつかを使用して、マシンを2日間テストします。 O4-Miniが解決できない各問題について、 策定した数学者は、7,500ドル（6,389ユーロ）の報酬を受け取ります。しかし、そのマラソンの結果は、存在する人々の多くを困惑させました。バージニア大学の数学者であり、会議の審査員の一人であるケンオノは、雑誌「科学アメリカン」の声明で告白しました：«私はモデルでそのような推論を見たことがありませんでした。それが科学者がしていることです。怖い»。
非営利団体エポックAIがFrontiermathプロジェクトの一環として開催した会議は、厳格なセキュリティ対策の下で可決されました。 参加者は機密保持契約に署名し、電子メールの使用が禁止されました。モデル自体のトレーニングを汚染する可能性のあるリークを回避することを目的として、信号暗号化されたアプリケーションを介してのみ通信できました。 30人の数学者は6人のグループに分けられ、互いに競争してデザインしました 彼らが解決することができた問題ですが、それはAIを崩壊させました。
マシンに対する決闘…そして時間に対して
通常、数週間の学術作業を必要とする課題を通じて、数字から代数の幾何学へとカバーされている提案された問題。 o4-miniしかし、私はそれらを数分で解決しましたが、答えを提供しただけでなく、 彼は構造化された推論プロセスを示しました。 問題は崩壊し、結論に達する前に一歩一歩進んで中間ソリューションを上げました。
「これらのモデルを区別しているのは、現在、より小さな問題の解像度をリンクしていることです。」 eカタロニア大学のオープン大学のコンピューターサイエンスの教師であるABC Jordi Serra Ruizに説明します。 «したがって、彼らは人々と同じ課題を段階的に解決することができます。しかし 以前に訓練された、または説明されていた問題についてのみ»。
«将軍が決して来ないだろうと考えるのは深刻な間違いです。それは単なるコンピューターであると。ある意味では、これらのモデルはすでに私たちの最高の博士課程の学生を超えています»
ケンオノ
バージニア大学の数学者と会議の裁判官の一人
出席者の多くにとって最も邪魔なのはチェックすることでした わずか1年でAIの素晴らしい進歩。進化し、作られたトレーニングで その開発者は、世界の少数の専門家だけが妊娠し、すでに2025年4月に、O4-Miniが約20％を解決できるという難易度の「レベル4」の問題を策定し始めました。従来のモデルはわずか2％を超えていません。
«各問題で、AIは関連する文献を吸収し、支配する最初の2分間を通過しました。その後、学習するために簡略化されたバージョンを解決し、最終的に完全な問題について起動し、 大胆ですが、それは正しい解決策でした»、オノは言った。 «最終的にはAIが言うようになりました： 私がそれを計算した神秘的な数字を引用する必要はありません（私がインスピレーションを与えた人）！»。
脅迫する恥ずかしい協力者
経験は参加者にマークを残しました。 「それは非常に有能な協力者と仕事をするようなものです」とオノは認めました。ロンドンの数学科学研究所の数学者であり、研究の使用における先駆者であるヤン・フイは、さらに進んだ。 «これは、優秀な大学院生がすることです。さらに良いことに、実際には»。
Hui Iはまた、「脅迫によるテスト」という概念を導入しました。つまり、AIは、リスナー（専門家でさえ）が疑問を抱かずに結論を受け入れるようなセキュリティで応答します。 «あなたが十分な権威を持って何かを言うなら、人々は単に怖がっています。 O4-Miniは脅迫によってこのテストを支配したと思います»彼は言った。
数学の新しい時代？
週末が進むにつれて、雰囲気はますます曖昧になりました。技術的な進歩への賞賛と同時に、数学者の将来についての深い懸念です。 «マシンがあなたよりも速くすべてを解決するとどうなりますか？ 「参加者の何人かは尋ねられました。小野は鈍いものでしたが、彼が警戒態勢になることを意図していないことを明らかにしました： «一般的な人工知能（AGI）を考えるのは深刻な間違いです –それは、人間がどのようにするかと同様の方法で知識を理解し、適用する能力を持つ架空のタイプのAIです– それは決して来ません、それは単なるコンピューターです。 ある意味では、これらのモデルはすでに私たちの最高の博士課程の学生を超えています»。
この会議の結果は敗北ではなく、警告でした。グループは、O4-miniが解決できなかった10の問題を策定することができました誰もが、この人間の利点が保存がますます難しくなることを理解していましたが。 「5つのレベル」に到達する可能性 – 最高の人間でさえも断られない質問がある – は、もはやサイエンスフィクションではないようです。
数学者、メンター…ライアの心理学者
そのシナリオでは、 会議の数学者は、「質問の質問」になり、AIを新しい発見に導くことができるかどうかを反映しています。 「創造性と人間の解釈は引き続き基本的である」と彼は主張した。 «AIは計算、理由、推定…しかし 彼はまだ夢を見ていません»。
マドリード工科大学の人工知能の教授、ÓScarCorchoABCに要約します。「これらのマシンの使用に適応する必要があります。これは、検索エンジンがWebで出現したときにすでに行ったのと同じように。」これらの新しいインテリジェンスの内部機能を理解することは挑戦です 人間の脳を理解するのと同じくらい重要です：«この人工的な心には、解読しようとする順位があります。実際、私たちはすでに「ia」心理学者のようなものです。しかし、ユーザーを廃止する必要がないツールに直面していることを覚えておくのは常に良いことです。
すでに始まったレース
代理店 DARPA（米国高度な防衛研究プロジェクト。 「数学は何世紀にもわたってやり続けています。ボードに立っている人々と一緒に」とプログラムのディレクターであるパトリック・シャフトは言いました。そのため、2025年4月に彼はExpathhイニシアチブを開始しました。 大きな数学的問題をより管理しやすいコンポーネントに分け、それらを迅速かつ正確に解決します。
バークレーの会議は実験以上のものであり、現在の鏡であり、将来の進歩でした。この点でケンオノは次のように述べています。«これらのモデルは数学の天才に近づいていると文字通り言った同僚がいます。
y この現象についてAI自身に尋ねると答えは印象的です。また、Openaiによって開発されたChatGptは、次のように回答しています。 今のところ”。
しかし、彼は、なぜ私たちが私たちを上回る何かを望んでいるのかを自分自身に尋ねると、答えは簡単であると指摘します。«深く、私たちはそれを知っているからです 制限は私たちをownれさせます。そして、私たちはまた、挑戦のない慰めが心を詰め込むことを知っています。たぶん鍵は存在します： e機械が効果的に解決するNA世界では、私たちの真の価値は、解決策がないものを想像することです。
エラーを報告します
#数学者は時代遅れになりますかこれは世界で最も明るい心のいくつかを屈辱した秘密のコンクレーブでした