¿Hay problemas que no pueden ser resueltos por computadora, pero los humanos sí?

Los humanos son muy buenos para encontrar soluciones rápidas y aproximadas.

Rápidamente: en el cobertizo de tu garaje o jardín, imagina un estante lleno de latas de pintura sostenidas por dos soportes de estante. De repente, uno de los soportes se derrumba en polvo. ¿Lo que pasa?

Un ser humano puede imaginar fácilmente que el estante se incline bajo el peso de las latas de pintura … imagina que las latas se deslizan del estante y golpean el suelo. Imagine que muchas de las tapas se desprenden y la pintura se derrama en charcos de diferentes colores. Remojar en el piso de concreto y ser difícil de limpiar. Podemos imaginar los sonidos que harán las latas que caen. Podríamos decir que todo el evento terminará en unos 10 segundos (quizás más o menos 5 segundos), pero que la pintura continuará fluyendo hacia afuera durante mucho más tiempo que eso. Podría preguntarle si la pintura cubriría el techo, y podría asegurarme que esto no sería probable.

Si te coloco y te pregunto qué color de pintura se puede encontrar a 2 pies de la pared y 8 pies a la derecha del soporte de estante restante, no podrías decírmelo.

Pregúntele a una computadora esa pregunta, entonces incluso si conoce todas las propiedades de todos los objetos involucrados, y todas las ecuaciones, sería un desafío tremendamente difícil decidir qué sucedería.

Su respuesta no es precisa: podría equivocarse fácilmente si la pintura no llegara al techo o si todo hubiera terminado entre 5 y 15 segundos. Pero el “panorama general” aparece en tu cabeza en una fracción de segundo … y de todas las formas importantes, es una respuesta útil y completa.

El área de estudio de la que hablas se llama teoría computacional. Un problema debe ser computable para que una computadora lo resuelva. Este es un campo de estudio teórico muy profundo que ha existido desde mucho antes de la primera computadora y se ha introducido más en el ámbito de la practicidad que de la teoría, ya que el avance en la tecnología de la computadora ha exigido su necesidad.

El más simple del fenómeno de los problemas básicos no computables fue descubierto por el teórico Alonzo Church y dice que determinar si una afirmación matemática es verdadera o falsa no es computable. Esto es algo que los matemáticos hacen a diario, y de hecho, para muchos esto es su “pan y mantequilla”.

Hombre, literalmente, cualquier nivel medio y hasta problema de lectura es imposible para las computadoras. No se deje atrapar por el bombo de ML, se ha logrado un gran progreso, pero eso no significa que hayamos resuelto la inteligencia.

En cuanto a los problemas simples, usted mismo respondió, los problemas de NP-difíciles son resueltos más fácilmente por los humanos (especialmente aproximadamente) debido a nuestra intuición de cómo debería ser la respuesta, pero esto no se puede replicar fácilmente en las computadoras (el artículo reciente “neural optimización combinatoria “es un paso en esta dirección, pero no es necesariamente novedoso ya que se ha hecho antes)

“¿Hay problemas que no pueden ser resueltos por computadora, pero los humanos sí?”

Si hablamos en general, no hay problema que una computadora pueda resolver. Es humano el que resuelve el problema y luego le enseña a la computadora a resolverlo de la misma manera que lo hizo el humano.

Estrictamente hablando, no, no hay problemas incontrolables que de alguna manera hayan demostrado ser resueltos por los humanos. Es difícil siquiera imaginar cómo se podría mostrar una cosa así. Si supiéramos cómo la mente humana estaba resolviendo el problema con suficiente detalle para demostrar que siempre fue correcto, entonces seguramente podríamos programar una computadora para resolverlo de la misma manera.

Negociar con el Congreso, consolar a los moribundos y escribir literatura digna de un Premio Nobel todo viene a la mente.

¡Tu pregunta en sí misma no tiene solución! Ninguna computadora en el universo puede decidir, sistemáticamente, qué problemas se pueden resolver y cuáles no. Nosotros, los humanos, tenemos que descubrirlo nosotros mismos.