Notícies, llançaments de models i guies pràctiques sobre OpenAI: GPT, Sora i l’API d’OpenAI.
Més recent
Els informes sobre models d’OpenAI que resolen grans problemes matemàtics apunten a una qüestió més profunda: generar proves és cada cop més barat, mentre que la verificació, l’atribució i la publicació encara avancen a velocitat humana.
Tots els articles
El llançament jurídic d’OpenAI no tracta tant d’un nou model fundacional com del sistema que l’envolta: recuperació de domini, eines fiables, permisos, benchmarks i vies de revisió.
OpenAI diu que agents d’IA van trobar una singularitat de Navier–Stokes i van formalitzar la demostració en Lean. La història més difícil és què passa ara: revisió, crèdit i el poder dels eixams d’agents privats en matemàtiques.
