Axiom Math muốn loại bỏ rác AI khỏi toán học

Cảm giác như AI đang giải quyết được một bài toán mới mỗi tuần. Tháng trước, chỉ riêng OpenAI đã công bố 719 bản thảo tuyên bố có lời giải cho một số vấn đề khó nhất của lĩnh vực này. Ngay cả các lần kiểm tra bằng máy tính cũng có thể sai sót. Sau nhiều năm xuất hiện "rác" AI (AI slop), việc tự hỏi liệu toán học có phải là mục tiêu tiếp theo hay không là điều hợp lý.

AxiomMath đang đặt cược rằng toán học có thể tránh được số phận đó, không phải bằng cách chậm lại, mà bằng cách đứng trên nền tảng vững chắc hơn. Công ty khởi nghiệp trị giá $1.6B này muốn xây dựng một nền tảng đã được xác minh mà các tác nhân AI có thể tin cậy để viết phần mềm và cuối cùng là thực hiện nghiên cứu khoa học.

Vào thứ Tư, công ty đã thông báo rằng họ đã xác minh chính thức Stacks Project, một trong những kho tàng toán học lớn nhất từng được con người viết ra. Các nhà toán học thường coi trọng Stacks một cách hiếm thấy—nhà toán học Peter Woit của Columbia đã khẳng định "thực sự không có gì khác có thể so sánh được," ví dự án này với "những cuốn sách Bourbaki nổi tiếng," một bộ sách đã tái thiết lập toán học từ nền tảng của nó trong thế kỷ 20. 

Đồng nghiệp của Woit tại Columbia, Johan de Jong, đã bắt đầu Stacks Project vào năm 2005 dưới dạng một tài liệu tham khảo mã nguồn mở. Các nhà toán học đã đóng góp cho dự án kể từ đó, xây dựng các kết quả từ đại số cấp đại học cho đến những ý tưởng tiên tiến nhất của lĩnh vực này trong các mảng đại số, hình học và lý thuyết số.