Navier–Stokes: 130 miliardi di token per dimostrarlo, due comandi per verificarlo
OpenAI affronta Navier–Stokes con migliaia di agenti AI. La dimostrazione è verificabile in Lean: 130 miliardi di token, due comandi per controllarla.
Giorno: 16 Settembre 2026