Modelo de OpenAI resuelve problema matemático sin solución desde 1946

Un modelo de inteligencia artificial de OpenAI logró un avance histórico en las matemáticas al encontrar una solución al problema de distancia unitaria, también conocido como el “planar unit distance problem”. Este problema, planteado en 1946 por el matemático húngaro Paul Erdős, busca responder a la pregunta de cuántos pares de puntos pueden estar exactamente a una distancia de una unidad entre sí en un plano.

El problema de distancia unitaria ha sido un desafío para los matemáticos durante décadas, ya que se creía que las configuraciones basadas en cuadrículas eran prácticamente la mejor solución posible. Sin embargo, el modelo de OpenAI encontró una nueva familia de configuraciones geométricas que supera ese límite teórico y contradice la conjetura original de Erdős.

Según la empresa, el sistema no fue entrenado específicamente para resolver problemas matemáticos avanzados, sino que utilizó capacidades generales de razonamiento para conectar ideas provenientes de distintas ramas de las matemáticas, incluyendo teoría algebraica de números. Varios matemáticos externos verificaron la demostración y respaldaron el resultado, incluyendo al matemático Tim Gowers, profesor en la University of Cambridge y ganador de la Medalla Fields en 1998, quien calificó el trabajo como “un hito en las matemáticas impulsadas por IA”.

Esta solución no solo representa un avance significativo en el campo de las matemáticas, sino que también demuestra el potencial de la inteligencia artificial para resolver problemas complejos que han desafiado a los expertos humanos durante mucho tiempo. La capacidad del modelo de OpenAI para encontrar patrones y conexiones que no habían sido identificados anteriormente abre nuevas posibilidades para la investigación y el descubrimiento en diversas áreas de la ciencia.