-

-

• 00:00 - Emergency podcast intro & topic overview
• 00:13 - What Navier–Stokes is and why it matters
• 11:00 - How AI approached and produced the claimed proof ️
• 15:00 - Conversation about Turkish language and personal anecdotes ️
• 17:02 - Explanation of Lean and formal verification in mathematics
• 23:58 - Drama, credit, and controversy around AI-assisted proofs and institutions ️
• 30:03 - AI breakthrough and collaboration drama
• 34:37 - How training, data access, and privacy work
• 39:26 - Scope of the Millennium Prize result and incentives
• 45:03 - Revenue share & AI capabilities
• 45:52 - Can AI discover new physical laws?
• 51:17 - Chirality, the Standard Model & physics rigor
• 1:00:13 - Discussion of extra spatial dimension in de Sitter algebra
• 1:01:52 - Debate on AI doom, simulation hypothesis, and AI levels
• 1:04:55 - Upcoming guests, research, and personal announcements ️