Lex Fridman 팟캐스트, AI가 나비에-스토크스·리만 가설 등 수학 난제에 도전하는 현황 논의

#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory

Lex Fridman 팟캐스트 #503은 MIT의 Ankur Moitra, UW의 Steven Brunton, Rutgers의 Alex Kontorovich 세 수학자를 초대해 AI가 나비에-스토크스, 준(quasi)리만 가설, 고유 게임 추측 등 수많은 난제를 풀어낸 수학계의 현 상황을 다룬다. 게스트들은 각각 이론 컴퓨터과학·복잡도 이론, 유체역학과 머신러닝, 수론과 Lean 기반 기계 검증 증명을 맡는다. 에피소드 개요에는 AI가 해결했다는 문제 목록이 소개되어 있지만, 각 문제별 해결 방법·수치·검증 결과는 설명 텍스트에 구체적으로 적혀 있지 않다. 대신 Lean이 기계 검증 증명에 쓰이는 도구로 언급되며, Brunton은 유체역학에서의 머신러닝 활용을, Moitra는 AI가 학습하는 수학적 원리를 다룬다고 명시되어 있다. 에피소드에는 AI가 수학을 '풀' 수 있는지, 새로운 수학을 만들 수 있는지, P vs NP 문제에 답할 수 있는지, LLM이 잘 작동하는 이유와 AI가 아직 풀지 못하는 문제, 그리고 페렐만에 대한 이야기가 목차로 포함되어 있다.