Grok 3“证明”黎曼猜想引发轩然大波：AI乌龙事件始末

近来，xAI的研究员Hieu Pham分享了一项令人兴奋的进展，称之为“重大飞跃”。他暗示xAI即将推出的语言模型Grok3在推理能力上取得了显著提升，有望超越现有模型。这一进展预示着AI技术在解决复杂问题方面将迎来新的突破，为未来的智能化应用开辟更广阔的道路。具体而言，模型的推理性能可能会得到提升。

在此之前，Pham曾在一个帖子中暗示：“这仅仅是个开始。”这条信息呼应了Andrew Curran对Grok3的期待，后者认为它将在推理方面实现“巨大飞跃”。

随着消息的传播，xAI的Greg Yang也加入了讨论，他兴奋地表示：“哇！哇！哇！Grok3似乎真的可以进行合理的归纳了。”同时，另一位成员Heinrich Kuttler则谨慎地指出：“请务必进行健全性检查！我们之前也遇到过nan（非数字）导致看起来进展很大的情况。” 这也提醒我们，在评估AI模型的进展时，需要进行严谨的验证，以确保结果的可靠性。

总而言之，这些“暗示”表明，AI模型在推理能力方面可能迎来了显著的提升，并且AI技术正在向更智能化的方向发展。

那么，AI模型是如何实现推理能力飞跃的呢？

不妨回顾一下DeepMind在AI定理证明方面的成果，其开发的AlphaProof系统取得了令人瞩目的成就。在2024年国际数学奥林匹克竞赛(IMO)中，AlphaProof成功解决了三分之二的问题，被誉为“绝对boss”。它能够独立发现并验证复杂的数学定理，例如ab+1形式的舒尔定理，充分展现了其强大的推理能力。这些进展为我们提供了理解AI推理能力提升的线索。

鉴于AlphaProof在解决复杂数学问题方面的卓越表现，我们或许可以期待，AI在一般推理能力方面也将取得类似的突破，从而推动AI技术在更广泛领域的应用。例如，自从1859年以来，数学家们尝试了165年都没有解决的难题，AI模型有望能够解答，从而推动科学进步。

AI推理能力的提升，不仅能帮助我们发现新的知识，还能加速科学研究的进程。未来，AI或许能够自主提出假设、设计实验并分析数据，从而极大地提升科研效率。此外，AI还可能在其他领域发挥重要作用，比如在法律、金融等领域进行智能决策。

展望未来，到2026年，AI或许能够成为“通用推理器”，从而显著提升各行各业的效率。 凭借更大的计算能力，例如使用20万个H100 GPU的Grok3，有望在未来解决更多复杂的推理问题。

总之，AI技术在推理能力方面的突破值得我们期待，让我们共同见证AI为世界带来的积极影响。