El lanzamiento
OpenAI acaba de soltar 722 manuscritos de matemáticas en GitHub, asegurando que todos fueron creados por un solo modelo de IA secreto a partir de un único prompt. Da vibras de 'confía en mí', porque el modelo sigue bajo llave. Dicen que le dieron unos 4,000 problemas al bot y seleccionaron los mejores, resultando en 372 'familias' de resultados.
El escepticismo
Hablando claro: la comunidad matemática no se lo está tomando como una verdad absoluta. El matemático del MIT, Andrew Sutherland, fue muy sincero al decirle a Scientific American que, hasta que el modelo no sea liberado para pruebas públicas, estos resultados están, básicamente, sin verificar.
Solo 162 de estos papers han sido revisados por Lean, un software que verifica mecánicamente los pasos lógicos. Eso significa que cerca del 78% de la colección no ha sido validada formalmente, y OpenAI incluso admitió que parte del contenido no formalizado podría ser puro cuento.
El vibe check
Algunos académicos dicen que es un 'gran día', pero otros están lowkey estresados. El Institute for Advanced Study señaló que estamos entrando en una era donde la IA puede generar argumentos matemáticos que los humanos ni siquiera podemos entender o verificar, lo cual es highkey aterrador para el futuro de la investigación responsable.
Además, el repositorio tiene las 'Issues' desactivadas y no acepta contribuciones, lo cual es un L gigante para la colaboración. Mientras que Anthropic recientemente publicó una prueba masiva de 13 millones de líneas para que todos la vean, OpenAI se guarda su receta secreta.
Por qué importa
Si esta tecnología es legítima, es un W masivo para la capacidad de la IA de manejar lógica compleja. Pero tal como están las cosas, es mayormente hype. Hasta que OpenAI no libere el modelo y los prompts reales, esto es solo una pila de documentos que no están listos para el prime time.
