Math has a proof checker. Can physics get one? Jonathan Gorard
@getjonwithit, an applied mathematician and the cofounder and CEO of Lanyon AI, joins to explain why AI took off in math and coding but not yet in physics. We discuss an AI finishing the formal check of a Fields Medal proof and why it scared him, why he thinks “I detected a particle” rests on 20 to 50 levels of theory, and what Alan Turing’s PhD student Robin Gandy tried to build for physics. The conversation also covers his push to make physics executable, why he thinks mysteries are artifacts of description languages, and whether there is still a place for the physicist.
youtu.be/oQypVVv1u1o