Los modelos KI para inteligencia artificial (IA) actualmente están recibiendo 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 un instrumento muy importante para la investigación de sistemas dinámicos, pero desde entonces los matemáticos han tenido dificultades para encontrar un método general que permita las funciones de Lyapunov. Y no tuvieron éxito. Sin embargo, Meta ai lo tenía.
Este no es 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 buscan oportunidades para usar esta tecnología para resolver problemas matemáticos avanzados que requieren miles, millones o incluso miles de millones de pasos. Estos científicos están trabajando actualmente en la presunción de Andrews-Curtis, un problema de la teoría combinatoria de los grupos propuestos hace 60 años.
Google y Openai Ai ganaron oro en la Olimpiada de Matemáticas
Gukov y su equipo aún no han logrado resolver el coraje principal, pero con la ayuda de la IA han logrado algo importante: han refutado a varias familias de problemas en relación con la presunción de Andrews-Curtis y han sido conocidos como contraexperimentos que han estado abiertos durante más de 25 años. Gukov admite que los modelos de IA actuales tienen restricciones importantes si tienen problemas matemáticos muy complejos, pero espera que esta tecnología permita a las personas resolver los problemas matemáticos del milenio en el futuro.
La mejor ventaja que el investigador tiene para enfrentar este desafío
Según este matemático, la mejor capital que el investigador tiene para enfrentar este desafío es instruir a la IA al recurrir al aprendizaje del refuerzo. De todos modos, algo importante acaba de pasar. Como esperamos en el propietario de este artículo, los modelos de Google y Operai AI Ganaste el oro En La Olimpiada Internacional de Matemáticas. Ambos lograron resolver cinco de los seis problemas con modelos de argumentación general que pueden procesar conceptos matemáticos con la ayuda del lenguaje natural. Esta estrategia difiere de la que utilizó anteriormente las compañías de IA en pruebas matemáticas.
En todo caso, Según SCMP Un experto que ha consultado argumenta que la velocidad a la que se desarrollan los modelos de IA indica que son menos de un año después de la solución de algunos problemas matemáticos que aún no tienen solución. Como hemos visto, Sergei Gukov defiende la misma idea, aunque este último matemático no se atrevió a indicar el momento en que la IA resolverá los problemas en los que los matemáticos han estado involucrados durante décadas. Quién sabe, tal vez la solución a los problemas del milenio es apretada. Con un poco de suerte.
Imagen | Jesús Thomas
Más información | SCMP
En | Los matemáticos han sorprendido estos dos problemas durante décadas. Ella resolvió un genio con un derrame cerebral
