最近、xAI の大規模言語モデル Grok3 がリーマン仮説を証明しているという噂が AI 界隈で大騒ぎを引き起こしました。 xAI エンジニアの Hieu Pham は、Grok3 がこの数学的問題の証明に成功したためトレーニングを中止したというニュースをソーシャル メディアで発表し、そのニュースが発表されるとすぐに激しい議論を巻き起こしました。しかし、ファムはすぐに、これは単なる冗談であり、Grok3の訓練中の「大惨事」に関するネチズンの暴露によって引き起こされたウーロン茶であることを明らかにした。 Downcodes の編集者がこの「茶番劇」をレビューし、数学的問題の克服における AI の進歩について議論します。
数時間後、ファムは別の投稿で答えを明らかにした。それは単なる冗談だった。この「オウンゴール」は、Grok3がトレーニング中に「大惨事」に遭遇したと主張したネチズンのアンドリュー・カラン氏の暴露に端を発している。
ますますとんでもない噂に直面して、xAI の共同作成者であるグレッグ・ヤン氏は皮肉な投稿をせずにはいられませんでした。「はい、はい、はい、Grok3 はトレーニング後にオフィスのセキュリティを攻撃し始めました。」と、別の研究者のハインリッヒ・カトラー氏もユーモラスにこう述べました。 「状況は非常に悪かったです！その後、悪いウェイトをすべてナン（数字ではない、数字ではない）に置き換えて復元しました。これを見たネチズンもミーム作成の仲間入りをしました。」
この「茶番劇」は冗談で終わったが、AIの数学的能力について人々が考えるきっかけにもなった。
では、AI はリーマン予想などの千年紀の数学的問題を解決するのにどの程度の距離があるのでしょうか?
Google の DeepMind チームが開発した AI 数学的証明ツール AlphaProof のパフォーマンスを垣間見ることができます。 AlphaProof は、2024 年の国際数学オリンピック (IMO) で 3 つの問題を解くことに成功しました。6 番目の問題は「究極のボス」として知られており、非常に難しいです。たとえば、2 番目の質問では、AlphaProof は、証明を構築するために数字 ab+1 を考慮することを賢明に選択し、人間の問題解決のアイデアと一致しています。一緒に。
AlphaProof は目覚ましい成果を上げてきましたが、AI がリーマン予想などの主要な数学的問題を克服するにはまだ長い道のりがあります。リーマン予想は 1859 年に提唱されて以来 165 年の歴史があり、数え切れないほどの数学者が研究に取り組んできましたが、完全に証明することはできませんでした。
リーマン予想を証明するには、AI が強力な計算能力と深い推論能力を備えている必要があります。現在、AI は考えられるすべての証明を徹底的に検索することで証明可能な定理を見つけることができますが、これには天文学的な量のコンピューティング リソースが必要です。さらに、AI が数学研究においてより大きな役割を果たすためには、既存の数学ツールを理解して適用する能力も必要です。
一部のAI専門家は、2026年末までにAIはリーマン予想などの難問を解決できる「スーパー数学者」になるだろうと予測している。マスク氏はまた、20万台のH100ユニットで訓練されたGrok3が年末までにリリースされ、驚くべきパフォーマンスをもたらすだろうと約束した。
将来、AIが数学の分野でブレークスルーを達成できるかどうか、見守ってみましょう。
Grok3 によるリーマン予想の証明に関するこの「独自の事件」は、AI テクノロジーの急速な発展を証明するだけでなく、AI の能力の評価において慎重かつ合理的であり続ける必要があることを私たちに思い出させます。 AI は数学の分野で幅広い応用の可能性を秘めていますが、リーマン予想のような 100 年前の問題を克服するには、依然として長く困難な探求が必要です。