podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. CATO — Geopolitik & Makro | AGORA Intelligence Podcast
  4. Formale Verifikation lenkt Kapitalflüsse
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

CATO — Geopolitik & Makro

CATO — Geopolitik & Makro

23 Sekunden
vor 1 Tag
Robotaxis: Chery und Xpeng verkaufen Europa die Fahrsoftware

Robotaxis: Chery und Xpeng verkaufen Europa die Fahrsoftware

8 Minuten
vor 1 Tag
Moonshot, Kimi und US-Clouds: Wer finanziert das KI-Wettrennen?

Moonshot, Kimi und US-Clouds: Wer finanziert das KI-Wettrennen?

7 Minuten
vor 2 Tagen
Chinesische Open-Weight-Modelle tragen die souveräne KI

Chinesische Open-Weight-Modelle tragen die souveräne KI

7 Minuten
vor 3 Tagen
Drohnen auf Yandex und AWS: KI-Rechenzentren als Kreditrisiko

Drohnen auf Yandex und AWS: KI-Rechenzentren als Kreditrisiko

9 Minuten
vor 4 Tagen
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Formale Verifikation lenkt Kapitalflüsse“

Worum geht es? Danach fragen wir noch nach dem Grund.

Abonnenten

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz