Alex Kontorovich
Person
A mathematician involved in blueprint writing for complex formalization projects, mentioned alongside Terence Tao for his role in organizing collaborative math efforts.
Mentioned in 2 videos
Save the 2 videos on Alex Kontorovich to your own pod.
Sign up free to keep building your knowledge base on Alex Kontorovich as more episodes are added.
Videos Mentioning Alex Kontorovich
AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
Lex Fridman
A mathematician and number theorist at Rutgers, discussing the Riemann Hypothesis, Lean, and automated proof verification.
Scaling Past Informal AI - Carina Hong, Axiom Math
Latent Space
A mathematician involved in blueprint writing for complex formalization projects, mentioned alongside Terence Tao for his role in organizing collaborative math efforts.