La soluzione di OpenAI alle equazioni di Navier–Stokes non corrisponde alla sua verifica Lean.

Equazione di Navier-Stokes persa nella traduzione: perché la verifica Lean dell'autoformalizzazione dell'IA non garantisce dimostrazioni corrette in linguaggio naturale

https://arxiv.org/abs/2610.08144

@matematica