¿Las computadoras reemplazarán a los matemáticos en las próximas décadas?

Históricamente, la tecnología nunca ha reemplazado realmente el elemento humano. A veces reemplaza a los humanos en trabajos particulares, pero por el deseo interminable de las personas de mejorar las cosas, crea nuevos trabajos donde nunca existieron.

Por lo tanto, no creo que las computadoras reemplacen a los matemáticos. En unas pocas décadas, el papel de un matemático puede ser muy diferente de su papel actual debido a las computadoras, pero el impulso de mejorar constantemente hará que cualquier cosa que una computadora pueda lograr sea inadecuada a la vanguardia.

Creo que un escenario realista (realista pero especulativo) es uno en el que los asistentes de prueba automatizados se vuelven más fáciles de usar y las herramientas de software automatizan muchas tareas matemáticas que son difíciles hoy en día. Sin embargo, alguien tendrá que programar esas herramientas y, a partir de eso, un campo de matemáticas relativamente ignorado a partir de hoy se convertirá en el nuevo tema de investigación furioso del mañana, uno que hace que todas las demás matemáticas sean más fáciles de lograr.

El lenguaje de las matemáticas es enorme. Hay una cantidad ilimitada de matemáticas aún por desarrollar.

Aun así, se pueden escribir programas de computadora para eventualmente expulsarlo todo.

Tal programa, sin embargo, arrojaría lo malo con lo bueno, y hay mucho más malo que bueno. ¿Qué son las malas matemáticas? Cualquier cosa que no sea interesante, y el tipo poco interesante supera con mucho al tipo interesante.

Por ejemplo, escriba cualquier función complicada al azar. Deje que implique funciones trigonométricas, registros, exponentes, raíces, composición, etc. Es casi seguro que no es interesante. Aunque los integradores simbólicos podrían darle su integral, eso será aún menos interesante.

¿Qué determina lo que es interesante? En parte, es una cuestión de gusto personal, pero hay algunos temas comunes. Si las matemáticas se pueden aplicar a la ciencia u otras partes de las matemáticas, puede ser interesante. Si es una pregunta que la gente ha visto durante mucho tiempo, es interesante. Si es algo nuevo, pero cuando se lo muestras a los matemáticos y ellos lo consideran interesante, entonces lo es.

¿Puede un programa de computadora decir qué es matemática interesante? Esa es una pregunta para los expertos en Inteligencia Artificial. Si dejas que las décadas sigan llegando, entonces la respuesta podría ser sí.

No, en absoluto.

Quizás estás confundido con lo que hacen los matemáticos. Si crees que los matemáticos pasan sus días evaluando integrales, determinando derivadas, calculando sumas, productos o diferencias y resolviendo ecuaciones, estás equivocado. Esas son cosas que una computadora puede hacer, y nos alegra que las computadoras se hagan cargo de la parte tediosa de las matemáticas.

La parte hermosa de las matemáticas es el descubrimiento y las pruebas de nuevos teoremas al sintetizar juntos otros resultados establecidos. Hasta que una computadora pueda comenzar a hacer esto de manera efectiva, es seguro decir que los matemáticos no serán reemplazados por computadoras en el corto plazo.

Todos nosotros, cuando escuchamos oraciones, somos matemáticos analizando la gramática de lo que dicen los demás. Compré un nuevo teléfono LG, y puedo ver que cuando hablo en inglés, francés … siempre que esté conectado a su “cerebro” (nube), puede entender el 90% de lo que digo. Tengo un fuerte acento francés, pero el cerebro de la nube ya es superior al 90% de los británicos en lo que respecta a entender mi inglés aproximado.

Además, las computadoras ya son excelentes en heurística (ajedrez), pueden resolver ecuaciones formales … cualquier cosa que tenga alguna forma de algoritmos o lógica está, por definición, al alcance de la computadora. Peor aún, para la “intuición”, comprenda “explorar el pensamiento paralelo a través de las ramas”, las computadoras son superiores a los humanos. Cualquier relación con la descripción de la belleza de la naturaleza (formas, curvas …) también está al alcance de las computadoras. Lo que le queda al humano son “sus” necesidades: desarrolla las matemáticas sobre la base de lo que necesita describir. ¿Es posible explicar a las computadoras qué tipo de matemática es útil y cómo ordenar y entregar a los humanos las matemáticas que nos son útiles?

No lo creo.

De una manera muy meta-circular, mi razonamiento para esto depende de cuál podría ser la pregunta abierta más importante en matemáticas y ciencias de la computación.

¿P = NP?

No necesariamente entraré en demasiados detalles aquí porque está cubierto en muchos otros lugares, pero las implicaciones de P = NP son enormes. Efectivamente, cualquier problema al que una computadora pueda reconocer una respuesta correcta “rápidamente” pertenece al conjunto de problemas NP. Cualquier problema para el que una computadora pueda generar una solución muy rápidamente es un miembro del conjunto P.

Las pruebas de los teoremas matemáticos son la creación primaria de los matemáticos y estos problemas pertenecen al conjunto NP. Una vez que un matemático me ha dado una prueba de un teorema, puedo verificar fácilmente que es cierto, posiblemente con la ayuda de una computadora, en muy poco tiempo. Sin embargo, crear dicha prueba requiere una cantidad de creatividad que ha aludido a las computadoras.

Si P = NP, estas pruebas podrían generarse de forma automática, lo que probablemente dejaría a los matemáticos completamente fuera del negocio. Sin embargo, no creo que esto suceda porque la gran mayoría de las personas que han estudiado el tema creen que N no es igual a NP.

Las matemáticas tienen más que ver con la comprensión y las soluciones creativas que con seguir las reglas, mientras que las computadoras se tratan de seguir las reglas. Las computadoras también pueden aprender a pensar creativamente, pero no serán un reemplazo económicamente razonable en el corto plazo. Espero que la prueba asistida por computadora juegue un papel cada vez mayor, pero esos probadores no funcionan sin un matemático de carne y hueso.

Creo que esta pregunta se basa en una premisa falsa, a saber, que la matemática es un simple pensamiento mecánico, que deriva conclusiones de un conjunto de premisas de manera estrictamente lógica y mecánica mediante la aplicación de un conjunto de reglas fijas una y otra vez. En otras palabras, si reduciría las matemáticas a cálculos, entonces la respuesta podría ser sí.

Sin embargo, las matemáticas son mucho más que esto. Las matemáticas son un acto creativo, creado por humanos y el progreso en las matemáticas es realizado por humanos creativos que encuentran soluciones novedosas mediante un proceso de prueba y error. Este aspecto de las matemáticas sería muy difícil, si no imposible, de reemplazar con computadoras. No sé qué sucederá a muy largo plazo, pero no veo que la IA reemplace este tipo de inteligencia en los próximos 30 años.

La importancia de las computadoras en las matemáticas seguramente aumentará, pero no reemplazarán el factor humano.

No más de lo que ya tienen.
Originalmente, la palabra ‘computadora’ se refería a una persona, no a una máquina: ver Computadora humana. Este era un trabajo típico para estudiantes brillantes de ciencias: los profesores les darían una expresión demasiado tediosa para que ellos mismos lo hagan, y el trabajo de las computadoras sería, bueno, calcularlo.
Obviamente, estos trabajos ya no existen, así que no, las computadoras no reemplazarán a los matemáticos, pero las computadoras ya reemplazaron a las computadoras (humanas).

Contestaré sí, si cambias décadas a siglos en tu pregunta.

No. Reemplazaría contadores e ingenieros, pero no matemáticos, físicos y filósofos.