Dor Minzer
MIT theoretical computer scientist who co-proved the two-to-one games theorem
Dor Minzer (MIT theoretical computer scientist who co-proved the two-to-one games theorem) is discussed on podcasts in TMT.
Discussed in
#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity TheoryLex Fridman Podcast · Oct 26, 2026 · 3 h 43 min
Lex Fridman and mathematicians Alex Kontorovich, Ankur Moitra and Steven Brunton discuss AI's claimed proofs of quasi-Riemann, Navier-Stokes, unique games and what it means for mathematics.