Der Beweis im Code: Wie eine Wahrheitsmaschine Mathematik und KI transformiert

„Das interessanteste Buch über Mathematik, das ich je gelesen habe.“ – Kevin Roose, Technologiekolumnist der New York Times und Co-Moderator des Podcasts „Hard Fork“

„The Proof in the Code“ erzählt die Insider-Geschichte von Lean, einem Computerprogramm, das die uralte Frage beantwortet: Woher weiß man, ob etwas wahr ist?

Es begann als obskures Bug-Prüfprogramm bei Microsoft Research, das von einem einsamen Computeringenieur namens Leo de Moura entwickelt wurde. Dann erfuhren eine unwahrscheinliche Gruppe mathematischer Außenseiter davon und begannen, es mit messianischem Eifer zu übernehmen. Ihr Ziel war es, eine Wahrheitsmaschine zu schaffen, die die seltenste aller Güter im Leben liefern konnte: eine vollständige, hundertprozentige Garantie, dass etwas wahr ist. Ihr Name: Lean.

Als die Bewegung wuchs und die Fähigkeiten des Programms stärkte, zog es zwei der weltweit bekanntesten Mathematiker an: Peter Scholze und Terence Tao. Google DeepMind, Meta AI und andere Technologieunternehmen begannen, das Programm zu nutzen, um die Computerlogik zu verbessern. Jetzt gestaltet es die jahrtausendealte Geschichte der Arbeitsweise, Zusammenarbeit und Wahrheitsfindung von Mathematikern neu, während es einen neuen Weg im Vormarsch zur Maschinenintelligenz aufzeigt.

In „The Proof in the Code“ erzählt Kevin Hartnett die definitive Geschichte der Entstehung und des Aufstiegs von Lean und wie eine wachsende Bewegung das Unternehmen Mathematik verändert und eine neue Ära der Mensch-Computer-Zusammenarbeit einläutet. Diese brillante journalistische Arbeit von einem der weltweit führenden Mathematikautoren ist eine fesselnde, charaktergetriebene Erzählung voller Einblicke in die Zukunft von Mathematik, Computern und KI und bietet eine tiefgründige Antwort auf die Frage: Können Computer universelle Wahrheiten enthüllen?