RecodeX 重构消息,AI在数学推理能力上飞速进步,最新模型已能解决前沿数学基准中40%的难题,甚至完成可发表的博士级研究,促使研究人员开发更严格的基准如’首次证明挑战’和’开放问题’来测试其极限。