AI is Proving Things No One Understands*
Hank Green · 61:42 · Watch on YouTube
OpenAI's October 6, 2026 dump of 700+ AI-generated math preprints reportedly solved 100+ open problems, but the value isn't the solved answers — it's whether humans can extract new tools and understanding from proofs...