当 AI 触及数学巅峰：马斯克旗下xAI团队正在训练的大模型Grok-3提出了一个黎曼猜想证明，为此团队宣布暂停Grok-3训练

文章预览

马斯克旗下xAI团队成员今天宣布，他们最新一代大模型Grok-3在训练过程中提出了一个黎曼猜想的证明。研究团队已暂停训练以验证这个证明。他们表示，如果证明被确认有效，考虑到系统展现出的数学能力水平，将不再继续训练这个大模型。 黎曼猜想是数学界最重要的未解难题之一，自1859年提出至今仍未被攻克。 为什么证明黎曼猜想会引发安全担忧？Grok团队用Matt Haig的科幻小说《The Humans》来回应。《The Humans》是英国作家Matt Haig的一部科幻小说。在这本小说中，一位外星人被派来地球，目的是阻止一位数学家公布他对黎曼猜想的证明。小说设定中，黎曼猜想的证明被认为是人类文明的一个重要转折点 - 一旦被证明，将引发一系列数学和科技的突破，最终可能导致人类过早地获得一些他们还没准备好应对的强大技术。 黎曼猜想一旦被证明，可能会 ………………………………