{"product_id":"the-proof-in-the-code-how-a-truth-machine-is-transforming-math-and-ai","title":"La preuve dans le code : comment une machine de vérité transforme les mathématiques et l'IA","description":"\u003cp\u003e« 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\u003cbr\u003e\n \u003cbr\u003e\n 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 ?\u003cbr\u003e\n \u003cbr\u003e\n 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.\u003cbr\u003e\n \u003cbr\u003e\n 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.\u003cbr\u003e\n \u003cbr\u003e\n 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 ?\u003c\/p\u003e","brand":"ANT","offers":[{"title":"Livre numérique","offer_id":54242060566896,"sku":"YSL2886","price":11.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1009\/8543\/8576\/files\/ebook_2886_8fd0519eb9_a72966d8-b317-45d7-9219-ec6edd8e1491.jpg?v=1789563350","url":"https:\/\/antbook.store\/fr-fr\/products\/the-proof-in-the-code-how-a-truth-machine-is-transforming-math-and-ai","provider":"ANTBOOK","version":"1.0","type":"link"}