132年未解开的李雅普诺夫函数谜题，被Symbolic Transformer攻克了
132年未解开的李雅普诺夫函数谜题，被Symbolic Transformer攻克了
牛顿没解决的问题，AI给你解决了？
AI的推理能力一直是研究的焦点。作为最纯粹、要求最高的推理形式之一，能否解决高级的数学问题，无疑是衡量语言模型推理水平的一把尺。
虽然我们已经见证过来自谷歌DeepMind的Al以一分之差痛失IMO金牌，也从陶哲轩频频更新的动态中得知，AI工具已经在帮助数学家解决像「纽结理论」和「
14
0
2025-09-03
