[情報] 馬斯克的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的智商可能已經超出了人類的控制，從而對人類構成威
脅。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.154.141 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Tech_Job/M.1731855857.A.B83.html