En el sagrado templo de las matemáticas, Google DeepMind ha demostrado una vez más la extraordinaria capacidad de su IA. Recientemente, la IA de Google obtuvo una medalla de plata en la Olimpiada Internacional de Matemáticas (IMO), un logro que no solo ha conmocionado al mundo matemático, sino que también ha llenado de infinitas expectativas el futuro de la IA.
El rendimiento de AlphaProof y AlphaGeometry2 de Google en la competición IMO2024 fue asombroso. Resolvieron correctamente 4 de los 6 problemas, quedándose a solo un punto de la medalla de oro. Aún más sorprendente es que AlphaGeometry2 resolvió un problema de geometría en tan solo 19 segundos; una velocidad y precisión que incluso los matemáticos más brillantes del mundo difícilmente podrían igualar.
Este logro no solo ha causado sensación en el mundo de la IA, sino que también ha llamado la atención de figuras legendarias de las matemáticas. El ganador de la Medalla Fields, Terence Tao, y el ex director del equipo estadounidense de la IMO, Rob Roozen, elogiaron enormemente el desempeño de la IA de Google. Tao considera que este trabajo de DeepMind amplía los límites de la capacidad de la IA en el campo de las matemáticas, mientras que Roozen comparó la conmoción con la sensación que produjo el lanzamiento del Sputnik, el primer satélite artificial soviético.
El CEO de Perplexity AI incluso se atrevió a predecir que, si Google continúa profundizando en el campo de las matemáticas de la IA, en el futuro podría crear un "Terence Tao de IA". El propio Tao se centra más en cómo la IA y las matemáticas pueden desarrollarse juntas; cree que los avances de la IA en el campo de las matemáticas contribuirán a la automatización de las matemáticas formales y al progreso de la investigación matemática.
La ruta de investigación y desarrollo de DeepMind en esta ocasión ha sido muy inteligente, ya que se han basado más en el aprendizaje por refuerzo que en los grandes modelos lingüísticos; un método que, en cierta medida, hereda el espíritu de AlphaGo. Gracias a métodos formales, la IA puede resolver problemas de geometría de nivel IMO, algo que antes era inimaginable.
El profesor Roozen opina que la poderosa capacidad matemática de la IA plantea nuevos desafíos a los métodos educativos. La estructura educativa actual necesita una rápida transformación para adaptarse a las necesidades de la era de la IA. Destaca que todos deben aprender a resolver problemas nuevos e inesperados, o de lo contrario no podrán seguir el ritmo de la IA.
El desempeño de la IA de Google en la IMO no es solo un avance tecnológico, sino también una profunda revelación sobre la inteligencia humana. Con el continuo progreso de la tecnología de la IA, tenemos razones para creer que la investigación y la educación matemática del futuro experimentarán cambios radicales. Esperemos con interés cómo la IA seguirá creando milagros en el campo de las matemáticas.