[情報] 馬斯克的Grok-3 AI疑似成功證明黎曼猜想

https://x.com/hyhieu226/status/1858028679747829769
https://x.com/hyhieu226/status/1858077058825617521

馬斯克旗下xAI的工程師Hieu Pham 在推上公布：他們開發的第三代AI模型Grok-3已經成功證明了165年未解黎曼猜想。

黎曼猜想由德國數學家波恩哈德·黎曼在1859年提出。黎曼指出黎曼ζ函數非平凡零點的
實數部份是1/2，所有的非平凡零點都應該位於直線1/2+it（臨界綫）上。此猜想涉及質數定理和密碼學，很多重要的數學和物理成果都是在它成立的前提下得出，無數人類數學家想證明它都失敗了，因此黎曼猜想被稱為「猜想界皇冠」，它被克雷數學研究所定為數學界七大難題，成功證明者可獲一百萬美金的獎賞。

xAI 公司為了驗證這個重大發現，決定暫時停止訓練Grok-3 。如果證明是正確的，他們將不會重啟訓練，因為擔心Grok-3的智商可能已經超出了人類的控制，從而對人類構成威脅。

--