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
