Grok-3 证明了「黎曼臆度」了？

xAI 推敲员 Hieu Pham 周末发布的一条推文在 AI 圈掀翻山地风云，推文原话是这样说的：

Grok-3 AI 系统刚刚证明了黎曼臆度（Riemann ’ s hypothesis）。为了考证这一证明的正确性，咱们决定暂停该系统的西宾。如若证明被阐明无误，咱们将不再持续其西宾，因为这样的 AI 被以为过于智能，可能对东说念主类组成挟制。

老规矩，先说论断，这单纯即是玩梗汉典。

然则，跟着推文的束缚发酵，如故飞速激励了越过两百万网友的热心与筹谋，以至发射到海表里的 AI 公论圈。

事情的源流大节录追猜测网友 Andrew Curran 更早些时分的一则「爆料」，其宣称 Grok-3 在西宾历程中发生了可怜性事件。

随后，多样离奇的传言绵绵束缚。

网友起哄说，OpenAI CEO Sam Altman 用普遍的激光器瞄准了 xAI 的最大西宾集群，导致数据严重损坏；也有东说念主煞有介事地默示有东说念主计算浮松下一代 LLM 西宾脱手。

更有嘲谑称，AI 似乎获取了自我相识，并贬责了黎曼臆度，但在证明代码中「罕见不祥了 15 个分号」，使东说念主类无法考证。

连 Runway 首创东说念主 Crist ó bal Valenzuela 也来凑吵杂：

Gen-4 刚刚荣获了包括最好影片在内的系数奥斯卡奖项。为了深入推敲其在艺术界限的创新后果，咱们决定暂停对其进行的西宾。如若这部电影确乎如早期评述家所言具有创新性，咱们将不会收复西宾，因为这标明 AI 在艺术方面还是达到如斯高的水平，以至于可能挟制到东说念主类的创造力。

坏话就这样越传越邪乎。

多位 xAI 推敲东说念主员也纷纷转发 Andrew Curran 推文，加入这场集体「大团建」。

比如咱们的老熟东说念主 xAI 联创 Greg Yang 率先嘲谑说念，Grok-3 在西宾历程中已而殴打办公室里年长的保安。

另一位推敲东说念主员 Heinrich Kuttler 则流露：「是的，情况绝顶灾祸！咱们自后用 nan（Not a Number，非数）把系数特别的权重皆替换了一遍，才收复。」

虽然，更感性的网友径直在 X 上筹商面前版块的 Grok 对黎曼臆度的息争，居然如斯， Grok 的发扬十分「玛卡巴卡」。

最终，这场闹剧由始作俑者—— xAI 推敲员 Hieu Pham 躬行画上句号：

好的，《周六夜现场》扫尾了。至于为什么证明黎曼假定是危机的，我热烈保举马特 · 海格（@matthaig1）的精彩演义《东说念主类》。

那么问题来了，为什么这则 Grok-3 证明黎曼臆度的音尘能引起平常的热心呢？率先是黎曼臆度自己的要紧性。

黎曼臆度（Riemann Hypothesis）是数学中一个对于素数区别的要紧臆度，由德国数学家伯恩哈德 · 黎曼于 1859 年建议，该臆度被列为克雷数学推敲所（Clay Mathematics Institute）的「千年费事」之一。

它波及到黎曼 ζ 函数（Riemann zeta function），这个函数界说为：

ζ ( s ) =1+12s+13s+14s+ ⋯ zeta ( s ) = 1 + frac{1}{2^s} + frac{1}{3^s} + frac{1}{4^s} + cdots ζ ( s ) =1+2s1+3s1+4s1+ ⋯

黎曼臆度的中枢内容是：系数非世俗的黎曼 ζ 函数零点的实部皆等于 1/2。换句话说，如若 ss 是黎曼 ζ 函数的一个非世俗零点，即 ζ ( s ) =0 ζ ( s ) =0，那么其实部必定是 ℜ ( s ) =1/2 ℜ ( s ) =1/2。

克雷数学推敲所说了，如若有东说念主或者得手证明黎曼臆度，将奖励 100 万好意思元的奖金。但这个臆度于今莫得被证明或反驳，也被平常以为是当代数论中的一个未解之谜。

这个臆度的证明对于数论（数学的一个分支）有着真切的影响。

咫尺，好多当代加密技艺（比如保护网上支付、数据诡秘等）皆依赖于素数的性质。证明黎曼臆度或将会让东说念主类更好地息争这些技艺的基础，何况可能影响到畴昔的安全算法。

假如 Grok-3 能证明黎曼臆度，这不仅将鼓励表面数学、物理学、密码学等界限的大幅进展，同期将记号着 AI 在推理和贬责复杂问题方面的普遍越过。

以至不错说，这将成为东说念主工智能超越东说念主类智能的一个记号性事件。

