Can physics get a proof checker? Lanyon AI CEO on why AI hasn't cracked physics yet
TOEwithCurt · x · 2026-10-05
Applied mathematician and Lanyon AI cofounder Jonathan Gorard joins the TOE podcast to explain why AI took off in math and coding but not physics:
- Math has proof checkers; "I detected a particle" rests on 20–50 levels of theory
- Why an AI formally completing the check of a Fields Medal proof scared him
- Alan Turing's PhD student Robin Gandy once tried to build such a tool for physics
- His push to make physics executable, and his claim that mysteries are artifacts of description languages
- Whether there's still a place for the physicist
Related event: Lanyon AI Co-founder on Why AI Hasn't Conquered Physics Yet(2 posts)→
More from AGI Musings
- Perspective warns AI can breed illusions of understanding and scientific monocultures — MichaelRetchin · 2026-10-05
- Kai-Fu Lee: After 100+ CEO interviews, the biggest AI transformation mistake is treating AI as another tech cycle — kaifulee · 2026-10-05
- Blogger calls out Anthropic's contradiction: tool or $2T-enslaved sentient being? — alexeyguzey · 2026-10-05
- DearCai CEO on 60 Minutes: AI labor shift will be the most consequential of our lifetimes — clarashih · 2026-10-05
- OpenAI DevDay's overlooked big idea: agents that take full responsibility like employees — jxnlco · 2026-10-05
- Musk calls humanity a "biological bootloader"; reply goes viral: I don't want to be one — davidmanheim · 2026-10-05