HN热议：OpenAI为Navier-Stokes证明项目误译数学内容为代码

OpenAI mistranslated mathematics into code for its Navier-Stokes proof