Axiom, tüm Stacks Project’in 16 milyon satırlık biçimselleştirmesini yayımladı

Yapay zekâ matematiği şirketi Axiom, Axiom’ın modern matematiğin temelindeki kritik altyapı olarak nitelendirdiği, cebirsel geometriye ilişkin kapsamlı bir başvuru kaynağı olan Stacks Project’in tamamının biçimselleştirilmiş hâlini yayımladı. Axiom, sonucun 16 milyon satırdan oluştuğunu, kod kalitesinin iyileştirildiğini ve projenin birbiriyle son derece bağlantılı yapısının korunduğunu belirterek bunu “matematiksel bir şehir” olarak tanımladı.

Axiom, bu yayını, büyük ölçekte vibecoding’in özensiz işler ortaya çıkardığı görüşüne karşı bir örnek olarak sundu. Gönderi, 4 Kasım öğleden sonra itibarıyla yaklaşık 2.000 beğeni almıştı.