Axiom merilis formalisasi 16 juta baris untuk seluruh Stacks Project

Axiom, perusahaan AI di bidang matematika, merilis formalisasi seluruh Stacks Project, sebuah karya referensi besar tentang geometri aljabar yang disebut Axiom sebagai infrastruktur penting bagi matematika modern. Axiom menyatakan bahwa hasilnya terdiri dari 16 juta baris, dengan kualitas kode yang dioptimalkan serta struktur proyek yang sangat saling terhubung tetap dipertahankan, dan menyebutnya "sebuah kota matematika".

Axiom membingkai rilis ini sebagai contoh tandingan terhadap pandangan bahwa vibecoding dalam skala besar menghasilkan kode asal-asalan. Hingga sore 4 November, unggahan tersebut mendapat sekitar 2.000 suka.