13 jun. 2024

AlphaGeometry, la IA de Google capaz de resolver difíciles problemas de geometría

Los sistemas de inteligencia artificial (IA) suelen tener dificultades con los planteamientos complejos de matemáticas por falta de razonamiento y datos de entrenamiento. Google presenta ahora un nuevo modelo capaz de resolver problemas de geometría al mismo nivel que los ganadores de unas olimpiadas matemáticas.

IA de Google.jpg

El código de AlphaGeometry es abierto.

El sistema de Google DeepMind se llama AlphaGeometry y su descripción se publica este miércoles en la revista Nature. Sus responsables aseguran que el nuevo modelo supone un “gran avance” en el rendimiento de la IA.

“Con AlphaGeometry demostramos la creciente capacidad de la IA para razonar lógicamente y descubrir y verificar nuevos conocimientos. Resolver problemas de geometría de nivel olímpico es un hito en el desarrollo de un razonamiento matemático profundo, en el camino hacia sistemas de IA más avanzados y generales”, resumen sus responsables.

El sistema es capaz de resolver complejos problemas de geometría a un nivel similar al de un medallista humano -de oro- en la Olimpiada Internacional de Matemáticas. En una prueba comparativa de 30 problemas de geometría de esta competición, AlphaGeometry resolvió 25 en el tiempo límite estándar establecido.

Según DeepMind, el sistema anterior más avanzado resolvió 10 de estos problemas de geometría y un humano medalla de oro medio resolvió 25,9 problemas.

Trieu Trinh y su equipo presentan en este artículo un método alternativo de demostración de teoremas que evita la necesidad de demostraciones humanas.

Su sistema utiliza un modelo de lenguaje neuronal que se entrena sintetizando millones de teoremas y demostraciones de distintos niveles de complejidad. Este enfoque, combinado con un motor de deducción simbólica (que puede buscar entre un gran número de puntos de ramificación en problemas difíciles), permite a AlphaGeometry aprender y resolver problemas complejos sin intervención humana directa.

Trieu Trinh y Thang Luong, los dos de DeepMind, recuerdan en una nota que la Olimpiada Internacional de Matemáticas no solo sirve de escaparate para jóvenes talentos, sino que se ha convertido en un campo de pruebas para sistemas avanzados de inteligencia artificial en matemáticas y razonamiento.

La geometría se basa en la comprensión del espacio, la distancia, la forma y las posiciones relativas; y el ser humano puede aprenderla con lápiz y papel, examinando diagramas y utilizando los conocimientos existentes para descubrir propiedades y relaciones geométricas nuevas y más sofisticadas.

“Nuestro método de generación de datos sintéticos emula este proceso de construcción de conocimiento a escala, permitiendo a AlphaGeometry entrenarse desde cero”, dicen los investigadores.

El sistema empezó generando 500 millones de diagramas aleatorios de objetos geométricos y dedujo exhaustivamente todas las relaciones entre los puntos y las líneas de cada diagrama.

Ese enorme conjunto de datos se filtró para excluir ejemplos similares, lo que dio como resultado un conjunto de datos de entrenamiento final de 100 millones de ejemplos únicos de dificultad variable.

El código de AlphaGeometry es abierto y los investigadores esperan que, junto con otras herramientas y enfoques en la generación de datos sintéticos y la formación, ayude a abrir nuevas posibilidades en las matemáticas, la ciencia y la IA.

Evan Chen, medallista de oro de las olimpiadas matemáticas y que evaluó para DeepMind una serie de teoremas, concluye que los resultados de AlphaGeometry “son impresionantes porque son verificables y limpios”.

Actualmente, AlphaGeometry se limita a formas específicas de geometría, pero los autores sugieren que el método puede aplicarse a otros campos matemáticos.

Fuente: EFE.

Más contenido de esta sección
El Senado argentino aprobó el Proyecto de Ley “Bases y Puntos de Partida para la Libertad de los Argentinos”, más conocida como Ley Bases, junto con un paquete fiscal, pero con algunas modificaciones. El documento volvió a Diputados.
La reforma del Estado del presidente argentino Javier Milei fue aprobada con modificaciones en la madrugada del jueves por el Senado, en una maratónica sesión que estuvo marcada por disturbios frente al Congreso, que dejaron una veintena de heridos y detenidos, además de autos incendiados.
El papa Francisco pidió “sostener a los más pobres” ante un mundo que prioriza la riqueza y los bienes materiales, en su mensaje para la VIII Jornada Mundial de los Pobres, que la Iglesia celebra el próximo 17 de noviembre.
La polémica se ha desatado en Italia después de una violenta trifulca este miércoles en el Parlamento, en la que diputados de los partidos ultraderechistas Liga y Hermanos de Italia agredieron a un parlamentario del Movimiento 5 Estrellas.
Los bombardeos israelíes del último día causaron al menos 30 nuevas víctimas mortales y más de 100 heridos en la Franja de Gaza, según los datos de este jueves del Ministerio de Sanidad, controlado por Hamás.
Desde el pasado 22 de marzo, Rusia ha lanzado seis ataques masivos contra la red energética ucraniana, que han destruido o dañado buena parte de las centrales eléctricas del país y obligado a muchos trabajadores del sector a arriesgar su vida casi a diario para proteger el equipamiento de los drones y los misiles rusos.