Puerta de verificación
Comprobar una solución
La comprobación recorre reglas locales.
Inteligencias / complejidad
Algunas respuestas se comprueban de un vistazo. Encontrarlas puede costar un planeta.
P contra NP separa dos gestos: revisar una respuesta y encontrarla desde cero. La conjetura sigue abierta, pero su intuición marca una frontera para la IA.
Puerta de verificación
La comprobación recorre reglas locales.
Bosque de búsqueda
El árbol se ramifica antes de mostrar una respuesta.
Presupuesto físico
La inteligencia corre dentro de un mundo con energía, memoria y temperatura.
P contra NP habla de familias de problemas cuando crece su tamaño. Una instancia concreta puede rendirse ante una buena heurística. La pared aparece en el crecimiento general.
Una IA puede buscar mejor, reutilizar patrones y podar rutas malas. La conjetura pregunta si existe un atajo universal para toda búsqueda difícil.