La IA en matemáticas abre una nueva edad de oro del descubrimiento científico
Los modelos de inteligencia artificial generativa han ayudado a resolver una famosa hipótesis sobre grafos geométricos de Paul Erdős que había desconcertado a los matemáticos durante 80 años. El aprendizaje automático se utiliza ahora para generar y verificar millones de cadenas lógicas, combinado con demostradores de teoremas interactivos como Lean para evitar alucinaciones. Esto marca un cambio donde la IA amplifica el ingenio humano en matemáticas en lugar de reemplazarlo.
El matemático húngaro Paul Erdős dejó cientos de problemas sin resolver con recompensas en efectivo, uno de los cuales fue la hipótesis de las distancias unitarias en teoría de grafos geométricos. Esta hipótesis pregunta esencialmente por el número máximo de conexiones de igual longitud entre un conjunto de puntos, un rompecabezas que desafió la intuición humana durante casi 80 años. Un algoritmo generativo descubrió estructuras espaciales no triviales que los humanos habían pasado por alto, resolviendo parcialmente el problema. Hoy en día, la inteligencia artificial (IA) se encarga del trabajo tedioso de enumerar millones de combinaciones y detectar patrones ocultos, mientras que asistentes de demostración interactivos como Lean o Coq verifican cada paso, eliminando alucinaciones. A pesar de estos éxitos, problemas fundamentales como la hipótesis de Riemann o las ecuaciones de Navier-Stokes siguen sin resolverse, ya que requieren un nuevo lenguaje conceptual. Para la comunidad científica de habla rusa, este cambio computacional aprovecha una sólida tradición matemática, con aplicaciones que van desde la optimización de redes neuronales hasta la criptografía resistente a cuánticos. La IA actúa como un exoesqueleto digital para el cerebro humano, liberando a los investigadores de tareas rutinarias y permitiéndoles centrarse en objetivos estratégicos y visión conceptual.
Fuente: Habr — хаб ИИ —
original