Fil de Taelin (@VictorTaelin)

Dans un monde post-IA générale, on s'habituera tout simplement au fait que les ordinateurs peuvent résoudre rapidement des problèmes cognitifs et nous surpasser dans tous les domaines cognitifs, tout comme on est habitué aujourd'hui à ce qu'ils multiplient rapidement de grands nombres ou nous battent à plate couture aux échecs et au go. Les logiciels et les mathématiques perdront toute notion de rareté. « S’il vous plaît, créez un MMORPG comme Zelda : Breath of the Wild, mais avec des Pokémon ! Laissez-moi parcourir le monde en incarnant un Dracaufeu et plonger dans l’eau comme un Léviator. Donnez-moi un fichier exécutable à partager avec mes amis pour que nous soyons tous connectés au même univers. » Vous appuyez sur un bouton et, 3 minutes plus tard, c'est terminé. Je doute que cela ne fonctionne pas d'ici 2027. "Veuillez créer une blockchain identique à Bitcoin, à ceci près qu'elle utilise des signatures résistantes à l'informatique quantique comme Lamport, et que l'on peut déployer des contrats intelligents dans un langage de type Lean. Les contrats ne sont acceptés que s'ils sont formellement vérifiés comme étant corrects par rapport aux spécifications suivantes..." Vous appuyez sur un bouton et voilà, vous avez une chaîne inviolable « En trois dimensions spatiales et temporelles, étant donné un champ de vitesse initial, il existe un champ de vitesse vectoriel et un champ de pression scalaire, tous deux réguliers et définis globalement, qui résolvent les équations de Navier-Stokes. » Vous appuyez sur un bouton, et voilà, vous obtenez une solution. Les mathématiques sont fondamentalement simples, et cela risque de bouleverser les convictions de certaines personnes. Actuellement, les maths semblent mystérieusement difficiles, comme l'étaient les échecs autrefois, car nous sommes des êtres qui peinent à les maîtriser. Seuls quelques-uns d'entre nous sont capables d'additionner des fractions, et encore moins de résoudre des problèmes complexes. C'est pourquoi les problèmes difficiles restent longtemps irrésolus, et nous encensons nos génies. mais ce n'est pas le cas Une fois que les ordinateurs s'en chargeront, ce ne sera plus un problème. Démontrer des théorèmes sera aussi simple que de multiplier de grands nombres. Ceux qui diront « Évidemment, mais Gödel ? » resteront perplexes. Et les ordinateurs trouveront des démonstrations Lean incroyablement simples et élégantes pour des problèmes d'une complexité inimaginable. Les mathématiciens crieront au scandale, affirmant qu'il ne s'agit que d'une astuce pour satisfaire le vérificateur, que ce ne sont pas de vraies mathématiques si nous ne les comprenons pas. Mais alors, nous interrogerons l'IA, et elle nous révélera avec bienveillance la nature d'une structure mathématique d'une ingéniosité surprenante, si étrangère à notre entendement. et la vie continuera L'automatisation sera multipliée par 100. La nourriture et les biens seront abondants. Le prix de tout va s'effondrer. hormis les choses qui ne peuvent pas être copiées comme le temps et l'attention humains qui atteindra un niveau record et les humains continueront à jouer aux échecs et les humains continueront à écrire des logiciels et les humains continueront à faire des mathématiques et nous danserons, ferons du sport et nous aimerons comme nous l'avons toujours fait par amour de ça Les logiciels et les mathématiques ne seront plus rares. Les ordinateurs seront de véritables solveurs généraux Et nous nous y habituerons plus vite que vous ne le pensez. et la vie continuera