Lo más probable es que no antes de que los humanos lo resuelvan.
Es similar hacer la siguiente pregunta:
“¿Cuándo podrán los programas de computadora probar los teoremas de la informática que los humanos no pueden probar?”
- ¿Qué aumenta más tu capacidad lógica y de razonamiento, física, matemática o programación de computadoras?
- ¿El concepto de implicación en matemáticas y ciencias de la computación preocupa a todos, o solo soy yo?
- Si una solución correcta a la Hipótesis de Riemann, P = NP, o la Teoría de campo unificada se presentara de forma anónima, ¿cuántas personas podrían ser consideradas sospechosas?
- ¿Es el operador de módulo (%) adecuado para el muestreo?
- ¿Qué es una explicación intuitiva del teorema de Rice?
Los programas de computadora son realmente buenos en cálculos complejos (romper el cifrado, aprender de una gran cantidad de ejemplos), mucho mejor y más rápido que los humanos. Sin embargo, todavía carecen de la creatividad y las “habilidades teóricas de matemáticas” necesarias para demostrar teoremas realmente difíciles.
Los investigadores aún no han encontrado una rutina determinista que pruebe cada oración que recibe (o de lo contrario demuestra que no es comprobable) en base a su conocimiento previo.
El tipo de prueba que desea (P == NP) requiere demasiados bloques de construcción (axiomas, teoremas, oraciones, etc.), conocimiento previo (teoría de grupo, complejidad, matemática discreta, etc.), métodos (prueba negativa, Inducción) y quizás algunos ejemplos específicos (problemas NP-completos como 3-SAT) que es bastante difícil de hacer que la computadora “entienda” (aunque es posible).
Para resumir,
las computadoras no se harán cargo del trabajo de los profesores de CS pronto 🙂