컴퓨터는 정말 모든 경우를 다 계산해야 할까?
2026-10-30 게시 · 안될과학 Unrealscience · 10:09
유튜브에서 원본 영상 열기
↗이 영상과 가까운 신호
토픽 전체로 보기 →
Two Minute Papers · cosine 0.66
OpenAI’s New AI Is Doing Things We Barely Understand
OpenAI의 AI가 수학 난제 수백 건을 풀었으나, 증명 과정이 불투명하고 접근성이 제한적이라는 점을 지적한다.
조코딩 JoCoding · cosine 0.64
인간 연구자를 뛰어넘고 난제까지 해결해버린 AI ㄷㄷ;;;
AI가 10년간 미해결이었던 수학·이론 컴퓨터 과학 문제를 린 인증서로 공식화해 해결했다고 주장한다.
Fireship · cosine 0.63
The summer Math fell to the machines...
AI가 2026년 여름 수학의 미해결 난제 여러 개를 연달아 반증·진전시키며 수학계에 위기감이 고조되고 있다.
a16z · cosine 0.61
Inside OpenAI’s Breakthroughs in Mathematical Reasoning
OpenAI의 Astra 모델이 수학적 추론을 통해 구체적인 미해결 문제를 해결하며, AI가 수학 연구의 새로운 도구로 자리 잡고 있음을 보여준다.
Two Minute Papers · cosine 0.61
OpenAI Claims It Just Did The Impossible
OpenAI가 3-SAT 문제에서 지수시간 가설을 반증하는 하위지수 알고리즘을 제시했다고 주장한다.
Sabine Hossenfelder · cosine 0.61
AI Solved a Millennium Problem and Everyone's Angry
OpenAI가 AI로 나비에-스토크스 밀레니엄 문제를 풀었으나 수학계가 부정적으로 반응하는 이유를 분석한다.
