RecodeX 重构消息,AI在FrontierMath上首次解决开放数学问题,展示人工智能在复杂推理领域的突破。