ENVÍA a la memoria de miles de páginas, lleno de suposiciones, conjeturas, símbolos y fórmulas. Él ha entendido y digerido. Y por último, se pone a prueba con más de tres mil teoremas, y nunca antes visto, riuscendone a probar casi la mitad. No es un estudiante de posgrado en matemáticas, pero una inteligencia artificial, sólo hay que configurar un equipo de científicos de Google con el objetivo, precisamente, de ser capaz de demostrar teoremas matemáticos de dificultad creciente. La Ia, por el momento, se ha aventurado sólo con problemas cuya solución ya se sabe, pero los autores del trabajo publicado en ArXiv, con la esperanza de que en el futuro también puede ser utilizado para trabajar en los teoremas que todavía no se ha demostrado. Aprender y repetir, Siguiendo el enfoque consolidado de aprendizaje de la máquina, el equipo de Google primero «entrenados» el algoritmo, haciendo de él el estudio de una base de datos de más de 10 mil y teoremas relacionados con las manifestaciones. Para cada demostración, y, en particular, el algoritmo se explica también en las «estrategias» que utilizan, y sus propiedades matemáticas explotados (por ejemplo, la propiedad conmutativa – el hecho de que al multiplicar a por b es igual a la multiplicación de b – o la llamada «regla de la cadena», una técnica que permite calcular la derivada de compuestos de funciones). Después de la enseñanza, los científicos han sometido el algoritmo 3225 teoremas, que ya Marsbahis sabemos que la demostración: la inteligencia artificial es capaz de demostrar bien 1253, y los autores de la obra están convencidos de que la enseñanza del sistema a otras estrategias»,» la tasa de éxito podría subir aún más. Paso-por-paso Para demostrar que cada teorema, la inteligencia artificial se ha dividido el razonamiento en una serie de pasos sucesivos, cada uno de los cuales fue resuelto con una sola estrategia: «En el momento, casi todos los pasos», explica el Christina Szegedy , uno de los autores, «son relativamente simples y no requieren de razonamiento complejo. Pero es un buen punto de partida: queremos llegar a darse cuenta de un sistema que se puede replicar la totalidad de las manifestaciones en las que han sido éxito de los seres humanos. Y, a continuación, nos gustaría ir aún más lejos».

LEER Hay un problema que es imposible, incluso para los Ai

en el momento En que, en particular, el algoritmo está especializada en los teoremas en el marco de álgebra lineal y cálculo complejo, pero en Google están convencidos de que con algunas mejoras será posible ampliar el potencial. «Todo lo que se puede expresar con el lenguaje de las matemáticas», comentó a la revista New Scientist Jeremy Avigad , un experto de la Carnegie Mellon University de Pennsylvania, «puede ser fácilmente realizado para comprender los algoritmos de este tipo. Lo importante es enseñarle ¿cuáles son las reglas y supuestos en la base de cada paso». Cuando tenemos éxito con una tasa de éxito bastante alto, que finalmente podría pedir al tratar De desarrollar estrategias para abordar completamente desde cero.

la profundización en El día se le puede encontrar en Rep: editoriales, análisis, entrevistas y reportajes.
La selección de los mejores artículos de la República para leer y escuchar.

Aprender más es uno de su elección

Apoyar el periodismo! Los suscriptores a la República dominicana © de Reproducción reservados Hoy en el Pib y de la deuda: la Ue está dispuesta a sting en Italia alarma Visco: «los Más vulnerables si se trata de una crisis», Y Salvini tomar el problema con los jueces Salvini le da una notificación de desalojo a la premier: «la cuenta ya no tiene mi confianza,» Di Maio ataca el aliado oponente Salvini para salvar el gobierno y el liderazgo

la República