[수학 7대 난제가 뭐야?] 하나는 인간이 해결, 또 하나는 AI가 해결, 나머지는? (feat, 나비에-스토크스)

00:00 인류 최고의 천재들이 90년 동안 풀지 못한 밀레니엄 수학 난제를 AI가 단 88시간...
00:32 AI가 압도적인 연산 결과로 내놓은 복잡한 증명을 인간이 과연 제대로 이해할 수 있는...
00:55 이번 시간에 살펴볼 밀레니엄 문제들의 해결 현황과 개념, 그리고 AI 시대에 인간이 ...
02:06 2000년 파리 클레이수학연구소가 최초 해결자에게 100만 달러의 상금을 약속하며 선...
02:13 밀레니엄 문제 중 유일하게 해결된 푸앵카레 추측의 위상수학적 개념과 이를 해결한 러시...
03:15 수학계 최고 영예인 필즈상과 100만 달러의 거액 상금을 모두 거절하고 순수한 진리만...
04:09 무작위로 나타나는 소수들의 규칙성을 설명하기 위해 복소평면 위의 임계선을 제시한 수학...
04:37 리만 가설이 현대 인터넷 금융 거래 및 카드 결제 시스템을 보호하는 RSA 암호 체계...
05:16 2024년 5월 두 수학자 거스와 메이나드가 리만 가설 연구에서 84년 만에 이뤄낸 ...
05:30 슈퍼컴퓨터로 10조 개의 영점을 확인했음에도 단 하나의 반례도 허용하지 않는 수학적 ...
06:54 물과 공기 등 모든 유체의 흐름을 지배하며 이번 주 전 세계를 경악하게 만든 나비에-...
07:03 잔잔한 물컵의 유체 흐름이 수학적으로 매끄럽게 유지되는지, 혹은 폭발적인 특이점이 존...
07:16 OpenAI가 1만 개의 AI 에이전트와 88시간을 동원해 기계어로 작동하는 100쪽...
08:28 AI가 증명한 유체 모델이 원래 문제 조건인 '외력 없음'이 아닌 '외력 있음' 상태...
09:29 기계의 완벽한 증명 오류 검증 능력과 인간의 직관적 이해가 영원히 분리되어 가는 수학...
09:57 답을 확인하는 것과 직접 찾는 것의 난이도 차이를 묻는 문제이자 현대 컴퓨터 과학 및...
10:31 우주 만물을 이루는 미립자를 묶어두는 최소 질량 간격의 존재 이유를 수학적으로 엄밀하...
10:50 현대 기하학과 대수학의 융합 구조를 다루는 호지 추측과 고차 방정식의 해의 개수를 세...
11:09 해결된 푸앵카레 추측과 AI로 검증 중인 나비에-스토크스 방정식을 포함한 7대 밀레니...
11:48 우리는 알아야 하고 알게 될 것이라던 힐베르트의 낭만적 약속이 깨어지고 인간이 따라갈...
12:20 정답을 찾는 기계의 시대에 인간이 가져야 할 질문의 감각, 프레임 의심하기, 매일 나...