← 메인으로

수학의 미래: 증명, 협업, 그리고 신뢰의 진화

게시일: 2026년 1월 8일 | 원문 작성일: 2025년 12월 31일 | 원문 보기

수학자가 정리 검증 네트워크를 업데이트하는 16비트 픽셀 아트

• • •

슬라이드 1: 수학의 미래 - 증명, 협업, 그리고 신뢰의 진화슬라이드 2: THE PROBLEM: DRUDGERY - 만 줄짜리 증명 수정 1하루슬라이드 3: THE TURNING POINT - 2022년 IPAM 컨퍼런스슬라이드 4: LEAN - 세상에서 가장 중독적인 컴퓨터 게임슬라이드 5: 인지 능력의 세 단계 - 전-엄밀, 엄밀, 후-엄밀슬라이드 6: AHA MOMENT 01 - 증명 수정 3주에서 단 하루로슬라이드 7: AHA MOMENT 02 - 수학의 원자화슬라이드 8: FINDING THE NATURAL SHAPE - 보이지 않던 가정의 발견슬라이드 9: 협업의 진화 - Star에서 Network으로슬라이드 10: 수학자 역할의 확장슬라이드 11: 시민 수학자의 시대슬라이드 12: VISION - 살아있는 수학 지도슬라이드 13: THE OPPORTUNITY - 70% 반복 업무 제거슬라이드 14: THE FUNDAMENTAL SHIFT - 신뢰의 전환슬라이드 15: THE FUTURE IS VERIFIABLE - 수학의 모든 길을 탐험할 시간

관련 아티클: 수학의 미래: 테렌스 타오가 말하는 형식화, AI, 그리고 협업적 발견

원문: The Future of Mathematics: A Conversation with Terry Tao (2025년 12월 31일)

생성: NotebookLM (Google)

총괄: (디노이저denoiser)