详细内容或原文请订阅后点击阅览
人工智能反驳了几十年前的数学思想，这是科技发挥作用的“最大猜想”
一位数学家宣布他使用了 Anthropic 的 A.I.模型来寻找雅可比猜想问题的反例。虽然专家们认为这是一个里程碑，但这项工作提出了关于数学研究未来的问题
来源:《航空与航天杂志》人工智能反驳了几十年前的数学思想，这是科技所发挥作用的“最大猜想”
一位数学家宣布他使用了 Anthropic 的 A.I.模型来寻找雅可比猜想问题的反例。虽然专家们认为这是一个里程碑，但这项工作提出了关于数学研究未来的问题
虽然超过 6000 万人在美国观看了 7 月 19 日的 FIFA 世界杯决赛，但人工智能模型正在努力解决（或者从技术上来说，反驳）一个存在数十年历史的数学问题。
A.I. 数学家 Levent Alpöge Anthropic 公司和哈佛大学合作，使用 Anthropic 的 Claude Fable 5 来解决一个数学猜想：数学家相信这个想法是正确的，但尚未被证明或反驳。然后他在社交媒体上发布了人工智能辅助的反驳文章。此后它已被几位独立数学家验证。
“你好，雅可比猜想是错误的，”Alpöge 在 X 上写道。他感谢芝加哥大学数学家 Akhil Mathew 提出了这个问题，并感谢他的“另一个亲密朋友寓言”在比赛期间提供的帮助。
“这是一件相当大的事情，”伦敦玛丽女王大学的数学家阿布舍克·萨哈 (Abhishek Saha) 告诉《新科学家》的马修·斯帕克斯。 “这可能是迄今为止人工智能在数学领域（在证明或反驳方面）发挥重要作用的最大猜想。”
1884 年，捷克数学家路德维希·克劳斯 (Ludwig Kraus) 提出了雅可比猜想的一个版本，1939 年德国数学家奥特-海因里希·凯勒 (Ott-Heinrich Keller) 将其扩展为当前形式。
“你可以通过计算雅可比行列式来测试函数如何‘很好’地移动空间中的所有物体。如果雅可比行列式始终是一个不为零的常数，那么该函数永远不会折叠或挤压特定点周围的空间，”李写道。
事实概要：数学家呼吁谨慎对待人工智能。