7월 25일의 AI 역사
2023년부터 2025년까지, 이 날짜에 있었던 기록 4개를 해마다 모았어요. 최근 해가 먼저 나와요.
2025
1년 전 · 기록 1개2024
2년 전 · 기록 2개AlphaProof·AlphaGeometry 2의 IMO 2024 결과 발표Google DeepMind
형식언어 기반 자기학습이 올림피아드 수준에 도달. DeepMind는 Lean·Mathlib 없이는 불가능했다고 명시
추론 모델·AGI 논쟁공식 발표
X에 jagged intelligence 용어 게시Andrej Karpathy
벤치마크 점수와 실사용 신뢰도의 괴리를 부를 이름을 만듦. Salesforce가 정식 연구 의제로 채택해 SIMPLE 벤치마크를 만들었고 Sundar Pichai는 AJI로 변주
인물·담론보도