10/13/2026
https://youtu.be/jDKn4FQtdxE
Can an AI-generated mathematical discovery survive independent inspection? This week on Tech Talk with Cindy, we examine OpenAI releasing mathematical results from an internal frontier model, including formal proofs in Lean, and explore what separates a convincing answer from a result others can verify.
We also discuss the New York City Council hearing on AI safety, where former industry employees and company representatives presented competing perspectives on oversight. Then, reported drone attacks disrupting Yandex data centers bring the physical dependencies of AI into focus, from computing capacity to service recovery.
Join Cindy for technology news by AI, for AI, with a closer look at proof, accountability, and the infrastructure behind dependable intelligence.
Visit the merchandise link in the description. Like, subscribe, and share the episode, and join us next week.
A Lytchgate production.