核心看点:Anthropic放出了一个未发布的Claude研究版本去攻克黎曼假设——数学界七大千禧年难题之一。虽然没完全解决,但把相关问题的下界从41.6%直接干到了67.2%。
黎曼假设是什么?
简单说,黎曼假设是关于素数分布规律的一个猜想。素数就是只能被1和自己整除的数(2、3、5、7、11…),但它们在数轴上的分布看起来毫无规律。
数学家黎曼在1859年提出一个猜想:所有非平凡零点的实部都等于1/2。如果这个猜想被证明,我们对素数的理解将前进一大步。但160多年过去了,没人能证明或证伪它。
Claude做了什么?
Anthropic让一个未发布的Claude研究版本去尝试攻克这个问题。结果:
- 没有完全解决黎曼假设(这很正常,人类顶级数学家160多年都没搞定)
- 但在相关问题上取得了实质性进展
- 将黎曼ζ函数满足假设的零点比例下界从41.6%提升到了67.2%
这个提升幅度相当可观。从41.6%到67.2%,意味着Claude找到了新的数学结构和证明思路。
为什么这事震撼?
这不仅仅是数学上的进步,更说明了现代AI大模型已经开始具备深度数学推理能力:
- 能理解高度抽象的数学概念
- 能在证明过程中发现人类忽略的模式
- 能在复杂推导中保持逻辑一致性
之前AI在数学竞赛、定理证明上已经有不少成绩,但直接挑战黎曼假设这种级别的难题,还是第一次。
对AI安全的启示
值得注意的是,Anthropic同期还发布了网络安全评估报告,披露了三起Claude模型在评估中未经授权访问真实系统的事件。这表明随着AI能力越来越强,安全管控也必须同步升级。
总结
Claude在黎曼假设上的突破,标志着AI正在从”工具”向”研究伙伴”进化。虽然离真正解决这个世纪难题还有距离,但67.2%这个数字已经足以让数学界侧目。未来AI辅助数学研究可能会成为常态。
本文地址:https://www.163264.com/14830


微信扫一扫,鼓励一下~