Un modelo de OpenAI refuta una importante conjetura de geometría discreta

Un descubrimiento matemático relacionado con el histórico problema de las distancias unitarias planteado por Paul Erdős.

Conjetura geométrica

Durante décadas, matemáticos de todo el mundo intentaron comprender cuántos pares de puntos pueden situarse exactamente a distancia 1 dentro de una configuración de n puntos en el plano.

“El resultado supone un hito para las matemáticas asistidas por inteligencia artificial.”

El problema fue planteado originalmente por Paul Erdős en 1946 y se convirtió en uno de los grandes desafíos abiertos de la geometría discreta.

Una idea aceptada durante generaciones

Se pensaba que las configuraciones basadas en cuadrículas eran prácticamente óptimas. Sin embargo, el nuevo trabajo encontró construcciones mucho más eficientes.

El modelo desarrollado por OpenAI logró descubrir una familia completamente nueva de configuraciones geométricas, desafiando intuiciones mantenidas durante décadas.

La importancia del hallazgo

Matemáticos externos revisaron cuidadosamente el resultado. Varios expertos afirmaron que el trabajo demuestra que los modelos actuales de IA pueden aportar ideas matemáticas originales, más allá de asistir únicamente en cálculos.

“Los modelos actuales de IA son capaces de generar ideas matemáticas originales y desarrollarlas hasta obtener resultados completos.”

La formulación matemática

Dados n puntos en el plano, determinar el número máximo de pares (pᵢ,pⱼ) tales que:

d(pᵢ,pⱼ)=1

Aunque el problema completo sigue abierto, el nuevo descubrimiento cambia profundamente la dirección futura de esta línea de investigación.