OpenAI ha logrado refutar una conjetura matemática de Paul Erdős, planteada en 1946, utilizando inteligencia artificial. Este avance, considerado un hito en la relación entre IA y matemáticas, demuestra que la IA puede proponer soluciones originales a problemas abiertos, desafiando intuiciones establecidas en la geometría discreta.

• 01La conjetura de Paul Erdős, planteada en 1946, se refería a la máxima cantidad de pares de puntos a distancia 1 en un plano.
• 02OpenAI utilizó un modelo de IA que encontró un contraejemplo, demostrando que las configuraciones óptimas eran más complejas de lo que se pensaba.
• 03Matemáticos como Tim Gowers y Misha Rudnev han elogiado este avance como un hito significativo en matemáticas.
• 04La IA aplicó conceptos de teoría algebraica de números para resolver el problema, mostrando una conexión inesperada entre diferentes áreas de las matemáticas.
• 05Este hallazgo sugiere que la IA puede desempeñar un papel más activo en la investigación matemática, no solo como herramienta, sino como generadora de nuevas ideas.

Este avance en matemáticas podría influir en futuras investigaciones y en la forma en que se utilizan herramientas de IA en el campo.