OpenAI’s Navier-Stokes release included a Lean 4 formal proof

来源: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/ 热度: 105 points on HackerNews

来源: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/

热度: 105 points on HackerNews