PERSON DIRECTORY
Steven Brunton
Steven Brunton appears in 1 indexed conversation across Lex Fridman Podcast. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
Lex FridmanAnkur MoitraSteven BruntonAlex Kontorovich
OpenAI’s roughly 700-problem release had an apparent 10% success rate among thousands of attempts; full Riemann and P versus NP remain unresolved.Anthropic’s roughly 13-million-line Lean formalization of Fermat’s Last Theorem demonstrates checkable proofs, but reusable Mathlib work remains unfinished.Navier–Stokes’ claimed blowup leaves engineering largely unchanged: practical flow prediction remains a “$1 trillion engineering problem.”