AURA 官网

机器之心报道编辑：蛋酱、佳琪牛顿没解决的问题，AI给你解决了？AI的推理能力一直是研究的焦点。作为最纯粹、要求最高的推理形式之一，能否解决高级的数学问题，无疑是衡量语言模型推理水平的一把尺。虽然我们已经见证过来自谷歌DeepMind的Al以一分之差痛失IMO金牌，也从陶哲轩频频更新的动态中得知，AI工具已经在帮助数学家解决像「纽结理论」和「海狸难题」这样困扰数学家几个世纪的难题。但是这些成果大多数都需要数学家作大量的前期工作，对于没有已知通用解法的开放性问题，AI也是一个小白。最近的一项研究打...