OpenAI monta un grupo asesor de matemáticos tras resolver 100 problemas abiertos
La compañía dice que su modelo interno, entrenado desde el 28 de agosto, ha resuelto el problema de Navier-Stokes y más de un centenar de problemas abiertos, sin publicar ninguna demostración
OpenAI ha montado un grupo asesor independiente de matemáticos. Lo ha hecho después de anunciar que un modelo interno suyo ha resuelto el problema de Navier-Stokes, uno de los siete del milenio, y más de un centenar de problemas abiertos repartidos por casi todas las áreas de la disciplina.
El entrenamiento de ese modelo arrancó el 28 de agosto. La compañía afirma que el ritmo la ha sorprendido incluso a ella: "El ritmo de su progreso en matemáticas ha sorprendido a los matemáticos dentro de OpenAI". Lo que no ha publicado es una sola demostración. No hay desarrollo, ni verificación independiente, ni envío a revisión por pares de ninguno de los resultados. La cifra y el alcance son suyos.
Ese hueco es justo lo que señala la carta abierta A Severe Misalignment of AI in Mathematics, firmada por matemáticos que ven un problema en usar la resolución de problemas abiertos como banco de pruebas de los nuevos sistemas de IA.
Un puente, no un comité de freno
El grupo nace para tender un puente con la comunidad matemática. Sus funciones son asesorar en la revisión y comunicación de los resultados que vayan saliendo: ayudar a valorar su importancia, coordinar cómo se difunden y vigilar que cumplen los estándares académicos y profesionales de la investigación matemática. También asesorará sobre cómo las herramientas de la empresa pueden apoyar la investigación y el aprendizaje.
OpenAI insiste en que el grupo opera de forma independiente y que puede hacer público su consejo, incluido el que nadie le ha pedido. Sus miembros no cobran de la compañía y pueden cambiar su composición como consideren. Lo que queda fuera de su mandato es el ritmo del progreso interno de OpenAI en matemáticas: no opinarán sobre eso.
Los miembros son François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS) y Melanie Matchett Wood (Harvard).
El anuncio deja una pregunta operativa: si esos más de cien problemas se publicarán con demostración y pasarán por revisión, o si el grupo se limitará a avalar el relato de la compañía. Los nombres que lo forman son de primer nivel y su mandato incluye contradecir a OpenAI por escrito. Eso es, hoy, lo único comprobable.
