Sí. Si tuviera que apostar, apostaría a que de los problemas de MP restantes, se resolverían más con la ayuda de sistemas a prueba de computadora que sin ellos.
Las pruebas generadas por computadora no son un sueño, ya existen. Todavía son sustancialmente diferentes en estilo y comprensión de las pruebas humanas, pero esa brecha eventualmente se cerrará, e incluso antes de que lo hagamos, podemos ver una computadora que anuncia una prueba de un teorema matemático importante, dejándonos desenredar la prueba e interpretarla.
Creo que esto no es probable, creo que es inevitable. Cuánto tiempo llevaría, solo puedo adivinar; Llamémoslo 25 años. También podría ser 10 o 50. Pero no creo que sea mucho más que esto.
- ¿Qué técnicas de PNL se utilizan para mapear las diferentes variaciones de la misma pregunta a una respuesta?
- Si me importa cargar, en teoría, ¿mi 'yo' será transferido a un robot, o el robot será solo una copia exacta de mí?
- Cómo hacer que una tarjeta interactúe con una máquina
- ¿Podemos usar un algoritmo genético para desarrollar un modelo de la neocorteza y luego dejar que esto aprenda sobre su entorno y se vuelva inteligente?
- Cómo crear una demostración simple de redes neuronales
Creo que esto tendrá un gran impacto en la práctica de hacer matemáticas. Cómo comunicamos estas pruebas entre el hombre y la máquina y cómo avanzamos con pruebas que todavía no entendemos humanamente es una pregunta muy fascinante.