Una IA resuelve un problema matemático de 80 años
Durante 80 años, un problema matemático ha resistido a los expertos. En 1946, el matemático húngaro Paul Erdős preguntó: ¿cuántos pares de puntos pueden estar exactamente a distancia 1 entre sí en un plano con n puntos?
Este dilema, conocido como problema de la distancia unitaria en el plano, ha mantenido a muchos matemáticos intentando resolverlo. La estrategia clásica era usar una cuadrícula cuadrada, pero pronto se dieron cuenta de que el número de pares a distancia unitaria crece lentamente.
El problema y su historia
El problema de la distancia unitaria en el plano, formulado por Paul Erdős en 1946, ha sido un desafío para los matemáticos durante ochenta años. Se trata de determinar cuántos pares de puntos pueden estar exactamente a distancia 1 entre sí cuando se colocan n puntos en un plano.
La estrategia clásica propuesta por muchos matemáticos era recurrir a una cuadrícula cuadrada. Sin embargo, pronto se dieron cuenta de que el número de pares a distancia unitaria crece al menos como n elevado a (1 + C/loglog(n)), donde C es una constante positiva.
El avance de la IA
Una inteligencia artificial de OpenAI ha logrado el primer avance importante en 80 años. El modelo de inferencia de uso general ha proporcionado una familia infinita de ejemplos que producen una mejora polinómica. Ha demostrado que es posible construir configuraciones de puntos con al menos n^(1+δ) pares a distancia unitaria, donde δ es un valor fijo mayor que 0.
Los investigadores de OpenAI pidieron a un grupo de matemáticos de Princeton que revisasen el resultado, y su conclusión fue tajante: la IA estaba en lo cierto. Este logro es extraordinario y podría proporcionar a los matemáticos un puente para explorar otros problemas en el futuro.
Impacto y reacciones
Varios matemáticos reputados, como el ganador de la Medalla Fields Tim Gowers o el experto en teoría de números Arul Shankar, han declarado que el resultado que ha entregado la IA es un logro extraordinario que podría proporcionar a los matemáticos un puente para explorar otros problemas en el futuro.