OpenAI ha lanzado una gran colección de investigación matemática producida por un modelo de IA de frontera interna, incluyendo el trabajo en problemas que han desafiado a los matemáticos profesionales durante años.
La compañía anunció el lanzamiento el 6 de octubre, diciendo que los resultados cubren una amplia gama de matemáticas y están siendo publicados abiertamente para el escrutinio por los investigadores.
La colección pública contiene 722 manuscritos organizados en 372 familias de resultados relacionadas, según la comunidad de desarrolladores de OpenAI. El trabajo surgió de una evaluación que involucra aproximadamente 4.000 problemas matemáticos.
El Verge informa que la colección abarca cientos de resultados matemáticos generados por un modelo de frontera sin liberación. Pero la publicación no significa que cada reclamación debe tratarse inmediatamente como hecho matemático establecido. Los investigadores tendrán que examinar las pruebas y determinar la importancia y novedad de los resultados individuales.
Una característica particularmente importante es que OpenAI ha proporcionado formalizaciones de muchas pruebas usando Lean, un lenguaje de programación que permite que las pruebas matemáticas sean revisadas por computadora. La compañía dice que las formalizaciones adicionales se añadirán con el tiempo.
OpenAI también reveló una medida llamativa de la computación implicada. En promedio, cada resultado requiere un cálculo equivalente a aproximadamente tres horas de ChatGPT Pro pensando usando el modelo interno.
La liberación sigue afirmaciones cada vez más dramáticas sobre la capacidad de AI para contribuir a las matemáticas. En septiembre, OpenAI dijo que el mismo esfuerzo de investigación más amplio había resuelto más de 100 problemas abiertos de larga data, lo que llevó a la empresa a trabajar con un grupo independiente de destacados matemáticos sobre cómo esos descubrimientos deberían ser revisados y comunicados.
Ese grupo asesor incluye matemáticos de instituciones como Stanford, Harvard, Oxford, Cambridge, Berkeley y el Instituto de Estudios Avanzados. Su papel no es simplemente apoyar el trabajo de OpenAI, sino asesorar independientemente sobre significado, estándares de investigación y divulgación responsable.
La pregunta más grande ahora va más allá de si AI puede responder preguntas matemáticas difíciles.
Si los matemáticos independientes finalmente verifican partes significativas de este trabajo, la nueva frontera puede ser si AI puede descubrir rutinariamente matemáticas que los humanos no sabían ya.
