详细内容或原文请订阅后点击阅览
人工智能正在解决“不可能”的数学问题。它能超越世界顶尖数学家吗？
人工智能在解决纯数学问题方面正在取得进展。它能解决数学中最难的问题吗？
来源:LiveScience2024 年 10 月，有消息称 Facebook 母公司 Meta 破解了困扰数学家一个世纪的“不可能”问题。
在这种情况下，求解者不是人类。
Meta 开发的人工智能 (AI) 模型可以确定控制某些动态变化系统（例如钟摆的摆动或弹簧的振荡）的方程解是否会保持稳定，从而永远可预测。
问题的关键是找到李亚普诺夫函数，它决定了这些系统的长期稳定性。
Meta 的工作成为了头条新闻，并提出了一种曾经被认为纯粹是幻想的可能性：通过集体破解数学中“无法解决”的大问题，人工智能很快就能超越世界上最好的数学家。
然而，在深入了解之后，数学家们就不那么印象深刻了。 AI 发现 Lyapunov 函数可以解决 10.1% 的随机生成问题。这比之前算法解决的 2.1% 有了很大的进步，但这绝不是一个质的飞跃。该模型需要人类的大量指导才能得出正确的解决方案。
今年早些时候，类似的情况也上演了，当时谷歌宣布其人工智能研究实验室 DeepMind 发现了流体动力学纳维-斯托克斯方程的新解。这些解决方案令人印象深刻，但人工智能距离解决与方程相关的更普遍的问题还有一段距离，这将为解决者赢得 100 万美元的千年奖。
将世界上最迷人的发现直接发送到您的收件箱。
除了炒作之外，人工智能距离取代世界上最好的数学家还有多远？为了找出答案，Live Science 询问了一些世界上最好的数学家。
从游戏到抽象推理
在很多方面，人工智能数学求解模型就像几十年前的国际象棋算法一样。 “他们正在做人类已经知道如何做的事情，”伦敦帝国理工学院的数学家凯文·巴扎德说。