今年八月馬斯克旗下生成式 AI 公司 xAI 推出推理能力更強的 Grok-2 和 Grok-2 mini 測試版，讓用戶可以在 X 上進行文字生成圖片的服務，在這之後 xAI 公司也一直不斷對 Grok 進行訓練，希望 Grok 可以有更大的進展，不過現在 Grok 好像變的有點危險了。近日 xAI 團隊透露他們發現 Grok-3 證明了數學界中著名的未解之謎 ” 黎曼猜想 “，目前 xAI 尚未透露 Grok-3 究竟是以何種方式證明出黎曼猜想，xAI 正在確認是否屬實。xAI 表示如果情況屬實，將停止訓練 Grok-3，因為 AI 這麼聰明會對人類造成威脅。
百年的數學難題已被攻克？馬斯克旗下 Grok-3 AI 疑似已成功證明黎曼猜想
馬斯克旗下生成式 AI 公司 xAI 團隊成員 @hyhieu226 今日表示因為 Grok-3 在訓練過程中成功證明了「黎曼猜想」，現在決定暫停對 Grok-3 的訓練並檢查 Grok-3 證明的黎曼猜想是否正確。如果檢查證明是正確的話，xAI 將不會恢復 Grok-3 的訓練，原因是這樣 AI 會被認為太聰明，可能會讓人類感到備受威脅。
Grok-3 just proved Riemann’s hypothesis. We decided to pause its training to check its proof, and if the proof is correct, training won’t be resumed, as the AI is deemed so smart that it becomes a danger to humanity.
— Hieu Pham (@hyhieu226) November 17, 2024
黎曼猜想是什麼？
黎曼猜想 Riemann hypothesis 由德國數學家波恩哈德·黎曼在 1859 年提出，多年以來成為數學中重要又著名的未解決問題。黎曼猜想提出黎曼ζ函數非平凡零點的實數部份是，即所有的非平凡零點都應該位於直線（「臨界綫」）上。（資料來源：維基百科）許多出色的數學家都為了證明黎曼猜想而絞盡腦汁，不過到目前為止還沒有哪位數學家真的證明出黎曼猜想。觀看下方影片有更多關於黎曼猜想更詳細的介紹：
，
如果不想看影片的話，xAI 團隊成員還推薦大家去閱讀 The Humans 這本小說：
Alright, Saturday Night Life is over.
As for why a proof to Riemann’s hypothesis is dangerous, I highly recommend @matthaig1‘s wonderful novel: The Humans.https://t.co/NBF80AJEJ1 https://t.co/qmb328ytW9
— Hieu Pham (@hyhieu226) November 17, 2024
xAI 團隊公布的消息引發討論，有人表示 Grok-3 證明黎曼猜想只是一個笑話，而這個笑話現在已經引起轟動。
也有些人認為 Grok-3 證明出黎曼猜想這件事就是假的，只是一個 xAI 吸引大家關注的手法，可能根本就沒這回事。
確實很難讓人通過一兩句話相信 Grok-3 真的證明出黎曼猜想，而且 xAI 團隊還表示如果檢查正確的話也不會公布，讓大家無法得知事實真相。各位覺得近 165 年都沒有數學家證明出來的黎曼猜想是真的被 Grok-3 證明成功了，還是這只是 xAI 為了後續推出 Grok-3 所做出的一種炒作和鋪墊手段呢？
