RecodeX 重构消息,Axiom公司开发的AI数学家AxiomProver声称解决了至少四个长期未解的数学问题,显示人工智能推理能力持续进步。