RecodeX 重构消息，OpenAI的模型在一夜之间解决了722个数学难题，并完成了对“准黎曼猜想”的证明。该成果属于AI在形式化数学证明领域的最新进展，显示出大模型在高等数学问题求解上的能力。