— Noticias

Criterio sobre operaciones, software y trabajo real.

Notas de MoonReactor sobre procesos, sistemas a medida y lo que vemos en el piso de operación. 1 nota publicadas. Tema: formalización en Lean.

OpenAI impulsa avances en matemáticas con nuevo modelo IA y transparencia en investigación
OpenAImodelo frontiermatemáticas

OpenAI impulsa avances en matemáticas con nuevo modelo IA y transparencia en investigación

OpenAI presenta resultados innovadores en problemas matemáticos abiertos gracias a su modelo frontier y comparte formalizaciones de pruebas en Lean en GitHub.

Leer nota