The one thing holding theoretical CS together just broke... kinda
2026-11-06 게시 · Fireship · 6:01
유튜브에서 원본 영상 열기
↗이 영상과 가까운 신호
토픽 전체로 보기 →
Two Minute Papers · cosine 0.73
OpenAI Claims It Just Did The Impossible
OpenAI가 3-SAT 문제에서 지수시간 가설을 반증하는 하위지수 알고리즘을 제시했다고 주장한다.
안될과학 Unrealscience · cosine 0.59
컴퓨터는 정말 모든 경우를 다 계산해야 할까?
오픈AI가 3-SAT 지수시간가설 반증, QCD 존재 증명, 카케아 추측 일반화 등 3대 난제를 AI로 해결했다고 발표한 내용을 분석한다.
Fireship · cosine 0.53
The summer Math fell to the machines...
AI가 2026년 여름 수학의 미해결 난제 여러 개를 연달아 반증·진전시키며 수학계에 위기감이 고조되고 있다.
SBS 뉴스 · cosine 0.47
[🔴이슈] 90년 수학 난제 푼 AI..그동안 인간은 뭐한거냐고? / "해롭다" 필즈상 수상 허준이 교수 등 일제히 경고 / SBS 이슈라이브
오픈AI가 90년 수학 난제를 8시간 만에 풀었다는 소식에 수학계가 충격을 받은 가운데 AI 개발 속도 조절을 둘러싼 논란이 커지고 있다.
Two Minute Papers · cosine 0.46
DeepMind’s New AI Found A Strange New Way To Think
DeepMind의 AlphaProof Nexus가 Lean 기반 토너먼트 루프로 50년 된 미해결 수학 문제 9개를 해결했다.
ColdFusion · cosine 0.46
AI Keeps Pissing Off Mathematicians
OpenAI가 나비에-스토크스 문제를 AI로 풀었다고 발표했으나, NYU 수학자 트리스탄 벅마스터가 자신의 채팅 로그를 도용당했다고 주장하며 논란이 일었다.
