• Logo Biblioteca de la Universidad de Sevilla
  • Páginas

  • Categorías

  • RSS GME RSS

    • Se ha producido un error; es probable que la fuente esté fuera de servicio. Vuelve a intentarlo más tarde.
  • Archivo de MATBUS

  • Comentarios recientes

    Los Juegos Panameric… en Los Juegos Panamericanos, una…
    Manuel Mora Morales en La UNAM celebra este sábado 13…
    Manuel Mora Morales en Los Juegos Panamericanos, una…
  • Escribe tu dirección de correo electrónico para suscribirte a este blog, y recibir notificaciones de nuevos mensajes por correo.

    Únete a otros 113 seguidores

  • Anuncios

Google ha creado una Inteligencia Artificial matemática que ya ha logrado demostrar más de 1200 teoremas

Un grupo de investigación amparado por Google ha sido capaz de crear un programa de Inteligencia Artificial capaz de demostrar más de 1200 teoremas matemáticos.

El equipo de Google la entrenó recurriendo a un dataset que contenía más de 10.000 pruebas matemáticas redactadas por humanos, junto al razonamiento que respaldaba cada uno de los pasos.

La aplicación probó con éxito 1253 teoremas, descomponiendo cada uno en varios elementos más pequeños y basándose en los pasos ya aprendidos para razonarlos.

Christian Szegedy, uno de los investigadores de Google asignados a este proyecto, explica que el siguiente pasoconsistirá en mejorar la traducción automática para que a los matemáticos les resulte más fácil interactuar con este sistema.

Fuente:

https://www.xataka.com/inteligencia-artificial/google-ha-creado-ia-matematica-que-ha-logrado-demostrar-1200-teoremas

Anuncios
A %d blogueros les gusta esto: