据英国《新科学家》周刊网站7月19日报道，一位数学家在人工智能的帮助下破解了一道存在87年的难题，并在社交平台上随意公布了答案。专家表示，这是迄今人工智能解决的最难的数学题。
图片来源：摄图网
哈佛大学的莱文特·阿尔珀盖19日在社交平台X上发帖称，雅可比猜想(学者们花了几十年时间试图证明它是正确的)实际上是错误的，并给出了一个216个字符的小反例作为证明。
雅可比猜想(提出某种类型的数学函数也可以逆向运行)是由数学家奥特-海因里希·凯勒在1939年正式提出的。它还出现在史蒂芬·斯梅尔在1998年列出的世纪难题清单上。
阿尔珀盖没有回应本刊的采访请求，但他发帖说，部分工作要归功于他的“密友fable”。这似乎指的是人工智能公司Anthropic的“寓言”语言模型(Fable)。阿尔珀盖感谢Fable在世界杯决赛期间的工作。
Anthropic没有回应置评请求。
伦敦玛丽王后大学的阿比谢克·萨哈称，人工智能近期在数学领域的进展令人惊讶，例如美国开放人工智能研究中心(OpenAI)的模型最近破解了保罗·埃尔德什几十年前提出的一个猜想，但这项最新发现显著推升了人工智能的进展。
他说：“这大概是迄今人工智能在数学证明或证伪方面发挥重要作用的最大猜想。这是相当重要的一件事。人工智能在去年取得了令人瞩目的进展。”
萨哈说，阿尔珀盖发布的那行数学公式很容易验证，很多数学家已经验证过了。现在最大的问题是他是怎么做到的。
他说，有些问题很难解决，但一旦有了答案，验证起来就相对容易了。这个问题就是这样。我不知道他是怎么做到的，他给Fable的具体提示词是什么，因为如果什么都去搜索，是行不通的，所以显然还有一些目前没有公开的见解。
萨哈表示，结果的呈现方式和性质都令人惊讶。
他说：“人们一直试图证明雅可比猜想，因为直觉上，它听起来很正确。我认为很少有人试图证明它是错误的。而现在，我们有了这个只有一句话的反例。”
萨哈说，仍有一些悬而未决的问题。例如，这个新的反例证伪了雅可比猜想的三变量版本，但两个变量的版本理论上仍然可能成立。
英国约克大学的克里斯·鲍曼-斯卡吉尔说，数学家们在某种程度上已经适应了人工智能令人震惊的新能力，但找到证伪猜想的反例和建立全新的数学分支是有区别的，后者仍然需要人类的创造力。
鲍曼-斯卡吉尔说：“如果你看看费马大定理(1994年由安德鲁·怀尔斯解决)，你必须创造出一百页新的数学内容来解决一个猜想。数学中有趣的东西通常不是‘哦，我们已经解决了这个猜想，耶’，而是你在解决这个猜想的过程中必须建立的东西。”
他说：“我觉得(人工智能)在某种程度上已经证明它能做到这个，所以你现在就会想，好吧，接下来是什么。”
中国西湖大学数论学家伊万·费先科认为，接下来是越来越强大的人工智能模型，它们将解决越来越复杂的问题，在发展过程中颠覆这一领域。
他说：“现在，人工智能已经能产出达到数学硕士水平的研究成果。再过一年，它们就能产出达到数学博士水准的成果。紧接着就会引出一个问题：如果人工智能能把这类事情做得这么好，我们身边真的还需要这么多数学家吗？所以，从根本上说，我们正在讨论的是数学领域的根本性变革。”
精彩内容回顾
