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

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

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

Two Minute Papers · cosine 0.62
Claude AI Failed 650 Times…Then Beat The Human Record
Claude AI가 리만 가설 관련 수학 문제를 650번 실패 끝에 인간 기록을 넘어서는 결과를 도출했다.

SBS 뉴스 · cosine 0.62
90년 난제 정복에 "딱 88시간"..뚫려버린 인류 지성 '마지노선' / SBS / 모아보는 뉴스
오픈AI의 AI 모델이 90년 난제인 나비에-스토크스 방정식 특이점 문제를 88시간 만에 풀었다는 주장과 AI 안전·통제 논란이 동시에 제기된 영상

Sabine Hossenfelder · cosine 0.61
AI Solved a Millennium Problem and Everyone's Angry
OpenAI가 AI로 나비에-스토크스 밀레니엄 문제를 풀었으나 수학계가 부정적으로 반응하는 이유를 분석한다.