OpenAI afirma que su IA refutó una conjetura geométrica planteada por Paul Erdős en 1946

OpenAI afirma que uno de sus modelos internos de razonamiento general ha producido una prueba matemática original que refuta una conjetura histórica relacionada con el problema de la distancia unitaria en el plano, una pregunta famosa planteada por el matemático Paul Erdős en 1946.

Si la demostración se confirma tras una revisión matemática completa, sería uno de los ejemplos más importantes hasta ahora de inteligencia artificial contribuyendo a investigación original en matemáticas puras. También marcaría una diferencia clara respecto a un caso anterior relacionado con GPT‑5 que terminó siendo solo una redescubierta de resultados ya existentes.

El problema geométrico de casi 80 años

El llamado planar unit distance problem plantea una pregunta aparentemente simple: si tenemos n puntos en el plano, ¿cuál es el número máximo de pares de puntos que pueden estar exactamente a una distancia de una unidad?

Aunque su formulación es sencilla, el problema se convirtió en uno de los grandes desafíos de la geometría combinatoria y discreta. Durante décadas, matemáticos intentaron encontrar configuraciones de puntos que maximicen ese número de distancias unitarias y también establecer límites superiores para ese máximo.

Una idea ampliamente aceptada era que las configuraciones más eficientes se parecerían a patrones tipo cuadrícula, similares a puntos distribuidos sobre una red cuadrada.

Según los informes sobre el trabajo de OpenAI, la nueva prueba generada por IA demuestra que la conjetura que sustentaba esa intuición es falsa.

Qué dice OpenAI que hizo su modelo

OpenAI afirma que un modelo de razonamiento de propósito general generó una demostración matemática completamente nueva que refuta una conjetura central asociada al problema de Erdős.

Los elementos clave del anuncio incluyen:

• El modelo produjo un argumento matemático original, no una reproducción de resultados conocidos.
• La prueba utiliza ideas relacionadas con teoría algebraica de números para construir configuraciones que superan a las soluciones basadas en cuadrículas.
• El resultado contradice la expectativa histórica sobre la forma que deberían tener las configuraciones óptimas de puntos.

Si se confirma, el resultado cambiaría la comprensión teórica de uno de los problemas abiertos más conocidos de la geometría discreta.

En qué se diferencia del caso anterior con GPT‑5

El anuncio llega después de una polémica previa relacionada con GPT‑5.

En ese episodio, representantes de OpenAI afirmaron que el modelo había resuelto varios problemas de Erdős. Sin embargo, análisis posteriores mostraron que el sistema había redescubierto soluciones que ya existían en la literatura matemática, por lo que no se trataba de descubrimientos nuevos.

La nueva afirmación se diferencia en dos aspectos clave:

• La prueba presentada se describe como original, no como una redescubierta de trabajos previos.
• Matemáticos externos habrían revisado el argumento y expresado apoyo a su validez.

Aun así, en matemáticas la aceptación definitiva requiere verificación rigurosa y revisión por pares, normalmente antes de su publicación en una revista científica.

Qué dicen algunos matemáticos

Según los reportes, varios matemáticos reconocidos examinaron la prueba y ofrecieron comentarios positivos. Entre ellos se mencionan Noga Alon, Melanie Wood y Thomas Bloom, especialistas en combinatoria y teoría de números.

Algunos observadores señalaron que el resultado es inusualmente fuerte para una prueba generada por IA, y que está muy por encima de intentos anteriores de producir resultados matemáticos realmente nuevos.

Aun así, la comunidad matemática suele exigir un proceso largo de verificación antes de aceptar formalmente un resultado de esta magnitud.

Por qué podría ser importante más allá de la geometría

Más allá del problema concreto, investigadores ven una implicación mayor: la IA podría estar empezando a manejar cadenas largas de razonamiento complejo, algo esencial en investigación avanzada.

Muchos problemas científicos requieren conectar cientos o miles de pasos lógicos entre distintas áreas. Si los sistemas de IA pueden construir y verificar esas cadenas de forma fiable, podrían contribuir a descubrimientos en campos como:

• física teórica
• biología y medicina
• ingeniería
• ciencia de materiales

Algunos científicos consideran que esto sugiere un posible cambio: la IA podría pasar de ser principalmente una herramienta de asistencia para investigadores a convertirse, ocasionalmente, en una fuente de nuevas ideas teóricas.

La conclusión

La afirmación de OpenAI es que uno de sus modelos de razonamiento generó una prueba matemática genuinamente nueva que refuta una conjetura vinculada al problema de la distancia unitaria planteado por Paul Erdős en 1946.

Eso la diferenciaría claramente de afirmaciones anteriores de IA que terminaron siendo solo redescubrimientos de resultados ya conocidos.

Sin embargo, en matemáticas el veredicto final llega únicamente después de una revisión exhaustiva por parte de la comunidad científica. Si la prueba supera ese proceso, podría convertirse en uno de los primeros ejemplos importantes de una IA contribuyendo con un descubrimiento original en matemáticas puras.