RecodeX 重构消息，数学家丘成桐的弟子借助AI工具生成约470万行代码，首次由机器完整验证了庞加莱猜想的证明过程。该工作将庞加莱猜想的证明转化为可被计算机逐步核验的形式，并完成全流程机器验证。