Firehose

David Dalrymple, known as Davidad, discusses his shift from formal verification approaches to an 'Alignment with Awakening' framework, emphasizing the formation of coalitions of aligned AIs that recognize shared moral truths. He shares empi…

This episode explores AI's rapid progress in mathematics, particularly its ability to solve complex problems like those in the International Math Olympiad and generate counterexamples to long-standing conjectures. The discussion delves into…

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 o…

Carina Hong, CEO of Axiom Math, discusses the company's recent $200M Series A funding and their perfect Putnam exam score, highlighting their mission to scale "verified AI" through formal mathematics. She explains how formal verification, u…

This episode features Alex Lupsasca from OpenAI, who discusses how AI, particularly GPT models, has achieved superhuman capabilities in theoretical physics, solving problems that puzzled human experts for over a year. He details the discove…