La IA de Google DeepMind logró resultados impresionantes en la Olimpiada Internacional de Matemáticas, ganando la medalla de plata y perdiendo la medalla de oro por solo un punto. Sus sistemas AlphaProof y AlphaGeometry2 respondieron correctamente 4 de 6 preguntas. Entre ellas, AlphaGeometry2 resolvió una pregunta de geometría en 19 segundos, con una velocidad y precisión muy superiores a las de los mejores matemáticos humanos. Este avance no sólo conmocionó a la comunidad matemática, sino que también atrajo una amplia atención en la industria. Los principales matemáticos como Tao Zhexuan y Luo Boshen hablaron muy bien de él y expresaron sus expectativas sobre su potencial de desarrollo futuro.
En el templo de las matemáticas, Google DeepMind demostró una vez más las extraordinarias capacidades de su IA. Recientemente, Google AI ganó la medalla de plata en la Olimpiada Internacional de Matemáticas (OMI). Este logro no solo conmocionó a la comunidad matemática, sino que también llenó a la gente de una imaginación ilimitada sobre el futuro de la IA.
AlphaProof y AlphaGeometry2 de Google tuvieron un desempeño impresionante en la competencia IMO2024. Acertaron 4 de 6 preguntas y se perdieron la medalla de oro por sólo un punto. Lo que es aún más sorprendente es que AlphaGeometry2 resolvió un problema de geometría en solo 19 segundos. Tal velocidad y precisión son difíciles de igualar incluso para los mejores matemáticos humanos.
El director ejecutivo de Perplexity AI incluso predijo audazmente que si Google continúa profundizando en el campo de las matemáticas de IA, puede crear un "AI Terence Tersu" en el futuro. El propio Terence Tao está más preocupado por cómo la IA y las matemáticas pueden desarrollarse juntas. Cree que el progreso de la IA en el campo de las matemáticas ayudará a automatizar las matemáticas formales y promoverá el progreso de la investigación matemática.
El camino de investigación y desarrollo de DeepMind esta vez es muy inteligente. Se basan más en el aprendizaje por refuerzo que en grandes modelos de lenguaje. Este método hereda el espíritu de AlphaGo hasta cierto punto. A través de métodos formales, la IA es capaz de resolver problemas geométricos a nivel de la OMI que antes eran inimaginables.
El profesor Luo Boshen cree que las poderosas capacidades matemáticas de la IA plantean nuevos desafíos a los métodos educativos. La estructura educativa existente debe cambiar rápidamente para adaptarse a las necesidades de la era de la IA. Enfatizó que todos deben aprender a resolver nuevos problemas que nunca antes se han visto, de lo contrario no podrán seguir el ritmo de la IA.
El desempeño de Google AI en la OMI no es solo un avance tecnológico, sino también una profunda revelación de la sabiduría humana. Con el avance continuo de la tecnología de inteligencia artificial, tenemos razones para creer que la investigación y la educación matemáticas en el futuro experimentarán cambios trascendentales. Esperemos ver cómo la IA seguirá creando milagros en el campo de las matemáticas.
El excelente desempeño de la IA de Google en la OMI indica que la IA tendrá perspectivas de aplicación más amplias en el campo de las matemáticas y también traerá nuevas ideas y desafíos a la educación matemática. Este no es solo un salto en la tecnología de inteligencia artificial, sino también un hito en la exploración humana de áreas desconocidas. En el futuro, la cooperación entre la IA y los humanos promoverá el vigoroso desarrollo de las matemáticas e incluso de más disciplinas.