The part of Navier-Stokes no one is talking about
- Navier-Stokes 近 90 天出现 4 次
- 上一次：1 天前 · OpenAI claims to have solved maths problem that stumped humans for decades: Company behind ChatGPT says 10,000 of its AI systems cracked the Navier-Stokes problem in 88 hours
发生了什么
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
摘要按规则整理自下方来源原文