Thread de Taelin (@VictorTaelin)

Num mundo pós-Inteligência Artificial Geral (IAG), as pessoas simplesmente se acostumarão com o fato de que os computadores podem resolver problemas cognitivos rapidamente e nos superar em qualquer domínio cognitivo, assim como já estamos acostumados com computadores multiplicando números grandes rapidamente ou nos derrotando no xadrez e no go. Software e matemática perderão toda a sua escassez. "Por favor, criem um MMORPG parecido com Zelda: Breath of the Wild, mas com Pokémon. Deixem-me voar pelo mundo como um Charizard e mergulhar na água como um Gyarados. Me deem um executável que eu possa enviar para meus amigos e assim todos estaremos conectados ao mesmo mundo." Você aperta um botão e, 3 minutos depois, está pronto. Duvido que isso não funcione até 2027. "Por favor, criem um blockchain exatamente como o Bitcoin, exceto que ele utilize assinaturas resistentes à computação quântica, como as de Lamport, e que permita a implementação de contratos inteligentes em uma linguagem semelhante à Lean, e que os contratos só sejam aceitos se forem formalmente verificados como corretos em relação às seguintes especificações..." Você aperta um botão e pronto, você tem uma corrente à prova de hackers. "Em três dimensões espaciais e temporais, dado um campo de velocidade inicial, existe um vetor velocidade e um campo de pressão escalar, ambos suaves e globalmente definidos, que resolvem as equações de Navier-Stokes." Você aperta um botão e pronto, você tem uma solução. A matemática é fundamentalmente fácil, e isso vai abalar a visão de mundo de algumas pessoas. Atualmente, a matemática parece misticamente difícil, como o xadrez já foi, porque somos animais que lutam com ela; apenas alguns de nós são capazes de somar frações, quanto mais trabalhar na borda, então problemas difíceis permanecem sem solução por muito tempo, e nós glorificamos nossos gênios. mas não é Quando os computadores fizerem isso, isso não será mais um problema. Demonstrar teoremas será tão trivial quanto multiplicar números grandes. As pessoas que dizem "ah, claro, mas e o Gödel?" ainda ficarão confusas. E os computadores criarão demonstrações Lean incrivelmente simples e claras para problemas impossivelmente difíceis. E os matemáticos gritarão que é apenas um truque para satisfazer o verificador, que não é matemática de verdade se não conseguirmos entendê-la. Mas então perguntaremos à IA e ela gentilmente revelará a natureza de uma estrutura matemática surpreendentemente inteligente, tão estranha para nossos cérebros conceberem. E a vida continuará. A automação aumentará 100 vezes. Haverá abundância de alimentos e bens. O preço de tudo vai despencar. exceto coisas que não podem ser copiadas. como o tempo e a atenção humanos que estará em seu ponto mais alto de todos os tempos e os humanos continuarão jogando xadrez. e os humanos continuarão a escrever software. E os humanos ainda farão matemática. E vamos dançar, praticar esportes e amar. como sempre fazíamos por puro prazer Software e matemática deixarão de ser escassos. Os computadores serão solucionadores verdadeiramente gerais. E nos acostumaremos com isso mais rápido do que você imagina. E a vida continuará.