![]()
（对黎曼猜想解释的示意图）
在xAI公司（由埃隆·马斯克创办的）工作的研究员Hieu Pham刚发布了一条重磅消息：
Grok-3刚刚证明了黎曼猜想（黎曼假设）。我们决定暂停它的训练，以检查其证明，如果证明正确，将不再恢复其训练，因为这个人工智能被认为太聪明了，以至于对人类构成了威胁。![]()
这个消息有较高的可信度，因为Hieu Pham的确是xAI的员工，而大模型Grok-3是由xAI训练，看他的个人经历，在加入xAI之前，Hieu Pham 曾在Google Brain团队工作，参与多个深度学习和人工智能项目。而且他在年轻时便展现出卓越的数学与编程才能，曾多次参加了国际大学生程序设计竞赛（ACM ICPC）和国际数学奥林匹克（IMO），并获得奖牌（如🥈银牌）。这些经历也能证明他有扎实的数学基础和和对数学的兴趣。按计划，Grok 3的发布日期是2024年12月，即一个月之后。xAI也宣称：Grok 3将成为最强大的AI大模型，到时，马斯克肯定会发推文并大肆宣传Grok-3。现在是不是已经拉开宣传的大幕？还是Grok-3能力超群？
![]()
如果这是真的，这一突破不仅在数学界会掀起轩然大波，也会引发公众对AI的潜力与其带来伦理、社会影响的广泛讨论。因为黎曼假设是数学史上最著名的未解难题之一，如果由埃隆·马斯克团队训练的Grok-3成功证明了黎曼假设，将会成为惊人的事件，
对人工智能与数学研究产生深远的影响。
黎曼猜想（Riemann hypothesis）由德国数学家伯恩哈德·黎曼于1859年提出，是数论中的一大核心问题。它涉及黎曼ζ函数的非平凡零点是否都位于复平面的临界线上（即实部为1/2的直线上）。这一假设的验证不仅在理论数学中具有重大意义，还将对密码学、物理学等多个领域产生深远的影响。
![]()
那我们就等着xAI来检查Grok-3的证明的结果，从而就能知道Grok-3和AI未来的命运。
