今天下午，来自马斯克的 AI 初创公司 xAI 的工程师 Hieu Pham 在社交媒体 Twitter 上发布了一则令人震惊的消息：他们开发的第三代 AI 模型 Grok-3 已经成功证明了数学界长久以来悬而未决的黎曼猜想。

黎曼猜想由德国数学家波恩哈德·黎曼于 1859 年提出，它是数学中一个重要而著名的未解决问题，被誉为 “猜想界皇冠”，多年来吸引了许多杰出数学家的关注和努力。黎曼猜想的内容如下：

德国数学家戴维·希尔伯特在第二届国际数学家大会上提出了 20 世纪数学家应当努力解决的 23 个数学问题，黎曼猜想便是其中之一。目前，克雷数学研究所悬赏的世界七大数学难题中也包括了黎曼猜想。

xAI 公司为了验证这一重大发现，决定暂时停止 Grok-3 的训练进程。如果证明是正确的，他们将不会重启训练，因为担心 Grok-3 的智能水平可能已经超出了人类的控制范围，从而对人类社会构成潜在威胁。

据马斯克透露，Grok-3 将使用 10 万块英伟达 H100 GPU 进行训练，并预计于今年年底发布。英伟达 H100 芯片是专为处理 LLM 数据而设计的 AI 芯片，每块的价格大约在 3-4 万美元之间。按照每块 H100 售价 3 万美元计算，xAI 公司仅在芯片上的投入就预计接近 30 亿美元。这样大规模的投入，展示了 xAI 在 AI 领域的雄心壮志，他们期望 Grok-3 在性能和能力上实现重大飞跃。

xAI 已经发布了 Grok-1 和 Grok-2 模型。Grok-1 拥有 3140 亿参数，是当时开源模型中参数量最大的一个。Grok-2 则具备了文本和视觉理解功能，并集成了来自社交平台 X 的实时信息。预计 Grok-3 将在这些基础上进一步提升模型的性能和功能。

关于 Grok-3 是否能够证明黎曼猜想，究竟是炒作还是确有其事，我们还需拭目以待。很多网友也对这件事发表了自己的看法。

关于 AI 对人类的威胁，许多人都曾提出警告。2024 年诺贝尔物理学奖得主，“AI 教父” Geoffrey Hinton 就曾多次强烈警告，他的发现所带来的技术可能导致危险。

Hinton 曾表示：“我看不到一条保证安全的路径。我们正在进入一个充满不确定性的时期。我们要面对的是以前从未处理过的事情。”

Hinton 认为，人类对 AI 的了解还远远不够，这非常可怕，而且机器可能会变得比人类更聪明。他的担忧主要源于此。在接受 NPR（全国公共广播电台）采访时，他表示：“机器可能会变得比人类更聪明，并且可能决定接管这个世界，现在我们需要担心的是如何阻止这种情况发生。”

Hinton 对 AI 的进步速度感到担忧。他在去年接受《纽约时报》采访时表示：“看看五年前的情况，再看看现在。对比一下前后差异，并请对外宣传。这太可怕了。”

2023 年，Hinton 从谷歌离职的主要原因之一，就是希望能更自由地讨论与 AI 相关的风险问题。在他的社交媒体 X 上最新一条帖子就与呼吁通过争议性的加州 AI 法案 SB 1047 有关。

该法案要求对功能强大的前沿 AI 模型进行安全测试，以保护公众利益免受伤害。遗憾的是，当地时间 9 月 30 日，加州州长 Gavin Newsom 正式否决了这一法案，认为该法案可能过于宽泛，会给 AI 公司带来负担。