안될과학 Unrealscience · 15시간 전
컴퓨터는 정말 모든 경우를 다 계산해야 할까?오픈AI가 3-SAT 지수시간가설 반증, QCD 존재 증명, 카케아 추측 일반화 등 3대 난제를 AI로 해결했다고 발표한 내용을 분석한다.
포함된 원본 영상
4편 · 최신순
Two Minute Papers · 2026-10-13
OpenAI’s New AI Is Doing Things We Barely UnderstandOpenAI의 AI가 수학 난제 수백 건을 풀었으나, 증명 과정이 불투명하고 접근성이 제한적이라는 점을 지적한다.
Two Minute Papers · 2026-08-14
Claude AI Failed 650 Times…Then Beat The Human RecordClaude AI가 리만 가설 관련 수학 문제를 650번 실패 끝에 인간 기록을 넘어서는 결과를 도출했다.
Two Minute Papers · 2026-06-05
DeepMind’s New AI Found A Strange New Way To ThinkDeepMind의 AlphaProof Nexus가 Lean 기반 토너먼트 루프로 50년 된 미해결 수학 문제 9개를 해결했다.
