A deep dive into Google's Gemini DeepThink and its Aletheia workflow, where AI generates proofs, then verifies them with a self-checking verifier—and even admits when it can’t solve something. We explore how this advisor-style model bridges math, physics, and CS to tackle open problems, overturn long-held conjectures with simple counterexamples, and accelerate scientific discovery. 

Note:  This podcast was AI-generated, and sometimes AI can make mistakes.  Please double-check any critical information.

Sponsored by Embersilk LLC