Axiom 發布《Stacks Project》完整形式化成果，共 1,600 萬行

AI 數學公司 Axiom 發布了《Stacks Project》的完整形式化成果。這是一部大型代數幾何參考著作，Axiom 稱其為現代數學的關鍵基礎設施。Axiom 表示，成果共 1,600 萬行，程式碼品質經過最佳化，並保留了該專案高度互連的結構；Axiom 稱之為「一座數學之城」。

Axiom 將這次發布視為反例，駁斥「大規模 vibe coding 只會產生垃圾」的看法。截至 11 月 4 日下午，該貼文獲得約 2,000 個讚。