Română · beta. Traducerea a fost făcută automat și este încă în curs de revizuire. Citește pagina în engleză

Întreabă în toate articolele

Pune o întrebare și primește un răspuns construit din articolele de știri ale site-ului — fiecare afirmație citată la sursa ei.

Încearcă o întrebare gratuit — fără cont. Conectează-te ca să întrebi în continuare

Întrebi despre: “Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs” · arXivȘterge restrângerea

Încearcă să întrebi

Fiecare întrebare primește răspuns de una singură, din articolele indexate. Un chip de continuare îți repune întrebarea dintr-un unghi nou; nu duce mai departe răspunsul anterior.