埃隆·马斯克不止一次提到，Grok3将会是全球最强大的AI。预计在2024年12月与我们见面。这个由10万个英伟达H100 GPU组成的训练集群，被誉为“世界上最强大的AI训练集群”。相比之下，OpenAI的GPT4训练仅使用了25000块A100 GPU，性能上仅是Grok3的1/20。这差距，难怪马斯克如此自信！

Grok3的惊人之举：证明黎曼猜想？

就在我们还在期待Grok3时，一个周末的爆炸性新闻震惊了全球AI爱好者。Grok3的研发人员hieu Pham发布了一则消息，Grok3似乎证明了数学界的未解之谜——黎曼猜想。目前，Grok3的训练已暂停，以验证这一结果。如果证明正确，训练将不再恢复，因为它可能对人类构成威胁。

黎曼猜想的重要性

黎曼猜想自1859年提出以来，一直未被证明。它与数论中的素数分布问题密切相关，如果黎曼猜想成立，那么素数在数轴上的分布将更加有序。目前，有超过1000个数学命题基于黎曼猜想。如果证明成立，这些命题将升级为定理；反之，可能会被证明为错误。

黎曼猜想对现代科学的影响

黎曼猜想的证明或证伪对现代科学有着深远的影响。在加密领域，尤其是RSA算法，基于大质数难以因数分解的事实。如果黎曼猜想的证明带来快速找到大素数的方法，将威胁RSA算法的安全性。

AI证明了黎曼猜想意味着什么？

如果Grok3真的证明了黎曼猜想，这意味着AI的智商和理解能力已经超越了人类，甚至可能具备自主思考意识。这不仅是技术上的突破，也是对未来人类控制AI能力的挑战。

目前，马斯克还未对这一消息做出回应。这则消息的后续发展，我们将持续关注。