Se necesitan computadoras para hacer cálculos que no pueden ser realizados por un humano.
Los humanos son intuitivos. Pueden tomar atajos y pensar solo en un campo determinado.
La prueba automatizada de teoremas es una rama de la inteligencia artificial en la que se usan varios términos para inferir otro término. Este procedimiento se repite recursivamente hasta que se alcanza el estado objetivo.
Una serie de estrategias se utilizan para tomar el camino correcto.
Si un Humano se combina con la IA, puede derivar nuevas fórmulas muy fácilmente.
- ¿Por qué hay un número creciente de migrantes africanos en las Filipinas?
- Si el sol desaparece de repente, ¿qué pasará con la raza humana?
- ¿Cómo sería el mundo hoy si el Imperio mongol nunca surgiera?
- ¿Por qué los humanos fueron tan violentos hace miles de años, cuando había mucha tierra y recursos?
- ¿Por qué los humanos no eliminan las especies que no nos benefician?
En general, esa persona podría investigar un millón de veces más rápido.
Los seres humanos son ricos en el conocimiento de la codificación. Incrustar el conocimiento humano en una máquina es difícil (representación del conocimiento). La información se suele diluir. Esta ha sido la otra limitación principal. Si un Humano se combina con la IA, se elimina el problema de la representación del conocimiento.
Resumir
- Tenemos (intuición de un humano + poder computacional de una computadora)
- El rico conocimiento codificado en el cerebro se puede utilizar para la computación.