¿Deberían las máquinas reemplazar a los matemáticos? – Científico americano

Las matemáticas puras me fascinan, precisamente porque son tan inaccesibles. Lo imagino como un reino remoto, frío y peligroso, como Sentinel Vary de la Antártida. Las almas resistentes que escalan las alturas de las matemáticas parecen sobrehumanas.

Una vez le pregunté a André Weil, un legendario escalador de picos matemáticos, si le molestaba que pocas personas supieran de sus logros en teoría de números y geometría algebraica, y pocos todavía los entendieran. Parecía desconcertado por la pregunta. No, respondió, “eso lo hace más emocionante”. En su autobiografíaWeil cube que su trabajo lo transporta a «un estado de exaltación lúcida en el que un pensamiento sucede a otro como milagrosamente».

Tal vez porque idealizo a los matemáticos, me preocupa la concept de que las máquinas puedan reemplazarlos. Abordé esta posibilidad en “La muerte de la prueba”, publicado en octubre de 1993 Científico americano. En respuesta a la creciente complejidad de las matemáticas, informé, los matemáticos dependían cada vez más de las computadoras. Pregunté: «¿Los grandes matemáticos del próximo siglo estarán hechos de silicio?»

Los matemáticos todavía me están dando dolor por ese artículoaun cuando las tendencias que describí han continuado. A Anthony Bordg, matemático de la Universidad de Cambridge, le preocupa que su campo pueda enfrentar la «disaster de replicación» como la que azota a la investigación científica. Matemáticos, anota Bordg en El inteligente matemáticoa veces aceptan una prueba no porque la hayan comprobado paso a paso, sino porque confían en los métodos y en el autor de la prueba.

Dada la «dificultad creciente para verificar la corrección de los argumentos matemáticos», cube Bordg, la revisión por pares a la antigua puede que ya no sea suficiente. Destacados matemáticos han publicado «pruebas» tan novedosas y elaboradas que ni siquiera los especialistas en las matemáticas relevantes pueden verificarlas. Tome una prueba de 2012 en la que Shinichi Mochizuki afirma haber probado la conjetura ABC, un problema en la teoría de números. Durante la última década, los matemáticos han organizado conferencias para determinar si la demostración de Mochizuki es cierta, pero en vano. Unos lo aceptan, otros no..

Bordg sugiere que los «asistentes de prueba» computarizados ayudarán a validar las pruebas. Los investigadores de Microsoft ya han inventado un “proporcionar teoría interactiva” llamado Lean, que puede verificar pruebas e incluso proponer mejoras, al igual que los programas de procesamiento de textos verifican nuestra prosa en busca de errores y terminan las oraciones por nosotros. Lean está vinculado a una base de datos de resultados establecidos. El nuevo trabajo matemático debe traducirse laboriosamente a un lenguaje que Lean reconozca. Pero reforzados con inteligencia synthetic, programas como Lean eventualmente podrían «descubrir nuevas matemáticas y encontrar nuevas soluciones a viejos problemas», según el informe en cuanto revista.

Algunos matemáticos dan la bienvenida a la “digitalización” de las matemáticas, lo que facilitaría la verificación por computadora y haría que las matemáticas fueran más confiables. Otros, como Michael Harris, matemático de Columbia, son ambivalentes. Los avances en las matemáticas asistidas por computadora, cube Harris, plantean una pregunta profunda: ¿cuál es la objetivo de las matemáticas? Harris ve las matemáticas como “una actividad libre y creativa” que, como el arte, se persigue por sí mismo, por la pura alegría del descubrimiento y la percepción.

Harris no se opone a la mecanización de las matemáticas per se. En un artículo reciente en Vierta la cienciala edición francesa de Científico americano (ver su traducción parcial aquí), Harris señala que los matemáticos han utilizado dispositivos mecánicos, como el ábaco, durante milenios. Y los matemáticos, después de todo, inventaron la computadora.

