Axiom phát hành bản hình thức hóa gồm 16 triệu dòng cho toàn bộ Stacks Project

Axiom, công ty AI trong lĩnh vực toán học, đã phát hành bản hình thức hóa toàn bộ Stacks Project, một tài liệu tham khảo đồ sộ về hình học đại số mà Axiom gọi là hạ tầng thiết yếu cho toán học hiện đại. Axiom cho biết kết quả gồm 16 triệu dòng, có chất lượng mã được tối ưu và vẫn giữ nguyên cấu trúc liên kết chặt chẽ của dự án, đồng thời ví von nó là “một thành phố toán học”.

Axiom giới thiệu bản phát hành này như một phản ví dụ cho quan điểm rằng vibecoding ở quy mô lớn sẽ tạo ra sản phẩm kém chất lượng. Bài đăng có khoảng 2.000 lượt thích vào chiều ngày 4 tháng 11.