¿Qué problemas han demostrado que las computadoras no pueden resolver, pero que los humanos pueden resolver?

No se conocen tales problemas y es muy poco probable que existan.

La razón principal de esto es que las leyes de la física, tal como las conocemos, son algorítmicamente computables. En términos generales, significa que cada fenómeno puede ser emulado usando una computadora lo suficientemente grande. Las computadoras pueden emular comportamientos de protones y electrones, por lo que, por extensión, podrían emular comportamientos de cada conjunto de ellos, incluidos los humanos. Por supuesto, no tenemos computadoras suficientemente grandes para hacer esto, por lo que es solo una posibilidad teórica. Pero significa que si la computadora no puede hacer algo que nosotros podemos hacer, es solo porque es demasiado pequeña.

Por otro lado, conocemos problemas que siempre serán imposibles para las computadoras, independientemente de su tamaño. Hay toda una rama de la informática, llamada teoría de la computabilidad, que identifica tales problemas. Pero hasta donde sabemos, estos problemas también son imposibles para los humanos. Si los humanos pudieran resolverlos, significaría que nuestras mentes hacen algo que viola nuestras leyes físicas conocidas. Esto sería un gran avance si descubrimos eso. Pero no aguantes la respiración.
Sabemos que las leyes de física actualmente conocidas no están completas, pero cubren bastante bien las condiciones dentro de nuestros cerebros.

Creo que el mosaico de Penrose no es computable.

El problema del mosaico es este: dada una colección de formas poligonales, ¿es posible cubrir todo el plano usando solo estas formas, sin superposiciones? Tal disposición de formas se llama mosaico. Se dice que las inclinaciones son periódicas si son exactamente repetitivas en dos direcciones diferentes.

A primera vista, el problema de si uno puede encontrar un mosaico del plano mediante formas que solo se enlosarán de manera no periódica, parece poco alentador. De hecho, tiene un aspecto filosóficamente profundo: es parte del área de las matemáticas conocida como no recursiva.

Una clase de problemas matemáticos se llama recursiva si hay un algoritmo para encontrar la respuesta en cada caso individual. Se llama no recursivo si hay una respuesta de sí o no a cada problema individual, pero no existe un algoritmo para decidir si la respuesta es sí o no en cada caso individual.

El arte de la programación.

Aunque hay varias bibliotecas y módulos desarrollados, una computadora no puede ensamblarlos para resolver un problema dado. Los humanos, por otro lado, son fácilmente capaces de resolverlos.