La preuve dans le code : comment une machine de vérité transforme les mathématiques et l'IA
ANT
- Des schémas en couleur et des exemples concrets tout au long du texte.
- Écrit pour les lecteurs novices en la matière.
- Des séries de problèmes par chapitre avec des solutions complètes.
- Connectez ce bloc à un méta-champ de produit pour le faire varier par titre.
Livraison gratuite pour les éditions imprimées.
Découvrez une autre lecture captivante à ajouter à votre bibliothèque numérique.
Description
« Le livre le plus intéressant que j'aie jamais lu sur les mathématiques. » ―Kevin Roose, chroniqueur technologique au New York Times et co-animateur du podcast Hard Fork
La preuve dans le code raconte l'histoire interne de Lean, un programme informatique qui répond à la question séculaire : comment savoir si quelque chose est vrai ?
Tout a commencé comme un programme obscur de vérification de bogues chez Microsoft Research, développé par un ingénieur informatique solitaire nommé Leo de Moura. Puis, une équipe improbable de marginaux mathématiques en a eu vent et a commencé à l'adopter avec un zèle messianique. Leur objectif était de créer une machine à vérité qui pourrait fournir la plus rare de toutes les denrées dans la vie : une garantie complète, à 100 %, que quelque chose est vrai. Son nom : Lean.
Au fur et à mesure que le mouvement grandissait et renforçait les capacités du programme, il a attiré deux des mathématiciens les plus éminents du monde : Peter Scholze et Terence Tao. Google DeepMind, Meta AI et d'autres entreprises technologiques ont commencé à utiliser le programme pour surcharger le raisonnement informatique. Il est en train de refaire l'histoire millénaire de la façon dont les mathématiciens travaillent, collaborent et évaluent la vérité, tout en traçant une nouvelle voie dans la marche vers l'intelligence artificielle.
Dans The Proof in the Code , Kevin Hartnett raconte l'histoire définitive de la naissance et de l'essor de Lean, et comment un mouvement croissant transforme l'entreprise mathématique et inaugure une nouvelle ère de collaboration homme-ordinateur. Un récit captivant, axé sur les personnages et rempli d'insights sur l'avenir des mathématiques, des ordinateurs et de l'IA, cette brillante œuvre de journalisme de l'un des plus grands écrivains scientifiques du monde offre une réponse profonde à la question : les ordinateurs peuvent-ils révéler des vérités universelles ?
Spécifications
Foire aux questions
Dois-je créer un compte pour télécharger ?
Non. Après l'achat, vous pouvez accéder à votre ebook directement depuis la confirmation de commande ou la page de téléchargement.
Que faire si un exemplaire arrive endommagé ?
Contactez-nous et nous vous aiderons à accéder au fichier ou vous fournirons un nouveau téléchargement si nécessaire.