조코딩 JoCoding · 2026-08-04
인간 연구자를 뛰어넘고 난제까지 해결해버린 AI ㄷㄷ;;;AI가 10년간 미해결이었던 수학·이론 컴퓨터 과학 문제를 린 인증서로 공식화해 해결했다고 주장한다.
포함된 원본 영상
2편 · 최신순
Two Minute Papers · 2026-06-05
DeepMind’s New AI Found A Strange New Way To ThinkDeepMind의 AlphaProof Nexus가 Lean 기반 토너먼트 루프로 50년 된 미해결 수학 문제 9개를 해결했다.
