RecodeX 重构消息,AI在首次证明这一最难的数学测试中表现参差不齐。