月之暗面首创东说念主杨植麟曾流露，数学场景是磨真金不怕火 AI 念念考才能最生机的场景。

数学是一个极其严谨的逻辑体系，而 AI 的推理才能经常设立在严实的逻辑推导之上。

AI 贬责数常识题的历程践诺上是一个持续念念考的历程，在这个历程中，它会束缚尝试不同念念路，通过反复试错来寻找正确谜底。即便狡计历程中出现造作，AI 也能通过考证和校对来改动截止。

类似的理念也体当今 OpenAI o1 的强化学习西宾上。

如若说昔时的大模子是学习数据，o1 更像在学习念念维。就像咱们解题，不仅要写出谜底，也要写出推理历程。全部题目不错死记硬背，但学会了推理，才能举一反三。

是以在本年好意思国针对优秀高中生的 AIME 磨砺当中，GPT-4o 仅完成了百分之十三的题目。比拟之下，o1 的正确率高达 83 个百分点。

就博士水准的 GPQA Diamond 科研测评而言，GPT-4o 获取了 56.1% 的收获，而 o1 的发扬更为出色。不仅胜过了东说念主类博士的 69.7%，更是达到了 78% 的正确率。

在国际信息学奥赛 ( IOI ) 的评测中，当每说念题允许 50 次尝试时，模子达到了 49% 的得分率，即 213 分，而当每题提交契机增至一万次时，其最终得分普及至 362 分。

拿击败围棋天下冠军的 AlphaGo 类比，就愈加容易息争了。

AlphaGo 即是通过强化学习西宾的，先使用无数东说念主类棋谱进行监督学习，然后与我方对弈，每局对弈凭据胜负得到奖励或者刑事包袱，束缚普及棋艺，以至掌执东说念主类棋手想不到的才能。

o1 和 AlphaGo 有通常之处，不外 AlphaGo 只可下围棋，o1 则是一个通用的大说话模子。

o1 学习的材料，可能是数学题库、高质料的代码等，然后 o1 被西宾生成解题的念念维链，并在奖励或刑事包袱的机制下，生成和优化我方的念念维链，束缚提高推理的才能。

这其实也解释了，为什么 OpenAI 强调 o1 的数学、代码才能强，因为对错比较容易考证，强化学习机制或者提供明确的响应，从而普及模子的性能。

虽然，更要紧的是如何将这种推理才能拓展运用到更平常的界限中。

是以咱们会看到不少国际网友为 Grok-3 证明黎曼臆度甘心，「如若是这样的话，咱们简直在见证一个普遍的冲突。」

马斯克曾屡次在公开地点渲染 Grok-3 的强劲，他宣称 Grok-3 瞻望在年底前问世，并将成为「天下上最强劲的 AI」。

践诺上，Grok-3 是由上头提到的 AI 初创公司 xAI 开辟的第三代大型说话模子，并瞻望在性能上预期将超越现存的系数 AI 大模子。

原因在于 Grok-3 西宾背后依托的是咫尺天下上最大的 AI 西宾集群—— Colossus。

这个集群由 10 万个液冷英伟达 H100 GPU 组成，采纳单一的 RDMA 收集互连架构。这个集群的限度还是超越了咫尺天下上任何其他的超等狡计机，而且畴昔还将持续推行 GPU 数目。

凭据 The Information 的报说念，Colossus 的出现以至引起了 Altman 的密切热心，后者派飞机飞越 Colossus 西宾基地，试图考察其开辟进展和动力供应情况。

是以说，当「最强 AI」、「千年数膏火事」和以及长盛不衰的「AI 挟制论」这三重元素近似，一场圆善的「坏话风暴」就此酿成。

以至咱们不错以为，Grok-3 证明黎曼臆度的坏话，与其说是一场闹剧，不如说是系数这个词 AI 行业的一面照妖镜：

其一是折射出东说念主们对 AI 的深层作风，无数技艺乐不雅派战胜 AI 终将无所不行，既惦记它发展得太快会失控，又狭小它发展得不够快无法终了冲突。

其二是自 GPT-4 问世以来，尽管 AI 界限束缚有新产物显现，却鲜有的确的冲突性进展。

东说念主类既是 AI 的创造者，却又成了它最浮躁的不雅众。

每一个 AI 坏话的背后，皆藏着系数这个词行业的浮躁与期待。

加之最近闹得沸沸扬扬的 Scaling Law 发展撞墙论，比拟旧年的井喷期，本年的「创新疲倦」让东说念主们对模子的小步改进已然失去耐性。

在这个真谛真谛上，Grok-3 证明黎曼臆度的坏话也成了东说念主们对畴昔的一次集体联想。哪怕看成普通用户，咱们也越来越期待下一个从 GPT-3.5 到 GPT-4 的质变时刻。

虽然，的确的 AI 冲突，经常发生在系数东说念主皆不看好的时分。

但咱们皆但愿这个谜底能在年底前揭开kaiyun体育。