Un modelo de OpenAI ha refutado una conjetura central en geometría discreta

Durante casi 80 años, el problema de la distancia unitaria —que busca el número máximo de pares de puntos a exactamente distancia uno en un plano— ha sido un desafío central en la geometría combinatoria. Investigadores de OpenAI han utilizado un modelo de razonamiento autónomo para refutar la antigua conjetura de que las construcciones de rejilla cuadrada eran óptimas. La IA descubrió una nueva familia de configuraciones utilizando conceptos complejos de la teoría algebraica de números, como las torres de cuerpos de clases. Este logro es un hito importante, ya que es la primera vez que una IA resuelve de forma independiente un problema matemático abierto, demostrando su capacidad para generar descubrimientos originales en la investigación de vanguardia.

(Fuente：OpenAI)