Podcasts · CATO — Geopolitics & Macro | AGORA Intelligence
Formal Verification Moves Capital
Episode Formal Verification Moves Capital
A macro analysis starting from the formal proof of the Kepler conjecture, completed in 2015 by the Flyspeck project and verified by HOL Light and Isabelle. The same tool, machine-executed verification, now stands at the center of the AI race through formalization of Fermat's Last Theorem. The thesis: formal verification will become critical infrastructure for high-risk AI systems within three years, with direct consequences for venture capital, semiconductors, and risk models.
Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.