最近、Xaiの大規模な言語モデルGROK3がRiemannの推測がソーシャルメディアで爆発的に爆発し、広範囲にわたる注目を集め、議論を盛り上げたというニュースがあります。 XaiエンジニアのHieu Phamは、GROK3が長年数学コミュニティを悩ませ、したがってモデルトレーニングを一時停止してきたこの困難な問題を成功裏に証明したというメッセージをリリースしました。しかし、これはネチズンの啓示によって引き起こされた「壊れた」ものであり、Xaiの共同設立者であるGreg Yangなどのユーモラスな反応によって最終的に明らかにされました。それは単なる冗談ですが、この事件はAIの数学的能力について人々の詳細な考えを引き起こし、数学の分野でのAIの将来のブレークスルーを楽しみにしています。
最近、XaiのエンジニアHieu Phamはソーシャルメディアに「爆発的な」メッセージを投稿し、Xaiの大規模な言語モデルGrok3がRiemannの推測を成功裏に証明し、モデルのトレーニングを停止したと主張しました。このニュースはすぐにAIサークルでの激しい議論を引き起こし、ネチズンは彼らのショックを表明し、それが真実か偽かを判断することは困難でした。結局のところ、ミレニアムの7つの主要な数学的問題の1つとしてのRiemannの推測は、「推測の世界の冠」として知られており、その困難を想像することができます。
数時間後、ファムは別の投稿で答えを明らかにしました。それは単なる冗談でした。この「異議」は、GROK3が訓練中に「災害事件」に遭遇したと主張した、ネチズンのアンドリュー・カランの啓示に由来しています。
Xai Lianchuang Greg Yangは、皮肉な記事を投稿しざるを得ず、「はい、Grok3がオフィスの警備員を攻撃し始めた」という噂に直面しましたユーモラスに、彼は「状況は非常に悪い！私たちはこれを回復する前に、すべての悪いウェイトをナン（数字ではない）に置き換えました。
この「茶番」は冗談で終わりましたが、AI数学的能力についての人々の考えを引き起こしました。
それで、AIはRiemannの推測のような千年の数学の問題を克服することからどれくらい離れていますか？
GoogleのDeepMindチームが開発したAI数学的証明ツールであるAlphaproofのパフォーマンスを見ることができます。 Alphaproofは、2024年の国際数学オリンピック（IMO）で3つの質問を成功裏に解決しました。その中で、6番目の質問は「究極のボス」として知られており、非常に困難です。アルファプルーフは、問題を解決するプロセスで、強い論理的推論能力と創造的な思考を示しました一緒に。
アルファプルーフは顕著な結果を達成しましたが、AIはまだリーマンの推測のような最も重要な問題を克服するために長い道のりを歩んでいます。 Riemannの推測には、1859年に提案されてから165年の歴史があり、無数の数学者はそれに努力を捧げてきましたが、完全に証明されたことはありません。
Riemannの推測を証明するには、AIは強力なコンピューティング能力と詳細な推論能力を持つ必要があります。現在、AIは実証済みの定理を徹底的に検索することにより、すべての可能な証明を検索できますが、これには天文学的なコンピューティングリソースが必要です。さらに、AIは、数学的研究でより大きな役割を果たすために、既存の数学ツールを理解して適用する能力も必要です。
一部のAIの専門家は、2026年の終わりまでに、AIは「スーパーマン数学者」になると予測しています。これは、Riemannの推測などの問題を解決するのに十分です。マスクはまた、200,000 H100で訓練されたGROK3が年末にリリースされ、素晴らしいパフォーマンスをもたらすことを約束しました。
将来的には、AIが数学の分野でブレークスルーの進歩を遂げることができるかどうかを待って見てみましょう。
AIがRiemannの推測を証明できるかどうかについてのこの「茶番」は、冗談で終わり、人工知能の将来の開発の方向性に関する私たちの考えを引き起こしました。数学の分野におけるAIの進歩はすべての人にとって明らかですが、Riemannの推測のような一流の問題を克服するためにまだ長い道のりがあります。将来、数学の分野でAIのより多くのブレークスルーを楽しみにしています！