难以置信，Grok-3证明了黎曼猜想

文章预览

今天下午，来自马斯克的 AI 初创公司 xAI 的工程师 Hieu Pham 在社交媒体 Twitter 上发布了一则令人震惊的消息：他们开发的第三代 AI 模型 Grok-3 已经成功证明了数学界长久以来悬而未决的黎曼猜想 。 黎曼猜想由德国数学家波恩哈德·黎曼于 1859 年提出，它是数学中一个重要而著名的未解决问题，被誉为 “猜想界皇冠”，多年来吸引了许多杰出数学家的关注和努力。黎曼猜想的内容如下： 德国数学家戴维·希尔伯特在第二届国际数学家大会上提出了 20 世纪数学家应当努力解决的 23 个数学问题，黎曼猜想便是其中之一。目前，克雷数学研究所悬赏的世界七大数学难题中也包括了黎曼猜想。 xAI 公司为了验证这一重大发现，决定暂时停止 Grok-3 的训练进程。如果证明是正确的，他们将不会重启训练，因为担心 Grok-3 的智能水平可能已经超出了人类的控制范 ………………………………