HÉCTOR PASTÉN, matemático. (Foto radio Biobío). |
Vi una entrevista suya en internet en la que habló sobre la inteligencia artificial (IA). Pastén aclaró dudas sobre esta herramienta, pero lo más importante, dio a conocer los avances en otro sistema computacional de apoyo que no es IA. Dijo: «El otro de estos apoyos está más en segundo plano por el momento, que la IA. Se trata de la llamada Verificación de Demostraciones Asistidas, que está en pañales, en pleno desarrollo. Este sistema computacional permite verificar si un artículo está correcto o no. Para usarlo se procede de la siguiente manera: Se alimenta el sitema computacional con los contenidos que están en los libros, en la literatura. Así el sistema "aprende" esa materia. Después a este programa se le entrega el artículo y la máquina recorre paso a paso el texto para ver si el artículo está correcto. Si presenta errores, me dice dónde está el error y en ocasiones incluso puede corregirlo. En cambio la IA no demuestra teoremas sólo permite detectar patrones e indica o sugiere por dónde debería continuar una investigación, nada más.»
No comments:
Post a Comment