Creo que es poco probable, a menos que estemos contando IA súper inteligentes (es decir, el sistema se asemeja a un dios en términos de cuánto más inteligente es que un humano). Sin embargo, es probable que se puedan desarrollar sistemas que puedan generar pruebas cohesivas de alguna consulta altamente específica sin la necesidad de una súper inteligencia. Por ejemplo, un sistema en el que puede expresar el último teorema de Fermat en algún idioma y luego formular una de las preguntas del conjunto fijo que el sistema es capaz de responder. Es decir, “¿Es esta afirmación verdadera o falsa?”. Hay versiones mucho más simples de estos sistemas en este momento.
Esta es más una herramienta para ayudar a un matemático que un reemplazo. Un matemático puede darse instrucciones formulando las preguntas “correctas”. En mi opinión, desarrollar una heurística que pueda emular ese tipo de creatividad en un sistema digital podría hacer la transición a una IA súper inteligente, a menos que haya algunas perfectamente restricción definida sobre los tipos de preguntas que se le permite hacer. Para poder hacer eso, probablemente necesite especificar una cantidad infinita de restricciones. Es un poco complicado.