Si el problema es solucionable (que puede no serlo: los teoremas de incompletitud de Gödel muestran que hay cosas que pueden ser ciertas que no son demostrables), entonces, con el estado actual de la tecnología, es mucho más probable que lo realice un humano que un humano. AI. Esto se debe a que el sistema de prueba de computadora todavía tiene mucho camino por recorrer: un experto predice que, por ejemplo, pasarán 50 años antes de que una computadora pueda verificar la prueba de Wile, y mucho menos probar, el último teorema de Fermat (ver: Verificación de la prueba de Wiles por computadora del último teorema de Fermat).
Sin embargo, es mucho más probable que cualquiera de ellos sea una prueba asistida por computadora de P vs NP. Lo que muchas personas no se dan cuenta es que cada vez más computadoras se utilizan como herramientas para ayudar a probar lemas o verificar pruebas particulares. Por ejemplo, la primera prueba del teorema de los cuatro colores fue realizada por computadora. Cada vez más, los sistemas de prueba basados en computadora utilizan técnicas de IA.
- ¿Por qué las redes neuronales son tan poderosas y versátiles para resolver problemas dado que las matemáticas detrás de las redes neuronales son decepcionantemente simples?
- ¿Cuál era el objetivo de las Apple 1 y 2 cuando estaban siendo diseñadas?
- ¿Qué se puede hacer en una computadora sin conexión a Internet?
- ¿Recomiendas estudiar el enfoque bayesiano hacia el aprendizaje automático?
- ¿Hay alguna forma metódica (algoritmo) de crear un autómata que acepte un idioma dado, dado el idioma como un conjunto ({w | condición (w)})?