Google publicó resultados de inteligencia artificial que muestran que AlphaGeometry 2 de la compañía alcanzó el nivel de los estudiantes que ganaron medallas de oro en la Olimpiada Internacional de Matemáticas.
La Olimpiada Internacional de Matemáticas es una competencia anual para estudiantes talentosos - Foto: Nature.com
Desde enero de 2024, el equipo de Google DeepMind ha anunciado en Nature , la revista científica más prestigiosa, una herramienta de IA para resolver problemas de AlphaGeometry que ha asombrado al mundo. DeepMind ha demostrado el nivel de los estudiantes que ganaron medallas de plata en la Olimpiada Internacional de Matemáticas (OIM).
Participan científicos vietnamitas
El 5 de febrero de 2025, el equipo de IA de Google DeepMind anunció los resultados de su nuevo sistema, AlphaGeometry 2, que superó la puntuación media de los medallistas de oro de la OMI. Los resultados se describieron en una tabla previa al lanzamiento y también fueron publicados por Nature.
Una cosa especial es que los miembros de investigación de este grupo de Google DeepMind incluyen a tres científicos vietnamitas (THTrinh, Y.Wu, QVLe, H.He y T.Luong) en el artículo de 2024 y cuatro vietnamitas (Yuri Chervonyi, Trieu H.Trinh, Miroslav Olšák, Xiaomeng Yang, Hoang Nguyen, Marcelo Menegali, Junehyuk Jung, Vikas Verma, Quoc V.Le y Thang Luong) en el artículo de este año (2025).
"Creo que no pasará mucho tiempo antes de que las computadoras obtengan la máxima puntuación en la OMI", afirma Kevin Buzzard, matemático del Imperial College de Londres.
La resolución de problemas de geometría euclidiana es uno de los cuatro temas de los exámenes de matemáticas de la OMI. Los otros temas incluyen teoría de números, álgebra y combinatoria. Los problemas de geometría requieren habilidades especiales, ya que los candidatos deben presentar demostraciones rigurosas que involucran objetos geométricos en el plano.
El pasado mes de julio se lanzó al público AlphaGeometry 2 junto con un nuevo sistema, AlphaProof, desarrollado por DeepMind para resolver problemas que no forman parte de los problemas de geometría del conjunto de las Olimpiadas internacionales.
Creo que no pasará mucho tiempo antes de que las computadoras obtengan la puntuación máxima en la OMI.
Kevin Buzzard (matemático del Imperial College de Londres, Reino Unido)
El lenguaje de las matemáticas
El equipo de inteligencia artificial de Google entrenó el "modelo de lenguaje" de DeepMind para hablar un lenguaje matemático común, lo que le permite verificar automáticamente la corrección lógica de su salida y eliminar las afirmaciones erróneas o incoherentes que los chatbots de IA suelen hacer.
Para AlphaGeometry 2, el equipo implementó varias mejoras, como la integración de Gemini, el modelo de lenguaje grande de vanguardia de Google. También introdujo la capacidad de la IA para razonar moviendo objetos geométricos en un plano (por ejemplo, permitiéndole mover un punto a lo largo de una línea para cambiar la altura de un triángulo) y resolver ecuaciones lineales.
El sistema AlphaGeometry 2 puede resolver el 84% de todos los problemas de geometría planteados en las competiciones de matemáticas de la OMI durante los últimos 25 años, lo que equivale a una medalla de oro olímpica, en comparación con el 54% logrado por AlphaGeometry.
El año pasado, los equipos de IA de India y China también utilizaron otros métodos para lograr resultados de medalla de oro en geometría, pero en un conjunto más pequeño de problemas de geometría de la OMI.
Los autores del artículo de DeepMind escriben que las futuras mejoras de AlphaGeometry incluirán la resolución de problemas matemáticos que involucran desigualdades y ecuaciones no lineales, lo que significa que podrá resolver la gama completa de problemas geométricos.
Progreso rápido
El premio de 5 millones de dólares, llamado Premio de la Olimpiada de Matemáticas con IA, se otorga al primer sistema de IA que logre un desempeño de nivel de medalla de oro en toda una Olimpiada de Matemáticas, con el requisito de que esos sistemas sean de código abierto, algo que DeepMind aún no ha hecho.
Kevin Buzzard afirmó no estar sorprendido por el rápido progreso tanto de Google DeepMind como de los equipos indio y chino. Sin embargo, añadió que, si bien los problemas eran complejos, conceptualmente simples, y que había muchos desafíos que superar antes de que la IA pudiera abordar problemas a nivel de investigación matemática.
Esperando con ansias la próxima Olimpiada Internacional de Matemáticas
Los investigadores de IA esperan con entusiasmo la próxima Olimpiada Internacional de Matemáticas (OIM) que se celebrará en la Costa del Sol de Australia en julio. Una vez que los problemas de la competición se publiquen entre los concursantes, los sistemas de IA también podrían estar autorizados a resolverlos. (Los equipos de IA no pueden participar en la competición y, por lo tanto, no pueden optar a las medallas).
Estos problemas novedosos se consideran las pruebas más fiables para los sistemas de IA, porque son completamente nuevos o sus soluciones aún no han aparecido y, por lo tanto, se evitan en los datos de entrenamiento, lo que hace que los resultados de la solución de IA pierdan su integridad.
[anuncio_2]
Fuente: https://tuoitre.vn/ai-da-dat-trinh-do-huy-chuong-vang-olympic-toan-quoc-te-20250216075505787.htm
Kommentar (0)