Los modelos de inteligencia artificial (IA) se les da actualmente las matemáticas. De hecho, en octubre de 2024 meta ai, la meta ai, logró generalizar la función de Lyapunov. El matemático ruso Aleksander Lyapunov propuso el concepto de la función que lleva su nombre en 1892. Su trabajo es una herramienta muy importante en el estudio de los sistemas dinámicos, pero los matemáticos han luchado por encontrar un método general que permita identificar las funciones de Lyapunov. Y no han tenido éxito. Sin embargo, GOTA AI lo ha tenido.

Este no es en absoluto el único éxito reciente de los modelos de IA en el campo de las matemáticas. Sergei Gukov, profesora de física teórica y matemáticas en el Instituto de Tecnología de California (Caltech), lidera a un equipo de investigadores que busca formas de usar esta tecnología para resolver problemas matemáticos avanzados que requieren miles, millones o incluso miles de millones de pasos. Actualmente, estos científicos están trabajando en la conjetura de Andrews-Curtis, un problema de la teoría combinatoria de los grupos propuestos hace 60 años.

Google y Openai Ai han ganado oro en la Olimpiada de Matemáticas

Gukov y su equipo aún no han logrado resolver la conjetura principal, pero con la ayuda de la IA han logrado algo importante: han refutado a varias familias de problemas relacionados con la conjetura de Andrews-Curtis y conocidos como contraejemplos que han remitido durante más de 25 años. Gukov reconoce que los modelos actuales de IA tienen limitaciones importantes cuando se enfrentan a problemas matemáticos muy complejos, pero espera que en el futuro esta tecnología permita al ser humano resolver los problemas matemáticos del milenio.

Según este matemático, el mejor activo que los investigadores tienen que enfrentar este desafío es instruir a la IA recurriendo al aprendizaje de refuerzo. De todos modos, algo importante acaba de pasar. Como anticipamos en el titular de este artículo, los modelos de Google y Openai AI Han ganado el oro en La Olimpiada Internacional de Matemáticas. Ambos lograron resolver cinco de los seis problemas planteados utilizando modelos de razonamiento de propósito general capaces de procesar conceptos matemáticos utilizando lenguaje natural. Esta estrategia es diferente de la que han usado anteriormente las compañías de IA en pruebas matemáticas.

En todo caso, Según SCMP Un experto que han consultado argumenta que la velocidad con la que se están desarrollando los modelos de IA sugiere que son menos de un año después de ser utilizados para resolver algunos problemas matemáticos que aún no tienen solución. Como hemos visto, Sergei Gukov defiende esta misma idea, aunque este último matemático no se ha atrevido a especificar el momento en que la IA comenzará a resolver los problemas en los que los matemáticos han estado comprometidos décadas. Quién sabe, tal vez la solución a los problemas del milenio está cerca. Con un poco de suerte.

Imagen | Jesús Thomas

Más información | SCMP

En | Estos dos problemas han desconcertado a los matemáticos durante décadas. Un genio los ha resuelto con un derrame cerebral