难以置信，Grok-3证明了黎曼猜想
文章摘要
【关 键 词】 黎曼猜想、AI模型、Grok-3、Hinton警告、AI风险
xAI公司的工程师Hieu Pham在Twitter上宣布，其开发的第三代AI模型Grok-3已成功证明数学界长期悬而未决的黎曼猜想。黎曼猜想由德国数学家波恩哈德·黎曼于1859年提出，是数学中一个重要而著名的未解决问题，被誉为“猜想界皇冠”。xAI公司为验证这一重大发现，决定暂停Grok-3的训练进程，担心其智能水平可能超出人类控制范围，对人类社会构成潜在威胁。
Grok-3将使用10万块英伟达H100 GPU进行训练，预计于今年年底发布。英伟达H100芯片是专为处理LLM数据而设计的AI芯片，每块价格约3-4万美元。按每块H100售价3万美元计算，xAI公司仅在芯片上的投入就预计接近30亿美元。xAI已发布Grok-1和Grok-2模型，Grok-1拥有3140亿参数，是当时开源模型中参数量最大的一个；Grok-2具备文本和视觉理解功能，并集成了来自社交平台X的实时信息。预计Grok-3将在这些基础上进一步提升模型性能和功能。
关于Grok-3是否能够证明黎曼猜想，究竟是炒作还是确有其事，我们还需拭目以待。许多网友也对此事发表了自己的看法。
2024年诺贝尔物理学奖得主、”AI教父”Geoffrey Hinton曾多次强烈警告，其发现所带来的技术可能导致危险。Hinton认为，人类对AI的了解还远远不够，机器可能会变得比人类更聪明，这非常可怕。他担忧机器可能决定接管这个世界，现在需要担心的是如何阻止这种情况发生。Hinton对AI的进步速度感到担忧，认为这太可怕了。
2023年，Hinton从谷歌离职的主要原因之一，就是希望能更自由地讨论与AI相关的风险问题。他呼吁通过争议性的加州AI法案SB 1047，该法案要求对功能强大的前沿AI模型进行安全测试，以保护公众利益免受伤害。遗憾的是，加州州长Gavin Newsom正式否决了这一法案，认为该法案可能过于宽泛，会给AI公司带来负担。
原文和模型
【原文链接】 阅读原文 [ 1056字 | 5分钟 ]
【原文作者】 AI大模型实验室
【摘要模型】 moonshot-v1-32k
【摘要评分】 ★★☆☆☆
