标签：数学难题
陶哲轩神预言！Transformer破解百年三体难题，凭数学直觉找到李雅普诺夫函数
Meta研究者发现，Transformer模型能够解决132年前提出的数学难题——发现全局李雅普诺夫函数。这一发现被发表在NeurIPS 2024上，引起了AI社区的广泛关注。全局...
AI解决132年数学难题！Transformer成功寻找新的李雅普诺夫函数，三体问题相关
Meta和巴黎理工学院的研究团队提出了一种名为Symbolic Transformer的AI模型，旨在解决长期困扰数学界的难题——寻找全局李雅普诺夫函数，以判断动力系统的稳定...
陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功
经过40多年的研究，计算机科学家们终于在“忙碌海狸”难题上取得了重大突破。这个突破得到了著名数学家陶哲轩的高度评价。“忙碌海狸”游戏是由数学家Tibor Radó...
N-S方程问题有解了？与黎曼猜想并列，千禧年数学难题胜利在望
机器之心报道了数学界的一项重大进展：纳维-斯托克斯问题的正则哈密顿公式可能已经找到，这是数学中最著名的未解问题之一。纳维-斯托克斯方程是2000年被列为“...
