2013年未解之谜

132年未解开的李雅普诺夫函数谜题，被Symbolic Transformer攻克了 牛顿没解决的问题，AI给你解决了？AI的推理能力一直是研究的焦点。作为最纯粹、要求最高的推理形式之一，能否解决高级的数学问题，无疑是...