Mente profundael laboratorio de inteligencia artificial con sede en el Reino Unido, propiedad de la empresa matriz de Google, Alphabet, ha desarrollado un sistema de inteligencia artificial llamado AlphaGeometry que puede resolver problemas geométricos complejos cercanos a los medallistas de oro humanos de las Olimpiadas.
en un nuevo papel En Nature, DeepMind reveló que AlphaGeometry pudo resolver 25 de 30 problemas de geometría de referencia del pasado. Olimpiada Internacional de Matemáticas (OMI) competiciones dentro de los límites de tiempo estándar. Esto casi iguala la puntuación promedio de 26 problemas resueltos por medallistas de oro humanos en las mismas pruebas.
El sistema de IA combina un modelo de lenguaje neuronal con un motor de deducción sujeto a reglas, lo que proporciona una sinergia que permite al sistema encontrar soluciones a teoremas de geometría complejos.
AlphaGeometry adoptó un enfoque revolucionario para la generación de datos sintéticos al crear mil millones de diagramas aleatorios de objetos geométricos y derivar relaciones entre puntos y líneas en cada diagrama. Este proceso, denominado “deducción y rastreo simbólicos”, dio como resultado un conjunto de datos de entrenamiento final de 100 millones de ejemplos únicos, lo que proporciona una rica fuente para entrenar el sistema de IA.
Según DeepMind, AlphaGeometry representa un gran avance en el razonamiento matemático de la IA, acercándola al nivel de los matemáticos humanos. El desarrollo de estas habilidades se considera esencial para avanzar en la inteligencia artificial general.
Evan Chen, entrenador de matemáticas y ex medallista de oro olímpico, evaluó una muestra de las soluciones de AlphaGeometry. Dijo que su resultado no solo era correcto, sino también pruebas limpias y legibles por humanos utilizando técnicas de geometría estándar, a diferencia de las desordenadas soluciones numéricas que a menudo se producen cuando los sistemas de inteligencia artificial resuelven problemas matemáticos de fuerza bruta.
Si bien AlphaGeometry hasta ahora solo maneja las partes de geometría de las pruebas de la Olimpiada, sus habilidades por sí solas habrían sido suficientes para ganar una medalla de bronce en algunos exámenes anteriores. DeepMind espera seguir mejorando sus habilidades de razonamiento matemático hasta el punto de poder aprobar toda la Olimpiada de múltiples materias.
Avanzar en la comprensión de las matemáticas y la lógica por parte de la IA es un objetivo clave para DeepMind y Google. Los investigadores creen que dominar los problemas de las Olimpiadas los acerca un paso más hacia una inteligencia artificial más generalizada que puede descubrir automáticamente nuevos conocimientos.
(Foto por Dustin Humes en desempaquetar)
Ver también: Stability AI lanza Stable Code 3B para mejorar la asistencia de codificación
¿Quiere aprender más sobre IA y big data de la mano de los líderes de la industria? Verificar Exposición de IA y Big Data que tendrá lugar en Ámsterdam, California y Londres. El evento integral comparte ubicación con Semana de la Transformación Digital y Exposición de seguridad cibernética y nube.
Explore otros próximos eventos y seminarios web de tecnología empresarial impulsados por TechForge aquí.
Fuente: DeepMind AlphaGeometry resuelve problemas de geometría complejos