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-site.org.tw), 來自: 111.253.154.141 (臺灣) ※ 文章網址: https://ptt-site.org.tw/Tech_Job/M.1731855857.A.B83