RecodeX 重构消息,数学家主导的’首次证明’实验通过未发表研究问题测试AI数学能力,发现大语言模型在解决研究级数学问题上表现不佳。