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