August 4, 2026
Devtools 오픈소스 논쟁이 1위, 손으로 코드 다시 치기와 미트 프록시 경고가 부른 vibe coding 반성, OpenAI 수학 10대 진전
Devtools오픈소스LLM인지 부채
#수학
17 개 글 · 모든 태그
📰 Digests
📡 Events
September 13, 2026
1만 개 AI가 푼 90년의 수학 난제, 100만 달러 상금 심사에 3년이 걸리는 이유
AI수학OpenAI
September 12, 2026
필즈상 수상자 25인의 공동 경고: AI의 수학 벤치마크 경쟁이 지식의 토양을 메마르게 한다
AI수학기술 논쟁
September 9, 2026
100만 달러 밀레니엄 난제 해결 선언, AI 연산력이 연구자의 미발표 초안을 가로챘는가
인공지능수학OpenAI
September 7, 2026
테렌스 타오의 경고: AI의 나비에-스토크스 밀레니엄 난제 무차별 대입 해결이 수학을 오염시키는 이유
수학AI테렌스 타오
September 5, 2026
인간이 5년 걸릴 페르마의 마지막 정리, AI가 11일 만에 완벽 검증한 이유
AI수학자동화
August 23, 2026
물건을 가장 공정하게 나누는 방법: 수학자들이 해결한 30년묵은 불균형의 난제
과학수학
August 13, 2026
양자 파동은 프랙탈 미로도 가두지 못한다: 25세 MIT 박사과정생의 고차원 프랙탈 불확정성 원리 증명
과학수학
August 10, 2026
2개뿐인 줄 알았던 마법 육각형, 알고 보니 무한히 존재한다
수학대중과학증명
August 4, 2026
단 2,000달러로 미해결 수학 난제 10개를 푼 OpenAI Astra
ai수학openai
August 3, 2026
AI가 90년 된 수학 난제를 반증했다는 소동, 범인은 검증 도구의 버그였다
AI수학정형 검증
July 28, 2026
1294점을 받은 화제의 글: 버그는 수학적 숙명인가 아니면 인간의 실수인가
수학버그소프트웨어철학
July 26, 2026
수학에도 어두운 밤이 있었다: 이 학문을 재창조한 네 번의 위기
수학과학철학사상
July 23, 2026
수학 천재 타오(Terence Tao), ChatGPT와 함께 세기의 난제를 풀다
AI수학ChatGPT타오
July 22, 2026
AI의 반례 공세: 에르되시·그로텐디크·야코비안 추측이 두 달 만에 무너졌다
AI수학Lean형식 검증
July 19, 2026
GPT-5.6, 단 한 번의 프롬프트로 30년 된 알고리즘 한계를 증명하다
AIGPT-5.6수학형식 증명
July 4, 2026
수억 명이 16년간 못 찾은 버그, 수학은 20걸음 만에 찾아냈다
SQLiteTLA+형식 검증WAL