¿Cómo pueden las ciencias cognitivas ayudar a construir máquinas lo suficientemente inteligentes como para realizar investigaciones en áreas avanzadas de física, matemáticas, ingeniería, etc. por su cuenta?

Demostración automatizada del teorema
y
Prueba asistida por ordenador
Son los más cercanos que conozco a las computadoras que realizan investigación. Hasta ahora, estos son asistentes muy poderosos que prueban o ayudan a probar teoremas matemáticos. Por ejemplo, el artículo de Wikipedia sobre pruebas asistidas por computadora enumera 9 teoremas que han sido probados con la ayuda de programas de computadora.

“La idea es utilizar un programa informático para realizar cálculos prolongados y proporcionar una prueba de que el resultado de estos cálculos implica el teorema dado. En 1976, el teorema de los cuatro colores fue el primer teorema principal que se verificó mediante un programa informático.
“También se han hecho intentos en el área de la investigación de inteligencia artificial para crear pruebas más pequeñas y explícitas de teoremas matemáticos de abajo hacia arriba utilizando técnicas de razonamiento de máquina como la búsqueda heurística. Dichos comprobadores de teoremas automatizados han demostrado varios resultados nuevos y han encontrado Nuevas pruebas para teoremas conocidos. Además, los asistentes de pruebas interactivas permiten a los matemáticos desarrollar pruebas legibles por los humanos que, sin embargo, se verifican formalmente para verificar su exactitud. Dado que estas pruebas son generalmente de reconocimiento humano (aunque con dificultad, como la prueba de la conjetura de Robbins … ”

Parece que sería posible un programa de shell que proporcionara las definiciones y los axiomas de un campo y luego generara hipótesis aleatorias para ser probadas por el programa de prueba. Incluso si el 99% de las hipótesis resultaran ser erróneas, la lista de hipótesis y conclusiones podría ser valiosa.