9월 4일의 AI 역사
2014년부터 2026년까지, 이 날짜에 있었던 기록 2개를 해마다 모았어요. 최근 해가 먼저 나와요.
2026
올해 · 기록 1개'Formalizing Fermat's Last Theorem' 공개Anthropic
인간 커뮤니티가 수년 단위로 진행하던 대형 형식화 과제를 에이전트 군집이 단기간에 수행했다는 주장. 검증 가능한 산출물(Lean 증명)이 결과물이라 벤치마크와 달리 외부 재검증이 가능하다는 점에서 자율 연구 주장 중 검증 난도가 낮은 사례
추론 모델·AGI 논쟁공식 발표
2014
12년 전 · 기록 1개Very Deep Convolutional Networks for Large-Scale Image Recognition(VGG) arXiv 공개Karen Simonyan·Andrew Zisserman (옥스퍼드대)
작은 3x3 합성곱을 깊게 쌓는 설계를 표준화