数学难题拿下后，下一个是室温超导？ OpenAI 用 大约 1 万个 agent 持续跑了 88 小时 ，然后给纳维-斯托克斯方程交了一份证明，还附上了 Lean 形式化验证。一共花了数百万美元的算力。…
推荐理由本文涵盖「OpenAI」、「纳维-斯托克斯方程」、「Lean」等多个主题，重点关注 OpenAI。