OpenAI publica cientos de resultados matemáticos de un modelo que aún no ha lanzado
OpenAI ha difundido soluciones a problemas abiertos de matemáticas generadas por un modelo interno. Por ahora no consta que matemáticos ajenos a la empresa las hayan comprobado, y varios critican cómo las presenta.
Lo esencial
1 hecho confirmado · 3 según la fuente · 3 preguntas abiertas
- OpenAI ha publicado resultados sobre problemas abiertos de matemáticas de un modelo interno que no ha lanzado, con demostraciones en Lean en GitHub.1
- Según la fuenteSegún The Verge, el lote son 722 manuscritos en 372 familias de resultados; el grupo asesor AGMAI habla de «cientos» de preguntas abiertas.3
- Según la fuenteOpenAI dice que el modelo, entrenado desde el 28 de agosto, ha resuelto más de 100 problemas abiertos de larga data.2
- Según la fuenteSegún WIRED, varios matemáticos critican que las empresas publiquen por blog o anuncio y no con artículos científicos.2
Por qué importa
Si los resultados se sostienen, serían un avance notable de la IA en matemáticas. Pero una demostración solo vale cuando otros matemáticos la revisan, y eso exige artículos que puedan leer y discutir. Que parte de la comunidad se queje del formato sugiere que el debate ya no va solo de lo que hace la IA, sino de cómo las empresas cuentan lo que hace2.
Los detalles
OpenAI ha publicado nuevos resultados sobre problemas abiertos de matemáticas obtenidos por un modelo interno, y ha compartido en GitHub las demostraciones formalizadas en Lean (un lenguaje que permite comprobar demostraciones con un programa) y detalles de la investigación1. Según The Verge, el lote reúne 722 manuscritos agrupados en 372 familias de resultados. El grupo asesor independiente AGMAI, formado por matemáticos de primer nivel, dice que incluye soluciones a «cientos» de preguntas abiertas3.
WIRED había adelantado que OpenAI planeaba volcar cientos de resultados en GitHub el martes, según personas al tanto de los planes. La portavoz de OpenAI, Lindsay McCallum, dijo a WIRED que el modelo empezó a entrenarse el 28 de agosto y que ya ha resuelto más de 100 problemas abiertos. Añadió que la empresa trabaja en publicar de forma responsable los próximos resultados, apoyándose en el consejo y las recomendaciones públicas de un grupo asesor del Institute for Advanced Study, y que no había fijado fecha2.
Según WIRED, varios matemáticos critican que OpenAI y Anthropic publiquen resultados mediante entradas de blog y anuncios en lugar de artículos científicos, que son más fáciles de verificar. Bryna Kra, de la Northwestern University, dice que en agosto el grupo de matemáticos pidió a OpenAI publicar artículos y no solo entradas de blog, y que, «aparentemente», ese consejo «se ignoró»2.
Lo que no sabemos
- Si matemáticos ajenos a OpenAI han comprobado ya los resultados.
- Si las cifras de OpenAI (más de 100 problemas) y de AGMAI («cientos» de preguntas abiertas) miden lo mismo.
- Cuándo, y si llegará a usarse, el modelo se lanzará al público.
Fuentes
- 1Sharing AI progress in mathematics
- 2OpenAI Is Pissing Off a Bunch of Mathematicians—Again
- 3OpenAI drops another batch of mathematical breakthroughs
¿Te ha servido esta historia? Sí No mucho
¿Ves un error? Escribe a [email protected] y lo corregimos a la vista.