數學界聖杯「黎曼猜想」破解有望 關鍵就在Grok3？

馬斯克旗下 AI 聊天機器人 Grok3 發布後，有傳聞 Grok3 在訓練過程中證明了「黎曼猜想」，這消息震撼了數學界。創投公司 IBC Group 創辦人 Mario Nawfal 日前也發文表示，破解黎曼猜想的競賽正在升溫，而 Grok 3 可能正是關鍵所在。

雖然這消息尚未被印證，但也證實了印證了 Grok 3 的推理潛力——它已能處理最複雜的數學猜想。而這突破的背後，是 AI 與人類數學家的完美合作，堪稱科技與智慧的終極組合拳。

「Grok 3 的思考方式像人類一樣有步驟」，這是馬斯克在記者會上反覆強調的亮點。該模型首次引入「思維鏈」（Chain of Thought）推理機制，使其能夠分步驟拆解複雜問題。

例如，面對一道物理題，Grok 3 會先列出已知條件，再推導公式，最後分步計算答案。這種能力直接體現在 AIME 數學測驗中。

Grok 3 的橫空出世，不僅為數學界帶來了新的希望，也展示了 AI 在科學研究中的巨大潛力。它不只是一個冰冷的工具，更是人類智慧的延伸，並且日常生活中，AI 工具也悄悄改變著我們的生活方式。

「讓 AI 不再像個冰冷的機器」——這是 Grok 系列的核心設計概念。 Grok 3 在互動中增加了更多擬人化表達，例如用 emoji 表情回應情緒化提問，甚至能創作融合《寶石迷陣》和《俄羅斯方塊》的混合遊戲。

Grok 3 的發布不僅是一場技術秀，更是一封「戰書」——它宣告 AI 競賽進入以算力堆砌和工程迭代為核心的「硬核時代」。當馬斯克用 10 萬塊 H100 砸開 AGI 的大門時，OpenAI、谷歌和中國廠商們必須回答一個問題：跟上這種瘋狂的速度，需要付出多大代價。