Axiom, Stacks Project 전체를 형식화한 1,600만 줄 분량의 결과물 공개

AI 수학 기업 Axiom이 대수기하학의 대형 참고 자료인 Stacks Project 전체를 형식화한 결과물을 공개했다. Axiom은 이 자료를 현대 수학의 기반이 되는 핵심 인프라라고 설명한다. Axiom에 따르면 결과물은 1,600만 줄에 달하며, 최적화된 코드 품질과 프로젝트의 고도로 상호 연결된 구조를 보존했고, 이를 “수학의 도시”라고 부른다.

Axiom은 이번 공개가 대규모 바이브 코딩은 엉성한 결과물을 낳는다는 견해에 대한 반례라고 강조했다. 11월 4일 오후 기준 이 게시물은 약 2,000개의 좋아요를 받았다.