Dwarkesh Podcast
Grant Sanderson (3Blue1Brown) — AI disproved a famous math conjecture. Now what? 그랜트 샌더슨(3Blue1Brown) — AI가 유명한 수학 추측을 반증했다, 이제 어떻게 되나?
3Blue1Brown's Grant Sanderson and Dwarkesh Patel ask what comes after AI disproved the unit distance conjecture — whether machines can learn the century-long instinct that produced Galois theory, why "grindability" and not just verifiability explains math's fast progress, and what is left for mathematicians when proving, explaining, and eventually conjecturing are all automated. AI가 단위 거리 추측을 반증한 다음은 무엇인가 — 3Blue1Brown의 그랜트 샌더슨과 드워케시 파텔이 갈루아 이론을 낳은 100년짜리 직관을 기계가 배울 수 있는지, 수학의 빠른 진전을 설명하는 것이 검증 가능성이 아니라 '갈아 넣을 수 있음'인 이유, 그리고 증명과 설명과 추측까지 자동화된 뒤 수학자에게 남는 일을 이야기한다.
Video © Dwarkesh Patel — plays via YouTube embed, never re-hosted. Subtitles: machine-assisted (ASR captions → glossary-driven LLM translation); errors possible, corrections welcome. Watch on YouTube 영상 © Dwarkesh Patel — YouTube 임베드로 재생되며 재업로드하지 않습니다. 자막은 자동 캡션을 용어집 기반 LLM 파이프라인으로 번역해 오류가 있을 수 있습니다 — 제보 환영합니다. YouTube에서 보기