Andrew Granville sabe que la inteligencia artificial cambiará profundamente las matemáticas. El lenguaje de programación Lean ya desempeña un papel en la demostración de la teoría. Es por eso que el teórico de números de la Universidad de Montreal ha comenzado a hablar con filósofos sobre la naturaleza de la prueba matemática y cómo la disciplina de las matemáticas podría evolucionar en la era de la IA.
|
etiquetas: matemáticas , ordernadores , pruebas , ai , ia
Dicho esto, creo que la pareja humano-maquina sera como se innove por muchos años. Viene pasando en el ajedrez y ya hacen mas de 30 años que Deep Blue ganos sobre a los humanos
Pienso lo mismo. Para mí el problema llegará cuando la máquina escriba proposiciones que no podamos seguir, que podamos comprobar que son correctas pero, o bien no seamos capaces de seguir la secuencia deductiva que lleva a la máquina a hacer una afirmación, o no podamos seguir la demostración matemática (esto parece menos probable). Pero sobre todo cuando la máquina simplemente 'lo sepa' y no podamos saber por qué.
Existen lenguajes lógicos orientados exclusivamente a esto, por ejemplo: coq.inria.fr/
Estamos ante una herramienta.
De hecho, basándose en la fuerza bruta, en la teoría, es muy fácil generar pruebas de forma automática si tratas un cuerpo axiomático como un lenguaje regular. Sólo tienes que generar todas las combinaciones posibles para ir generando todos los teoremas posibles junto con sus pruebas. Otra cuestión es que la mayor parte de los resultados sean inútiles, y nunca se acaban...
Por ejemplo, empiezas con: "0 es un número natural", "todo número… » ver todo el comentario
Por eso hay que estar callados ... no vayamos a estar en el bosque oscuro.
es.wikipedia.org/wiki/Hipótesis_del_bosque_oscuro
Por ejemplo, si queremos enviar una señal inequívocamente artificial, podríamos emitir… » ver todo el comentario
A continuación (después de llegar a 1009 por ejemplo), explicas que vas a usar la numeración binaria: mandas un pulso seguido de 000001 pulsos (siendo 0 un lapso sin pulso que dure lo mismo que el pulso), mandas dos pulsos seguidos de 000010,... y así… » ver todo el comentario