Un modelo experimental de inteligencia artificial desarrollado por OpenAI consiguió resolver uno de los desafíos más conocidos de la geometría discreta al refutar la conjetura de la distancia unitaria de Erdos, un problema matemático que permanecía abierto desde 1946 y que durante casi ocho décadas desafió a generaciones de investigadores.
El hallazgo fue recibido con gran interés dentro de la comunidad científica y numerosos especialistas lo consideran uno de los logros más importantes alcanzados hasta ahora por sistemas de inteligencia artificial aplicados a la investigación matemática.
La conjetura había sido planteada por el célebre matemático húngaro Paul Erdos, reconocido como uno de los investigadores más prolíficos e influyentes del siglo XX. El problema intenta determinar cuántos pares de puntos pueden ubicarse en un plano de forma que estén separados exactamente por una unidad de distancia cuando la cantidad total de puntos aumenta de manera muy significativa.
Durante más de 80 años, la mayoría de los matemáticos creyó que la respuesta se encontraba próxima a un límite inferior propuesto por el propio Erdos. Sin embargo, pese a numerosos intentos, nadie había logrado demostrar definitivamente la conjetura ni encontrar una prueba que la contradijera.
Esa situación cambió cuando el modelo de OpenAI desarrolló una construcción matemática alternativa capaz de demostrar que la hipótesis original era incorrecta.
Un avance histórico para la IA aplicada a las matemáticas
El resultado despertó el interés de destacados investigadores. Entre ellos se encuentra el matemático británico Tim Gowers, quien describió el trabajo como un auténtico “hito en las matemáticas de la inteligencia artificial”.
Por su parte, Daniel Litt destacó la relevancia del descubrimiento y afirmó que se trata del primer resultado generado de manera autónoma por una inteligencia artificial que considera valioso por sí mismo y no simplemente como una demostración del progreso tecnológico de estos sistemas.
A diferencia de generaciones anteriores de herramientas computacionales, que dependían de una intensa participación humana para convertir ideas preliminares en demostraciones publicables, el modelo de OpenAI logró elaborar una prueba matemática completa integrando conceptos provenientes de diferentes ramas de las matemáticas.
Posteriormente, como ocurre con cualquier avance científico, el trabajo fue sometido a procesos de revisión, verificación y ampliación por parte de investigadores humanos, siguiendo los estándares habituales de validación académica.
La estrategia que permitió derribar la conjetura
La clave del avance estuvo en cuestionar una de las suposiciones que había orientado gran parte de la investigación durante décadas.
Mientras Erdos asumía que las configuraciones óptimas de puntos debían asemejarse a una cuadrícula convencional, el sistema de inteligencia artificial exploró estructuras considerablemente más complejas construidas inicialmente en espacios de dimensiones superiores y luego proyectadas sobre un plano bidimensional.
Mediante la utilización de números enteros algebraicos y configuraciones geométricas más sofisticadas, el modelo descubrió que era posible obtener una cantidad mayor de pares de puntos separados exactamente por una unidad de distancia que la contemplada en la conjetura original.
Aunque el descubrimiento no introduce necesariamente herramientas matemáticas completamente revolucionarias, sí evidencia una capacidad inédita de la inteligencia artificial para combinar conocimientos existentes de manera creativa y producir demostraciones originales en problemas de investigación avanzada.
El futuro de la colaboración entre humanos e IA
El avance reavivó el debate sobre el papel que desempeñarán los sistemas de inteligencia artificial en la producción de conocimiento científico durante los próximos años.
Actualmente, muchos especialistas sostienen que la relación entre matemáticos e inteligencia artificial será fundamentalmente complementaria. Las máquinas destacan por su capacidad para explorar enormes cantidades de posibilidades y conectar áreas distantes del conocimiento, mientras que los investigadores humanos continúan liderando la formulación de preguntas, la interpretación conceptual de los resultados y su validación final.
No obstante, la velocidad con la que estos sistemas han evolucionado en los últimos años plantea nuevas interrogantes acerca de cómo podría transformarse la investigación matemática durante la próxima década y cuál será el alcance real de la inteligencia artificial en la generación de descubrimientos científicos.
Con información de Montevideo Portal
