• 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

    Melanicastillo en Sofía XT, una web para mejorar…
    Nahomi Lucero Azuara… en Nahomi Lucero Azuara, de Tamau…
    La Guía de Matemátic… en La Guía de Matemáticas cumple…
  • Escribe tu dirección de correo electrónico para suscribirte a este blog, y recibir notificaciones de nuevos mensajes por correo.

    Únete a otros 116 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

Smartick, elegida como una de las 15 mejores startups de 2016

Smartick, el método de aprendizaje online de matemáticas para niños, ha sido elegida como una de las 15 mejores startups mundiales de 2016 por el jurado de The Next Web, un evento que reúne en Nueva York a las empresas tecnológicas más innovadoras.

Emplea la tecnología más avanzada en el campo de la inteligencia artificial con algoritmos de machine learning (aprendizaje automático). Esto permite estudiar el comportamiento de los alumnos, crear un plan de estudios personalizado para cada uno y ajustar en tiempo real el contenido de los ejercicios.

Tiene muchos juegos de matemáticas y ha servido para demostrar que su método es distinto y original, desarrollado para poner a cada niño en el nivel exacto que necesita y adaptarse a ellos de forma individual. Gracias a él, casi todos los niños han mejorado su capacidad de cálculo, lógica y resolución de problemas.

Leer más:

http://www.elmundofinanciero.com/noticia/63211/empresas/smartick-elegida-como-una-de-las-15-mejores-startups-de-2016.html

Investigadores crean un sistema de inteligencia artificial que resuelve problemas de geometría

Investigadores del Instituto Allen para la Inteligencia Artificial y la Universidad de Washington (Seattle), han creado un sistema de inteligencia artificial llamado GeoS, que utiliza visión por computador, procesamiento del lenguaje natural y un programa de geometría para resolver preguntas de geometría del SAT, el equivalente de la selectividad en Estados Unidos.

Sus resultados han sido presentados en la Conferencia 2015 sobre métodos empíricos en Procesamiento del Lenguaje Natural, celebrada en Lisboa. El sistema transforma la pregunta y el diagrama en expresiones lógicas, que envía al programa de geometría y compara la respuesta de éste con las opciones de respuesta del test SAT.

GeoS puede ya solucionar las preguntas de geometría plana del SAT, y se pretende que resuelva el conjunto completo de preguntas de matemáticas en los próximos tres años.

Fuente:

http://www.larazon.es/sociedad/tecnologia/un-programa-resuelve-problemas-de-geometria-FP10864098#.Ttt1WUhj5N53fI0

A %d blogueros les gusta esto: