Hilo de Taelin (@VictorTaelin)

En un mundo post-IAG, la gente simplemente se acostumbrará a que las computadoras puedan resolver problemas cognitivos rápidamente y superarnos en cualquier dominio cognitivo, del mismo modo que ahora estamos acostumbrados a que multipliquen grandes números con rapidez o nos derroten en ajedrez y go. El software y las matemáticas dejarán de ser una rareza. "Por favor, creen un MMORPG como Zelda: Breath of the Wild pero con Pokémon. Déjenme volar por el mundo como un Charizard y bucear como un Gyarados. Denme un archivo ejecutable que pueda enviar a mis amigos y así todos estaremos conectados al mismo mundo." Pulsas un botón y, 3 minutos después, listo. Dudo que eso no funcione para 2027. "Por favor, creen una cadena de bloques exactamente igual a Bitcoin, pero que utilice firmas resistentes a la computación cuántica como Lamport, y que permita implementar contratos inteligentes en un lenguaje similar a Lean, y que los contratos solo se acepten si se verifica formalmente que son correctos con respecto a las siguientes especificaciones..." Pulsas un botón y listo, tienes una cadena a prueba de hackers. "En tres dimensiones espaciales y temporales, dado un campo de velocidad inicial, existe un campo de velocidad vectorial y un campo de presión escalar, ambos suaves y definidos globalmente, que resuelven las ecuaciones de Navier-Stokes." Pulsas un botón y listo, obtienes una solución. Las matemáticas son fundamentalmente fáciles, y esto derrumbará la visión del mundo de algunas personas. Actualmente, las matemáticas parecen misteriosamente difíciles, como lo fue el ajedrez en su momento, porque somos seres humanos que luchamos con ellas; solo unos pocos somos capaces de sumar fracciones, y mucho menos de trabajar en los límites, por lo que los problemas difíciles permanecen sin resolver durante mucho tiempo, y alabamos a nuestros genios. pero no lo es Cuando las computadoras lo hagan, eso ya no será un problema. Demostrar teoremas será tan sencillo como multiplicar números grandes. Los que se preguntan "¿Pero Gödel?" seguirán confundidos. Y las computadoras generarán demostraciones Lean increíblemente simples y concisas para problemas imposibles. Y los matemáticos gritarán que es solo un truco para engañar al verificador, que no son matemáticas de verdad si no las entendemos. Pero entonces le preguntaremos a la IA y esta amablemente nos revelará la naturaleza de una estructura matemática sorprendentemente ingeniosa, tan ajena a nuestra capacidad de comprensión. y la vida continuará La automatización se multiplicará por cien. Habrá abundancia de alimentos y bienes. Los precios de todo se desplomarán. aparte de las cosas que no se pueden copiar como el tiempo y la atención humanos que estará en su punto más alto. y los humanos seguirán jugando al ajedrez y los humanos seguirán escribiendo software y los humanos seguirán haciendo matemáticas y bailaremos, practicaremos deportes y amaremos como siempre lo hicimos por amor al arte El software y las matemáticas dejarán de ser escasos. Las computadoras serán solucionadores verdaderamente generales. y nos acostumbraremos más rápido de lo que crees. y la vida continuará