¿Cuándo las computadoras superarán a los matemáticos humanos?

Esto es un poco engañoso …

Las computadoras no son técnicamente mejores que los humanos en el ajedrez (aunque supongo que eso suena difícil de creer), solo las ganaron en partidas de ajedrez cronometradas porque trabajan más rápido. El algoritmo programado en la computadora no es “superior” a la forma en que piensa el maestro de ajedrez; de hecho es muy inferior. La computadora solo tiene una ventaja porque puede almacenar una gran cantidad de información y puede procesar esta información mucho más rápido que un humano.

Además de eso, el concepto de una computadora que golpea a un humano en “matemáticas” implica que las matemáticas en sí mismas son un concurso. Si lo que realmente quieres saber es, cuánto tiempo pasará hasta que una computadora pueda vencer a un humano en un concurso de matemáticas, luego tome la primera calculadora de bolsillo inventada y vea si la calculadora humana más rápida puede vencerla en un concurso de multiplicación.

Supongo que mi punto básico aquí es que las computadoras no son realmente más inteligentes que los humanos en nada, aunque a veces pueda parecer así. Solo son más rápidos, y eso los hace parecer más inteligentes.

En un sentido estrecho ya lo hacen. Pueden manejar expresiones matemáticas de varios megabytes de tamaño. También pueden producir pruebas en algunas situaciones. Pero las intenciones siempre vienen de los humanos. Nosotros pagamos la factura de electricidad. Las computadoras que tienen libre albedrío y producen matemáticas interesantes, no están en mi bola de cristal. No es que nunca suceda, pero no está a la vuelta de la esquina.

El problema tiene que ver con la falta de comprensión de las computadoras, bueno … cualquier cosa. Las computadoras pueden vencer al maestro del mundo en el ajedrez, sin saber qué son los ajedrez. Lo mismo con el juego Go. Roger Penrose en su libro The Emperors New Mind, habla mucho sobre la falta de comprensión de las computadoras e incluso demuestra que la comprensión matemática no es computable y, por lo tanto, está más allá del alcance de las computadoras.

No todo el mundo acepta su prueba o comparte su punto de vista, pero el hecho de que las computadoras estén lejos de despertarse, le da un +.

La pregunta implica que las matemáticas son una competencia y que puede medir fácilmente el grado de eficiencia de alguien en este campo con el propósito de comparar. Creo que su pregunta real es: ¿Cuándo la inteligencia artificial pasará por alto la inteligencia humana?

Nadie lo sabe. Ray Kurzweil estima que sería alrededor de 2040/2050.

Ya lo han hecho. Los teoremas han sido probados computacionalmente donde los métodos analíticos fallaron. Creo que el teorema de coloración del mapa de cuatro colores es el caso más famoso, incluso el primero. Pero también parece que la investigación en esta rama se ha suspendido un poco … o al menos se ha bloqueado. Tal es el caso de los probadores de teoremas automáticos, aproximaciones de fuerza bruta y calculadoras simbólicas. No estoy seguro de que Mathematica o MATLAB sean lo que se esperaba de las calculadoras simbólicas.

Si los matemáticos han de llegar a una respuesta para el uso de otros humanos, lo hicieron así … hace décadas. Novedoso descubrimiento matemático todavía tenemos una especie de ventaja.