不,人工智能不仅仅解决了数学中最棘手的问题

证明黎曼猜想将获得 100 万美元的奖金。克劳德无法实现这一目标,但它在相关问题上取得了重大进展

来源:科学美国人

让我们从这里开始:数学最著名的问题并不比一周前更接近解决。人类和人工智能都没有在黎曼假设上取得进展。但人工智能确实在解决该问题的主题——素数的分布——方面取得了第一个重大进展。

在周一的一篇博文中,Anthropic 宣布了一篇由其大型语言模型 (LLM) Claude 的未发布研究版本撰写的论文。这篇论文在决定素数如何沿数轴分布的难以理解的数学方程的一个未解决的方面取得了重大进展。数学家们对此印象深刻。

“这个问题需要一个新的真实想法,而这个新结果似乎提供了这一点,”牛津大学数学家詹姆斯·梅纳德 (James Maynard) 说。 “人工智能似乎做出了真正有趣的数学贡献。”

关于支持科学新闻

如果您喜欢这篇文章,请考虑通过订阅来支持我们屡获殊荣的新闻事业。通过购买订阅,您将有助于确保有关塑造当今世界的发现和想法的影响力故事的未来。

黎曼 zeta 函数是一个复杂的方程。它的唯一变量可以是具有实部和虚部的任何数字(后者被称为“虚部”,因为它涉及看似不可能的 –1 平方根)。输入该变量的任意值,方程就会给出一个无限总和,该总和等于另一个数字(其输出)。

该函数的创建者 Bernhard Riemann 打赌,使输出总和恰好为零的唯一方法是使输入变量的实部恰好为⁄。这将为数学宇宙带来巨大的秩序,因为该函数与素数(不能被整除的数字)的值深深地交织在一起,而素数被认为是数学的基本构建块。

是时候捍卫科学了