IA y modelos
Un modelo de OpenAI refuta una conjetura geométrica de 80 años de antigüedad
El modelo de razonamiento más reciente de OpenAI ha refutado una conjetura geométrica de 80 años de antigüedad, lo que marca un avance significativo en la capacidad de la IA para manejar razonamientos matemáticos complejos y de varios pasos.
OpenAI afirma que su nuevo modelo de razonamiento ha producido una prueba matemática original que refuta una famosa conjetura geométrica no resuelta. El problema fue planteado por primera vez por el matemático Paul Erdős en 1946. Durante casi 80 años, los matemáticos creyeron que las mejores soluciones posibles a este problema geométrico se parecían, a grandes rasgos, a cuadrículas. Sin embargo, OpenAI aseguró que su modelo ha refutado esa creencia al descubrir una familia de construcciones completamente nueva que tiene un mejor rendimiento. La empresa declaró que esta es la primera vez que una IA ha resuelto de forma autónoma un problema abierto destacado y central para un campo de las matemáticas. Según OpenAI, la prueba provino de un nuevo modelo de razonamiento de propósito general, en lugar de un sistema diseñado específicamente para resolver problemas matemáticos o este problema en particular.
El anuncio sigue a una afirmación previa, ampliamente criticada, del exvicepresidente de OpenAI, Kevin Weil, sobre las capacidades matemáticas de GPT-5. Hace siete meses, Weil publicó en X: “GPT-5 encontró soluciones a 10 (!) problemas de Erdős previamente no resueltos e hizo progresos en otros 11”. Los problemas de Erdős son problemas matemáticos no resueltos planteados por Paul Erdős. Sin embargo, la afirmación de Weil fue recibida con escepticismo inmediato por parte de investigadores rivales, incluidos Yann LeCun y el CEO de Google DeepMind, Demis Hassabis, quienes señalaron que el modelo simplemente había encontrado soluciones existentes en la literatura. Matemáticos, incluido Thomas Bloom, calificaron la publicación de Weil como una tergiversación dramática, y Weil la eliminó posteriormente.
A diferencia de esa instancia anterior, OpenAI ha proporcionado comentarios de apoyo de matemáticos para validar este nuevo hallazgo. La empresa publicó comentarios complementarios de Noga Alon, Melanie Wood y Thomas Bloom, quien mantiene el sitio web Erdos Problems. Bloom, quien había criticado previamente la publicación de Weil, declaró que la IA está ayudando a la humanidad a explorar más plenamente la catedral de las matemáticas construida a lo largo de los siglos, y se preguntó qué otras maravillas invisibles están esperando entre bastidores.
La empresa afirma que este desarrollo demuestra que sus modelos de razonamiento de propósito general ahora pueden mantener cadenas complejas de lógica a través de distintos campos. OpenAI dice que esto es significativo porque significa que los sistemas de IA ahora son más capaces de mantener cadenas de razonamiento largas y difíciles, y de conectar ideas entre campos. Esta capacidad podría tener implicaciones más amplias para áreas como la biología, la física y la ingeniería, donde los investigadores deben navegar por vías lógicas complejas y de varios pasos.
Por qué importa
Este desarrollo señala un cambio en la utilidad de la IA: pasar del simple reconocimiento de patrones al razonamiento autónomo de varios pasos, capaz de contribuir a la investigación científica fundamental.