<![CDATA[La soluzione di OpenAI alle equazioni di Navier–Stokes non corrisponde alla sua verifica Lean.]]>

<![CDATA[La soluzione di OpenAI alle equazioni di Navier–Stokes non corrisponde alla sua verifica Lean.]]>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

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Abstract page for arXiv paper 2610.08144: Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

arXiv.org (arxiv.org)

]]>https://citiverse.it/topic/78f2220a-76cc-4157-a87a-0560e779963e/la-soluzione-di-openai-alle-equazioni-di-navier-stokes-non-corrisponde-alla-sua-verifica-lean.RSS for NodeSun, 11 Oct 2026 19:30:33 GMTThu, 08 Oct 2026 17:49:50 GMT60