4
Navier–Stokes Lost in Translation (arxiv.org)
submitted 1 month ago by [B] to c/hackernews@lemmy.bestiver.se
1 comment fedilink hide all child comments
 

Comments

other discussions
1
La soluzione di OpenAI alle equazioni di Navier–Stokes non corrisponde alla sua verifica Lean (arxiv.org)
submitted 1 month ago by to c/matematica@feddit.it
comment fedilink hide all child comments
 

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 naturalearxiv.org/abs/2610.08144@matematica