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

no comments (yet)

sorted by: hot top controversial new old
there doesn't seem to be anything here
1 comment in c/hackernews@lemmy.bestiver.se view that post
[–] 1 point 1 month ago

Well, that didn't take long to unravel.

  • source