Axiom Math Memformalkan Stacks Project untuk Membuktikan Vibe Coding Skala Besar Bisa Ketat
Axiom Math telah memformalkan Stacks Project — referensi inti geometri aljabar modern — ke dalam kode Lean, sehingga komputer kini dapat memverifikasi pembuktiannya baris demi baris. Kawanan agennya bekerja seperti organisasi teknik, dengan manusia menugaskan tim untuk arsitektur, definisi inti, dan pembuktian individual, dan tidak ada yang masuk ke pustaka kecuali logikanya terbukti. Hasilnya adalah pustaka gratis dan open-source yang mencakup sebagian besar bidang ini, sekaligus bantahan atas anggapan bahwa vibe coding skala besar hanya menghasilkan kode asal-asalan.
SUMBER
- Rohan Paul2026-11-04 17:53