OpenAI anunció que su nuevo modelo de razonamiento ha producido una prueba matemática original que refuta una famosa conjetura sin resolver en geometría planteada por primera vez por Paul Erdős en 1946. Este logro sigue una afirmación controvertida hecha por el ex vicepresidente de OpenAI Kevin Weil hace siete meses, cuando afirmó en X que GPT-5 encontró soluciones a diez problemas de Erdős previamente no resueltos, junto con avances en otros once. Más tarde se aclaró que GPT-5 en realidad no había resuelto esos problemas, pero había identificado soluciones existentes en la literatura.
Rivales en el campo de la IA, incluidos Yann LeCun y el director ejecutivo de Google DeepMind, Demis Hassabis, criticaron la afirmación anterior, lo que llevó a Weil a eliminar su publicación. El anuncio actualizado de OpenAI incluyó comentarios de matemáticos notables como Noga Alon, Melanie Wood y Thomas Bloom, quienes apoyaron la refutación y calificaron las declaraciones anteriores de Weil como una “tergiversación dramática”.
OpenAI afirmó que durante casi 80 años, los matemáticos creyeron que las soluciones óptimas a la conjetura se parecían a cuadrículas. Según se informa, el nuevo modelo ha descubierto una familia de construcciones completamente nueva que supera esta creencia arraigada. Este caso marca la primera instancia en la que la IA resuelve de forma autónoma un problema abierto importante en matemáticas, según OpenAI.
La prueba se originó a partir de un modelo de razonamiento de propósito general, en lugar de un sistema diseñado para matemáticas, lo que destaca la capacidad de la IA para gestionar tareas de razonamiento complejas e interconectar ideas en diversos campos. OpenAI enfatizó las posibles implicaciones de este desarrollo para la biología, la física, la ingeniería y la medicina.
El matemático Thomas Bloom comentó que la IA está facilitando una exploración más profunda de las matemáticas, cuestionando qué otros descubrimientos importantes podrían estar por venir. “La IA nos está ayudando a explorar más plenamente la catedral de las matemáticas que hemos construido a lo largo de los siglos”, afirmó.
