🔔科技频道[奇诺分享-ccino.org]⚡️
16:10 · 2024年10月20日 · 周日
机器之心
132年未解开的李雅普诺夫函数谜题,被Symbolic Transformer攻克了
Telegraph
|
原文
Telegraph
132年未解开的李雅普诺夫函数谜题,被Symbolic Transformer攻克了 - 机器之心
牛顿没解决的问题,AI给你解决了? AI的推理能力一直是研究的焦点。作为最纯粹、要求最高的推理形式之一,能否解决高级的数学问题,无疑是衡量语言模型推理水平的一把尺。 虽然我们已经见证过来自谷歌DeepMind的Al以一分之差痛失IMO金牌,也从陶哲轩频频更新的动态中得知,AI工具已经在帮助数学家解决像「纽结理论」和「海狸难题」这样困扰数学家几个世纪的难题。 但是这些成果大多数都需要数学家作大量的前期工作,对于没有已知通用解法的开放性问题,AI也是一个小白。
Home
Powered by
BroadcastChannel
&
Sepia