The Thermodynamic AI Computing Chip - Thomas Ahle
About this episode
Thomas Ahle discusses the challenges and innovations in chip design and verification with a focus on Normal Computing's approach.
Thomas Ahle wants Normal Computing to be the Lovable for chip design: type your intent, and a swarm of agents carries it from design through optimisation, formalisation and verification to tape-out. To get there, his team at wrote their own open-source Verilog simulator, 580,000 lines in 43 days, because commercial EDA verifiers run about $10,000 per core and there are no decent open-source compilers to build on. That sets up the question Tim keeps pressing: if an agent can produce a chip design, a proof, or a working program, how do you actually know it is correct? Passing 70% of tests is not the same as being right, and a single fabricated bug can cost a company a fortune. They dig into ProgramBench (rebuild a program from its tests, roughly 0% success), the difference between structure and competence, and the "understanding debt" you take on when nobody reads the code. From there: auto-formalisation in Lean and the AlphaProof trick of training on prove-or-disprove; why there is no single true representation of a spec (Petri nets, TLA+, Erik Curiel's "math does not represent"); and thermodynamic computing, where Normal Computing's CN101 chip is built so that its physical noise…
More episodes of Machine Learning Street Talk (MLST)
- Why a Nation Can't Outsource Its Frontier AI - Alistair Pullen (Cosine AI)
- The Benchmark With No Instructions — ARC-AGI-3 (winning team!)
- He won a Nobel here for AlphaFold. Then he left. - John Jumper
Explore listener stats, chart rankings, contacts and more on the Machine Learning Street Talk (MLST) podcast page.