又度過了一個難以置信的週末！
埃隆·馬斯克創立的xAI公司，一位名叫Hieu Pham的資深研究員在美國時間11月17日宣佈了一個可能改寫歷史的重大發現——xAI開發的人工智慧系統Grok-3成功證明了長期以來懸而未決的“黎曼猜想”，迅速在學術界和科技界引起了廣泛關注。
為了確保這一重大突破的準確性，xAI公司已決定暫停Grok-3的進一步訓練。
一旦證明無誤，他們計劃不再繼續訓練Grok-3，原因是出於對Grok-3可能達到的智慧水平的擔憂，可能超出人類的駕馭能力，從而可能給人類社會帶來不可預知的風險。
什麼是黎曼猜想？
黎曼猜想（Riemann Hypothesis）是數論中的一個重要未解難題，由德國數學家伯恩哈德·黎曼於1859年提出。
1859年黎曼在《論小於給定值的素數個數》論文中給出了黎曼素數計數函式，並提出了黎曼猜想，猜想指出：黎曼ζ函式的所有非平凡零點的實部均為1/2。
黎曼素數計數函式：
來源：黎曼《論小於給定值的素數個數》中提出，是基於尤拉乘積公式的改進版本。
簡單來說，你可以想象一下，你有一個巨大的電話號碼本，裡面列出了所有可能的電話號碼。
現在，你想知道哪些號碼是有效的，哪些是空號。在數學的世界裡，黎曼猜想就像是在尋找一個特殊的電話號碼列表，這個列表能幫助我們快速識別出哪些號碼是“有效”的。
這個特殊的電話號碼列表，我們稱之為“素數（質數）”。
素數（質數）就像電話號碼中的VIP，只能被1和自己整除，沒有其他因數。比如2、3、5、7、11，都是質數。
現在，想象一下所有的電話號碼都排成了一個長長的佇列，每個號碼都對應一個位置。
黎曼猜想就是關於這些質數在佇列中的位置的一個猜測。它認為，幾乎所有的素數都位於一個特定的區域，就像所有的VIP號碼都被安排在了電話本的同一個部分一樣。
這個特定的區域，我們稱之為“臨界線”。黎曼猜想說，如果你在臨界線上尋找，你會發現幾乎所有的素數都在這裡。就像是說，如果你在電話本的某個特定部分尋找，你會發現幾乎所有的VIP號碼都集中在那裡。
黎曼猜想之所以重要，是因為它能幫助理解素數（質數）的分佈規律。素數（質數）是構建其他所有數字的基礎。如果能更好地理解素數的分佈，就能在很多領域，比如密碼學、計算機科學和數論中，找到更有效的解決問題的方法。
Grok-3證明黎曼猜想的可信度有多少？
首先，Grok-3能力水平在進步是可信的，xAI有馬斯克新建的10萬張H100卡叢集，正在加速訓練Grok-3，準備在年底前推出新版。
其次，Hieu Pham，目前任職於xAI公司，擔任研究員，他個人教育經歷、工作經驗，可謂成就豐富。
在加入xAI之前，Hieu Pham曾在Google Brain團隊工作，參與多個前沿的深度學習和人工智慧專案。
他年輕時不僅在國際大學生程式設計競賽（ACM ICPC）中屢獲佳績，還在國際數學奧林匹克（IMO）上摘得銀牌，他在數學領域的深厚造詣還是有目共睹的。
鑑於Pham的專業背景和成就，他所宣佈的訊息具有相當的可信度。
Grok-3的釋出日期定於2024年12月，意味著距離揭開這一人工智慧系統神秘面紗的時間僅剩一個月。
xAI還宣稱，Grok-3將成為史上最強大的AI大模型。
當然，他們最大的友商OpenAI也將在12月份釋出新一代大模型，聲稱超越gpt4 100倍。
如果Grok-3真的能夠證明黎曼猜想，不僅可以與OpenAI一較高下，也這將是人類智慧和人工智慧技術結合的又一里程碑，同時也將開啟對人工智慧在解決複雜科學問題中作用的新篇章。
