Super Data Science: ML & AI Podcast with Jon Krohn cover image

980: AI Making Theoretical Physics Breakthroughs

Super Data Science: ML & AI Podcast with Jon Krohn

00:00

From Conjecture to Formal Proof

Jon explains how a stronger internal model, SuperChat, produced a formal proof after about 12 hours of autonomous reasoning.

Play episode from 04:34
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app