Pero a Harris le preocupa que herramientas como Lean fomenten un “visión atrofiada«de las matemáticas como una mercancía o producto económico en lugar de»la forma de ser humano.” Después de todo, los patrocinadores de la investigación matemática como Google y la Agencia de Seguridad Nacional valoran las matemáticas principalmente por sus aplicaciones. Como cube Harrislas matemáticas son “indispensables para la ingeniería, la tecnología, el mantenimiento de registros y cualquier actividad que implique predecir el futuro”.

También valoramos la ciencia por sus aplicaciones. La escritura científica sentimental, incluida la mía, implica que el propósito de la ciencia es la comprensión de la naturaleza. En la period moderna, sin embargo, el objetivo principal de la ciencia es el poder. La ciencia nos ayuda a manipular la naturaleza para varios fines: alargar nuestra vida, enriquecernos y entretenernos, impulsar la economía, derrotar a nuestros enemigos. La física moderna, para la mayoría de nosotros, es ininteligible, pero ¿a quién le importa cuando la física nos da teléfonos inteligentes y bombas de hidrógeno?

Los físicos a menudo adoptan una mentalidad utilitaria, ejemplificada por el eslogan «Cállate y calcula!” Eso es lo que supuestamente les dicen los maestros a los estudiantes. desconcertado por la mecánica cuántica. El mensaje es que los estudiantes deben aplicar fórmulas cuánticas, por ejemplo, por construir computadoras cuánticas—sin preocuparse por su significado. Stephen Hawking y Martin Rees han predicho que la inteligencia synthetic desempeñará un papel cada vez mayor en la física. ¿No sería divertido si una IA cuántica encuentra el teoría unificada de la física buscada durante mucho tiempopero ni siquiera el brillante teórico de cuerdas Edward Witten lo entiende?

La mecanización del conocimiento trae a la mente la Experimento de la habitación china. En este famoso argumento filosófico, un hombre en una habitación recibe preguntas escritas en chino. Aunque el hombre no entiende chino, tiene un guide que le cube cómo responder a una cadena de caracteres chinos con otra cadena, lo que representa una respuesta adecuada a la pregunta. De esta manera, el hombre en la habitación imita comprensión del chino.

El filósofo John Searle pretendía que los experimentos de la habitación china fueran una crítica de la afirmación de que las máquinas pueden pensar. Searle compara las computadoras con el hombre en la habitación, procesando símbolos sin pensar sin saber lo que significan. Cuanto más matemáticos y científicos confían en las máquinas para hacer su trabajo, más se parecen al hombre de la sala china.

Cuando planteé el espectro de los matemáticos artificiales hace unos años, scott aaronsoncuyo trabajo abarca la informática, las matemáticas y la física, me reprendió. “Es concebible que algún día”, dijo Aaronson, “las computadoras reemplacen a los humanos en todos los aspectos de la investigación matemática, pero también es concebible que, para cuando puedan hacerlo, podrán reemplazar a los humanos en la música y el periodismo científico y ¡todo lo demas!» Espera, ¿periodismo científico? ¡Nunca!

Por cierto, la pregunta formulada por mi titular «¿Deberían las máquinas reemplazar a los matemáticos?» Podría decirse que no viene al caso, porque implica que los matemáticos tienen una opción. Una mejor pregunta es si las máquinas pueden reemplazar a los matemáticos. soy escéptico de algunos afirmaciones hechas para la inteligencia synthetic. Pero dadas las poderosas fuerzas detrás de la automatización, si las máquinas pueden reemplazarán a los matemáticos, probablemente lo harán, al igual que están reemplazando a los conductores, cajeros bancarios, agentes de viajes, cajeros y otros trabajadores. Los deseos de los matemáticos, como su deseo de buscar la verdad puramente por sí mismos, pueden ser discutibles.

En el futuro, las matemáticas podrían no parecerse a una cadena montañosa remota, sino a una fábrica en la que los robots ensamblan automóviles. Unos pocos técnicos humanos recorren la planta de producción, asegurándose de que los robots funcionen correctamente, pero los robots hacen todo el trabajo pesado. Mientras tanto, los señores humanos que son dueños de las fábricas, y posiblemente del futuro de las matemáticas,sigue haciéndote más rico y más poderoso.

Este es un artículo de opinión y análisis, y las opiniones expresadas por el autor o autores no son necesariamente las de Científico americano.