The summer Math fell to the machines...
2026-08-19 게시 · Fireship · 5:34
유튜브에서 원본 영상 열기
↗이 영상과 가까운 신호
토픽 전체로 보기 →
조코딩 JoCoding · cosine 0.69
인간 연구자를 뛰어넘고 난제까지 해결해버린 AI ㄷㄷ;;;
AI가 10년간 미해결이었던 수학·이론 컴퓨터 과학 문제를 린 인증서로 공식화해 해결했다고 주장한다.

조코딩 JoCoding · cosine 0.68
AI뉴스 - 수학 끝났다, 챗GPT 대화형 UI, Claude Motion, Haiku 5.5, AI 인권 등장, Grok Bot 업데이트, 어도비 망했다 등
AI가 미해결 수학 난제를 대량 해결하고 RSI가 현실화되는 가운데, 수학계 반발·AI 인권 논란·어도비 대체 오픈소스 등장 등 AI 산업 전반의 급변을 다룬 영상이다.

SBS 뉴스 · cosine 0.65
"인간이 못 푼 난제를 AI가" 인류의 '완패'?..무릎 '탁' 치게 한 허준이 교수의 '일침' / SBS / AFTER 8NEWS / 최승훈 경제부 기자
오픈AI가 90년 난제 나비의 스토크스 문제를 8시간 만에 풀었으나, 수학자들은 AI가 정답만 제시해 연구 과정과 다음 질문을 놓칠 수 있다고 경고한다.

a16z · cosine 0.64
Inside OpenAI’s Breakthroughs in Mathematical Reasoning
OpenAI의 Astra 모델이 수학적 추론을 통해 구체적인 미해결 문제를 해결하며, AI가 수학 연구의 새로운 도구로 자리 잡고 있음을 보여준다.

Two Minute Papers · cosine 0.64
OpenAI’s New AI Is Doing Things We Barely Understand
OpenAI의 AI가 수학 난제 수백 건을 풀었으나, 증명 과정이 불투명하고 접근성이 제한적이라는 점을 지적한다.

Two Minute Papers · cosine 0.63
DeepMind’s New AI Found A Strange New Way To Think
DeepMind의 AlphaProof Nexus가 Lean 기반 토너먼트 루프로 50년 된 미해결 수학 문제 9개를 해결했다.