
← Shift AI7 jul · 39 min
The Case for Deterministic AI with Logical Intelligence CSO Patrick Hillmann
<p>In this episode of Shift AI, Patrick Hillmann, Chief Strategy Officer at Logical Intelligence, joins host Boaz Ashkenazy for a conversation about why the next era of AI cannot be built on probability alone.</p><p><br></p><p>Patrick shares his unconventional path into AI, from crisis communications and cybersecurity work at Edelman and General Electric, to steering Binance through its most turbulent years and a major DOJ settlement. At Logical Intelligence, Patrick now works alongside Yann LeCun, a Fields Medalist, and engineers from Meta, Google, and Cruise to build deterministic, energy-based reasoning models.</p><p><br></p><p>Patrick explains why LLMs behave like a confident intern, fast and articulate, but wrong in ways you only catch if you already know the answer, and why critical systems like power grids, hospitals, and self-driving cars need a layer of certainty that probabilistic systems cannot provide. He and Boaz dig into Logical Intelligence's benchmark results, including a 98% score on the notoriously difficult Putnam math competition, and a public Sudoku test where their energy-based model, Kona, beat every major LLM combined while running on a fraction of the compute cost. </p><p><br></p><p>This episode is essential listening for CTOs, technical leaders, and anyone trying to understand what comes after the current generation of large language models.</p><p><br></p><p>Chapters</p><p>[00:00] Patrick's Improbable Path: From Grad School to the Front Lines of a Geopolitical Crisis</p><p>[02:43] From Binance to Chief Strategy Officer at Logical Intelligence</p><p>[02:54] The First Paid Job: Unloading UPS Trucks in 100 Degree Heat</p><p>[04:31] The UPS Lesson That Still Shapes How He Thinks About Work</p><p>[04:47] Why LLMs Are Confident Guessing Machines, Not Truth Machines</p><p>[07:14] The Team Behind Logical Intelligence: A Fields Medalist, Yann LeCun, and Math Olympiad Engineers</p><p>[08:55] Is Logical Intelligence Betting Against LLMs?</p><p>[10:32] The AI Sandwich: Where LLMs, Reasoning Layers, and World Models Fit</p><p>[12:36] The Putnam Benchmark and Why Formal Proofs Don't Get Partial Credit</p><p>[15:44] What Is an Energy-Based Model, Really?</p><p>[19:54] Eve Badia's 15-Year Path to the Energy-Based Reasoning Model</p><p>[22:04] Formal Verification and the Future of Secure Code Generation</p><p>[23:33] When Unverified Code Fails: The Molson Coors Ransomware Story</p><p>[25:39] Why AI Coding Tools Create Rat's Nests Engineers Can't Debug</p><p>[28:53] The Sudoku Test: 98% Accuracy for $4 vs $14,000 for the Leading LLMs</p><p>[31:13] ByteDance, China, and the Race for Formal Methods</p><p>[33:42] Two Words for the Future of AI: Chaotic Determinism</p><p>[37:12] Where to Follow Logical Intelligence and Founder Eve Badia</p><p><br></p><p>Connect with Patrick Hillmann</p><p>LinkedIn: https://www.linkedin.com/in/crisiscommunications</p><p><br></p><p>Connect with Boaz Ashkenazy</p><p>LinkedIn: https://www.linkedin.com/in/boazashkenazy/</p><p>Email: info@shiftai.fm</p>