Grok-3挑战黎曼猜想：xAI公司能否改写数学史？

Grok-3挑战黎曼猜想：xAI公司能否改写数学史？

引用

36氪

等

8

来源

1.

https://36kr.com/p/3041656042729737

2.

https://finance.sina.com.cn/roll/2024-11-18/doc-incwnfyp3636447.shtml

3.

https://m.thepaper.cn/newsDetail_forward_29380035

4.

https://blog.csdn.net/cf2suds8x8f0v/article/details/143875793

5.

https://www.aibase.com/zh/news/13297

6.

https://finance.sina.com.cn/tech/roll/2024-11-18/doc-incwnsqi3504507.shtml

7.

https://m.sohu.com/a/827641894_121798711/?pvid=000115_3w_a

8.

https://baijiahao.baidu.com/s?id=1816039326995749237

近日，一则关于xAI公司Grok-3 AI系统成功证明黎曼猜想的消息在科技圈炸开了锅。然而，这则消息背后却藏着一个令人捧腹的真相。

事情的起因是xAI工程师Hieu Pham在社交媒体上的一条"爆料"，称Grok-3在训练过程中遭遇了"灾难性事件"，甚至暗示这可能与黎曼猜想有关。这一消息迅速在AI圈内传开，引发了广泛讨论。

然而，几个小时后，xAI联合创始人Greg Yang的一条讽刺回复戳破了这个"大新闻"："对对对，Grok 3训着训着突然开始攻击办公室的保安了。"另一位研究人员Heinrich Kuttler更是调侃道："对对对，情况非常糟糕！我们后来用NaN（非数）把所有坏的权重都替换了一遍，才恢复。"

原来，这不过是一场AI圈内的玩笑。Grok-3并没有真的证明黎曼猜想，整个事件就是一个精心设计的恶搞。

黎曼猜想是数学界最著名的未解难题之一，被誉为"猜想界的皇冠"。它最早由德国数学家波恩哈德·黎曼在1859年提出，至今已困扰数学家165年。

简单来说，黎曼猜想是关于素数分布的一个假设。它预测所有非平凡零点都位于复平面上的一条直线上，这条直线被称为"临界线"。尽管数学家已经用计算机验证了最初的15亿个零点，但要证明所有无穷多个零点都满足这个规律，仍然是一个巨大的挑战。

既然Grok-3没有真的证明黎曼猜想，那么当前的AI在数学证明方面到底达到了什么水平呢？

让我们来看看最近在数学竞赛中表现亮眼的AI系统AlphaProof。在2024年国际数学奥林匹克竞赛（IMO）中，AlphaProof展现了惊人的实力，成功解决了4道题目，获得了银牌水平的成绩。

然而，当我们仔细分析AlphaProof的解题过程时，会发现它距离解决黎曼猜想这样的顶级难题还有很大差距。例如，在解决一道关于实数α的题目时，AlphaProof虽然找到了正确的答案（所有偶整数），但其证明过程异常复杂，甚至让开发者都感叹"这一声明的动机相当不直观，而事实上一切都能奏效几乎是神奇的"。

虽然目前的AI在数学证明方面还无法与顶级数学家相媲美，但其潜力不容小觑。随着深度学习和符号推理技术的不断发展，AI在数学领域的应用将越来越广泛。

例如，AI可以帮助数学家发现新的模式和关系，提供证明思路，甚至在某些特定领域实现突破。但要真正解决黎曼猜想这样的顶级难题，AI还需要在理解抽象概念、进行创造性思维等方面取得更大进步。

正如一位数学家所说："AI在两年内解出千禧年难题？这可能有些夸张。但谁知道呢？也许有一天，AI真的能帮助我们揭开数学中最深奥的秘密。"