تسجيل الدخول

مشاهدة النسخة كاملة : Google desarrolla una IA capaz de resolver teoremas matem?ticos "al nivel de un medal


Reem
01-17-2024, 05:11 PM
La fina l?nea entre la inteligencia humana y la de los ordenadores se difumina cada vez m?s. Durante décadas se hab?a dicho que, pese a los avances tecnol?gicos, los humanos eran los ?nicos capaces de detentar herramientas de razonamiento l?gico complejo y de resolver problemas matem?ticos de alto nivel. Pero ahora, esta premisa podr?a cambiar. La empresa Deepmind, propiedad de Google (https://www.sport.es/es/temas/google-1836517), acaba de anunciar el desarrollo de un sistema de inteligencia artificial llamado AlphaGeometry, capaz de resolver c?lculos extremamente complejos hasta ahora solo al alcance de los humanos. Seg?n explican sus desarrolladores, en las pruebas realizadas hasta la fecha, esta herramienta ha logrado un éxito similar al de un medallista de oro promedio en una Olimpiada Internacional de Matem?ticas.

El programa, presentado este miércoles en un art?culo de la revista cient?fica 'Nature', ha sido desarrollado por un equipo de cient?ficos de Google encabezado por el experto en 'machine learning' Trieu Trinh. Se trata de un modelo de lenguaje neuronal que se entrena a s? mismo sintetizando millones de teoremas y demostraciones de diferentes niveles de complejidad. Paralelamente, también incorpora un motor de deducci?n simb?lica dise?ado para buscar el nexo entre las diferentes ramificaciones de los problemas materm?ticos. Sus creadores explican que gracias a todo esto "AlphaGeometry es capaz de aprender y resolver problemas complejos sin intervenci?n humana directa".

Rendimiento ol?mpico

Este sistema de inteligencia artificial (https://www.sport.es/es/temas/inteligencia-artificial-1837708) se ha puesto a prueba utilizando un total de 30 problemas de la Olimpiada Internacional de Matem?ticas, una competencia de demostraci?n de teoremas matem?ticos para estudiantes de secundaria con alto rendimiento. En experimentos anteriores solo se hab?an logrado resolver una decena de enigmas. Pero ahora, seg?n explican los creadores de esta herramienta, AlphaGeometry ha conseguido desentra?ar unos 25 teoremas complejos. Se trata de la misma cifra que suelen lograr los medallistas de oro de estas competiciones matem?ticas.

AlphaGeometry incluso ha descubierto una nueva soluci?n a un teorema matem?tico complejo







Los cient?ficos detr?s de esta herramienta explican que, hasta ahora, AlphaGeometry ha conseguido resolver problemas extremadamente complejos, producir resultados legibles para los humanos e incluso descubrir una nueva versi?n de un teorema que se present? en la Olimpiada Internacional de Matem?ticas de 2004. En estos momentos, la aplicaci?n solo se ha probado en la resoluci?n de problemas geométricos pero, en un futuro, los expertos esperan poder utilizarlo en otros dominios matem?ticos.



أكثر... (https://www.sport.es/es/noticias/sociedad/google-desarrolla-ia-capaz-resolver-97029152)