Novas, lanzamentos de modelos e guías prácticas sobre OpenAI: GPT, Sora e a API de OpenAI.
Última
Os informes sobre modelos de OpenAI que resolven grandes problemas matemáticos apuntan a unha cuestión máis profunda: xerar probas é cada vez máis barato, mentres que a verificación, a atribución e a publicación seguen avanzando ao ritmo humano.
Todas as publicacións
O lanzamento xurídico de OpenAI vai menos dun novo modelo fundacional ca do sistema arredor del: recuperación de dominio, ferramentas fiables, permisos, benchmarks e vías de revisión.
OpenAI di que axentes de IA atoparon unha singularidade de Navier–Stokes e formalizaron a demostración en Lean. A historia máis difícil é o que vén despois: revisión, crédito e o poder dos enxames privados de axentes nas matemáticas.
