地里快讯

Anthropic一款尚未发布的研究版Claude在尝试解决黎曼猜想时，未能证明该猜想，但将已知满足黎曼猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。Anthropic称，两名内部数学家已验证论文，两位相关领域专家也审阅了结果，Claude还生成了可形式化验证的Lean证明。