2021년부터 2026년까지, 이 날짜에 있었던 기록 3개를 해마다 모았어요. 최근 해가 먼저 나와요.
AI 생성 코드를 형식 명세에 대해 기계적으로 검증하는 방향. 평가 축을 경쟁 수학에서 실제 형식화 프로젝트 기여로 이동
별도 모델 계열을 단일 가중치로 통합하는 흐름을 오픈웨이트에서 구현
AI 랩 CEO가 재분배 정책을 직접 설계해 제시한 최초 사례