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