OpenAI declaró recientemente que su último modelo de razonamiento de propósito general proporcionó de forma independiente una prueba matemática original, anulando una conjetura geométrica no resuelta propuesta por el famoso matemático Paul Erdős en 1946. OpenAI dijo que esta es la primera vez que la inteligencia artificial resuelve de forma independiente un problema público bien conocido que está en el centro de un determinado campo de las matemáticas, y muchos matemáticos involucrados en el respaldo también creen que esta vez no es una falsa alarma.
Vale la pena señalar que esta no es la primera vez que OpenAI hace una declaración de alto perfil sobre "la IA superando el problema de Erdos". Hace unos siete meses, Kevin Weil, el entonces vicepresidente de la compañía, publicó en la plataforma social. Pero pronto alguien señaló que la llamada "solución" del modelo en realidad ya existía en la literatura matemática, y GPT-5 sólo "buscó" los resultados existentes en lugar de descubrir una nueva solución. En medio de las burlas de rivales como el director ejecutivo de Google DeepMind, Demis Hassabis y Yann LeCun, Weir finalmente eliminó la publicación, que fue criticada como "exagerada".
Quizás debido a esta experiencia, OpenAI es obviamente más cauteloso en esta versión. Al anunciar los resultados, la empresa publicó un documento de "Comentario complementario" escrito por varios matemáticos para demostrar el rigor de revertir esta conjetura geométrica. Estos matemáticos conjuntos incluyen a Noga Alon, Melanie Wood y Thomas Bloom. Bloom mantiene el sitio web "Erdos Problems" y criticó los comentarios de Weir en la ronda anterior de controversia como "un engaño muy dramático". Esta vez se puso del lado de OpenAI y respaldó la nueva prueba.
OpenAI publicó un artículo sobre Según OpenAI, este resultado proviene de un modelo de razonamiento general, no de un sistema matemático diseñado específicamente para resolver el problema, ni es un algoritmo "entrenado a medida" para este problema geométrico.
OpenAI cree que la importancia de este resultado va más allá de la propuesta única en sí y también refleja la mejora de las capacidades del sistema de IA actual en "razonamiento de cadena larga" y "conexión de conceptos entre dominios". Al explorar patrones estructurales en espacios complejos que los investigadores humanos aún no han intentado ni explorado sistemáticamente, se espera que dichos modelos conduzcan a nuevos descubrimientos en campos tan diversos como la biología, la física, la ingeniería y la medicina. En otras palabras, la IA ya no se limita a verificar pruebas existentes o buscar en la literatura existente, sino que comienza a desempeñar un papel más activo a la hora de "proponer nuevas estructuras e ideas".
Bloom dijo en un comunicado que la inteligencia artificial está ayudando a los humanos a "explorar más plenamente la catedral matemática que hemos construido juntos durante cientos de años". Preguntó: "¿Cuántos milagros invisibles aún esperan ser revelados?" En un momento en que la discusión sobre "si la IA realmente puede hacer descubrimientos científicos originales" aún no ha amainado, este contraejemplo de conjetura geométrica que ha sido aprobado después de la revisión por parte de la comunidad matemática puede convertirse en un punto de referencia importante para debates posteriores.