OpenAI将数学误译为代码用于其纳维-斯托克斯证明 OpenAI尝试用AI证明纳维-斯托克斯方程时，因数学翻译错误导致失败，揭示了AI在处理复杂数学推理方面的挑战。 2026-10-10 AI & Machine Learning 0 Administrator