机器之心报道，蛋酱、佳琪牛顿没解决的问题，AI给你解决了，AI的推理能力一直是研究的焦点，作为最纯粹、要求最高的推理形式之一，能否解决高级的数学问题，无疑是衡量语言模型推理水平的一把尺，虽然我们已经见...