The First Thermodynamic AI Computing Chip - Thomas Ahle
thermodynamic computingchip design automationformal verificationVerilog simulationAI agentsopen source EDAcontinual learningprobabilistic machine learninghardware-software co-designauto formalizationsoftware complexityAI-generated codeBayesian inferencestochastic differential equationsMarkov chain Monte Carlodiffusion modelsneural network accelerationrecursive self-improvementAI safetyagentic coding
In this episode, Thomas Ahle discusses the development of thermodynamic computing chips and the challenges of chip design automation using AI agents. He explains how his team built an open-source Verilog simulator with AI collaboration to overcome expensive commercial tools, and explores the future of hardware-software co-design, formal verification, and continual learning in AI-driven chip design.