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
Fler avsnitt av Intellectually Curious
Visa alla avsnitt av Intellectually CuriousIntellectually Curious med Mike Breault finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.
