澎湃新闻
26-08-11 12:44 微博认证:澎湃新闻官方微博

【#Anthropic挑战黎曼猜想失败#,但意外刷新一项数学纪录】8月11日,Anthropic在社交媒体上表示,一个未发布的研究版Claude尝试攻克黎曼猜想,尽管并未解决黎曼猜想本身,但借助数学家们过去数十年的大量前期研究,Claude将满足黎曼猜想的黎曼ζ函数零点比例的下界从41.6%提升到了67.2%。

Anthropic表示,Anthropic的两位数学家研究并验证了Claude的论文,并撰写了一份非正式说明,简洁陈述Claude的证明。“我们不指望Claude所用的技术能最终证明黎曼猜想,但这项工作再次展示了AI模型数学能力进步的速度。”

黎曼猜想由德国数学家黎曼于1859提出,是关于黎曼ζ函数零点分布的猜想。黎曼发现,素数分布的奥秘蕴藏在一个特殊的函数之中,也就是黎曼ζ函数。黎曼ζ函数的所有非平凡零点都分布在复平面上一条被称为“临界线”的特殊直线上。

但证明黎曼猜想却是一个世纪难题,至今无人能证明或证伪。美国克莱数学研究所2000年公布世界七大数学难题,并为每个难题设立100万美元奖金,黎曼猜想便是其中之一。不过,数学家们在研究黎曼ζ函数及其零点的相关方向上取得了进展,其中之一就是量化位于该直线上的零点的最小比例并提高到41.6%。http://t.cn/AXNipBRW