Anthropic：让 Claude 自己去证明黎曼猜想会发生什么

Claude AI 在挑战黎曼猜想时，将黎曼ζ函数零点的下界从 41.6% 提升至 67.2%。Claude 构建了复杂的二次型数学结构，以全局视野直面原始的非对角状态，而非像人类数学家那样为了简化计算而进行拆分处理。在多智能体协作与人类鼓励的驱动下，Claude 完成了数千次数值校验，并顺利通过了 Lean 形式化逻辑验证。这一成果证实了 AI 在处理顶级数学难题时的进化速度，展示了其作为科研辅助工具，能够通过全新的逻辑路径延伸并放大人类数学思想的影响力，为解决世纪难题提供了创新范式。