Ultimo
Le notizie su modelli OpenAI capaci di risolvere grandi problemi matematici indicano una questione più profonda: generare prove costa sempre meno, mentre verifica, attribuzione e pubblicazione procedono ancora alla velocità umana.
Tutti i post
Il lancio legale di OpenAI riguarda meno un nuovo modello fondazionale e più il sistema che lo circonda: retrieval di dominio, strumenti affidabili, permessi, benchmark e percorsi di revisione.
OpenAI afferma che agenti AI hanno trovato una singolarità di Navier–Stokes e formalizzato la dimostrazione in Lean. La storia più difficile è ciò che viene dopo: revisione, credito e il potere degli sciami privati di agenti nella matematica.
