Google busca IA que pueda resolver problemas matemáticos de ‘nivel de medalla de oro’

La última línea entre la inteligencia humana y los oficiales se vuelve cada vez más difusa. A lo largo de décadas, se ha dicho que, gracias a los avances tecnológicos, los humanos tienen habilidades únicas para poseer herramientas complejas de razonamiento lógico y resolver problemas matemáticos de alto nivel. Pero ahora este bono se puede cambiar. La empresa Deepmind, propietaria de Google, anunció la desarrollo de un sistema de inteligencia artificial llame a AlphaGeometry, capaz de solucionador de cálculos extremadamente complejo ahora, solo escuchando a los humanos. Luego explica a tus desarrolladores, y en las pruebas realizadas hasta el final, quedó grabada esta herramienta. un éxito similar al de una medalla de oro en una Olimpiada Internacional de Matemáticas.

El programa, presentado estos días en un artículo de la revista científica “Nature”, fue desarrollado por un equipo científico de Google supervisado por el experto en “aprendizaje automático” Trieu Trinh. Se trataba de un modelo de lenguaje neuronal ¿Qué está pasando al mismo tiempo? sintetizar millones de teoremas y demostraciones de diferentes niveles de complejidad. Al mismo tiempo, también incorpora un motor de deducción simbólica diseñado para resolver el problema entre diferentes ramas de problemas matemáticos. Nuestros creadores explican que gracias a todo esto «AlphaGeometry Es capaz de aprender y resolver problemas complejos. sin intervención humana directa.

Representación olímpica

Noticias relacionadas

Este sistema de inteligencia artificial se puede probar utilizando un total de 30 problemas de la Olimpiada Internacional de Matemáticas, un teorema matemático que demuestra habilidades para estudiantes de secundaria con un alto rendimiento. En experimentos anteriores, sólo se han resuelto acertijos de una década. Pero ahora os explico los creadores de esta herramienta, AlphaGeometry te ofrece 25 temas complejos. Esta es la misma cifra que permite registrar a los medallistas de oro de estas competencias matemáticas.

AlphaGeometry también descubrió una nueva solución para un problema matemático complejo

Los científicos explican que hoy AlphaGeometry ha resuelto problemas extremadamente complejos, produciendo resultados legibles para los humanos y para todos. descubrir una nueva versión de un teorema que fue presentado en la Olimpiada Internacional de Matemáticas de 2004. En estos momentos, el Se probó una única aplicación para la resolución de problemas geométricos. pero, en el futuro, los expertos esperan poder utilizarlos en otros campos matemáticos.