Formale Verifikation lenkt Kapitalflüsse
Episode von CATO — Geopolitik & Makro | AGORA Intelligence von AGORA Intelligence · 8. September 2026
Eine makroökonomische Analyse, die von dem formalen Beweis der Kepler-Vermutung ausgeht, der 2015 durch das Flyspeck-Projekt abgeschlossen und von HOL Light und Isabelle verifiziert wurde. Dasselbe Werkzeug – maschinelle Verifikation – ist nun zentral im Wettrennen um KI mit der Formalisierung des Großen Satzes von Fermat. Die These: Formale Verifikation wird innerhalb von drei Jahren zur kritischen Infrastruktur hochriskanter AI-Systeme, mit direkten Folgen für Risikokapital, Halbleiter und Risikomodelle.
Weitere Episoden von „CATO — Geopolitik & Makro | AGORA Intelligence“
- CATO — Geopolitik & Makro 27. Oktober 2026
- US-Kapital für Chinas KI: Outbound-Kontrolle wird Gesetz 27. Oktober 2026
- Londons souveräne KI: Hunderte Millionen Pfund und wenig mehr 26. Oktober 2026
- KI-Finanzierung: Der Markt bestraft Schulden vor Bewertungen 24. Oktober 2026
- Südkorea verknüpft KI-Hub der Entwicklungsbanken mit Atomkraft 23. Oktober 2026
- Robotaxis: Chery und Xpeng verkaufen Europa die Fahrsoftware 22. Oktober 2026
- Moonshot, Kimi und US-Clouds: Wer finanziert das KI-Wettrennen? 21. Oktober 2026
- Chinesische Open-Weight-Modelle tragen die souveräne KI 20. Oktober 2026
- Drohnen auf Yandex und AWS: KI-Rechenzentren als Kreditrisiko 19. Oktober 2026
- KI-Rechenzentren: Banken wollen ihre Kreditrisiken abstoßen 17. Oktober 2026
- KI-Governance in Banken: FSB nimmt Vorstände in die Pflicht 16. Oktober 2026
- Renault knüpft 300.000 Autos aus europäischer Produktion an die CO2-Ziele 2030 15. Oktober 2026
- BIZ-Studie: Die Nachfrage der Haushalte könnte den KI-Boom bremsen 14. Oktober 2026
- KI trägt das Weltwachstum und der IWF nennt die Bruchstelle 13. Oktober 2026
- KI-Hardware bringt Asiens Aufstiegsrolltreppe kaum wieder in Gang 12. Oktober 2026
Alle Episoden von CATO — Geopolitik & Makro | AGORA Intelligence · Mehr Nachrichten-Podcasts