RecodeX 重构消息，Varto在Isabelle中完成了PutnamBench AI数学基准的完整证明，展现了AI在高等数学推理上的能力。