Latest / Tech Unfiltered with Dr. Mike
AI Is Doing Real Math—Here's What That Changes
AI has produced formally checked advances on serious open problems in mathematics and theoretical computer science. Dr. Mike examines what OpenAI's Astra result does—and does not—prove about AI capability, human expertise, education, research credit, and access. Key takeaways: • OpenAI says Astra resolved or substantially advanced ten long-standing problems, with the resulting proofs formalized in Lean. • Independent mathematicians interviewed by The Verge broadly treated the work as mathematically significant, while noting major limits and unanswered questions. • A checkable proof is…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.