Muse Spark hỗ trợ các nhà toán học viết 6 bài nghiên cứu: 5 bài giải đáp câu hỏi còn bỏ ngỏ

Ngày 2/10, Meta cho biết các nhà toán học cộng tác với Muse Spark đã thực hiện 6 bài nghiên cứu, trong đó 5 bài giải đáp những câu hỏi trước đó chưa có lời giải. Cách diễn đạt này nói về nghiên cứu do con người định hướng, có AI hỗ trợ — không phải một chatbot tự mình giải 6 bài toán. 17

Sáu bài báo nghiên cứu về những lĩnh vực nào?

Các công trình được công bố trải rộng trên nhiều nhánh toán học. Một số kết quả được nêu gồm:

• Xác suất và hình học: The Strict Threshold for Gaussian Ellipsoid Fitting xác định ngưỡng xấp xỉ (n \sim d^2/4) cho việc liệu có tồn tại ma trận bán xác định dương thỏa các ràng buộc do những vectơ Gaussian ngẫu nhiên đặt ra hay không. 1
• Lý thuyết nhóm: một kết quả đưa ra nhóm gồm 384 phần tử, làm phản ví dụ cho một phỏng đoán được nêu vào năm 2024. 20
• Đại số: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez nghiên cứu phỏng đoán được nêu trong tiêu đề. 4
• Tối ưu hóa: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles xem xét tính chặt của một phép nới lỏng dựa trên chu trình. 4
• Vật lý toán: danh sách công bố có bài String Two-Point Function = Height Function on a Curve. 4
• Phương trình vi phân: một bài khác nghiên cứu hiện tượng nghiệm nổ trong thời gian hữu hạn đối với các nghiệm đối xứng xuyên tâm, năng lượng âm của một phương trình Schrödinger phi tuyến hai điều hòa tới hạn khối lượng.

Cần đọc kỹ con số Meta đưa ra: công ty nói 5 trong 6 bài trả lời các câu hỏi từng còn bỏ ngỏ. Danh sách bài báo hiện có không cho thấy rõ từng bài tương ứng với câu hỏi nào trong số 5 câu hỏi đó; vì vậy không nên mặc định cả 6 bài đều giải một bài toán mở riêng biệt. 174

Các nhà toán học đã làm việc với Muse Spark ra sao?

Nhóm nghiên cứu dùng Muse Spark 1.1 và 1.2 ở Thinking Mode thông qua giao diện chat meta.ai thông thường, không dùng một hệ thống nghiên cứu chuyên biệt được thiết kế riêng. Theo Meta, các nhà toán học hướng dẫn quá trình nghiên cứu, cùng mô hình phát triển ý tưởng và lập luận; một nhóm nhà toán học khác sau đó rà soát công trình. Các bài báo cũng đánh dấu những đoạn chủ yếu do nhà nghiên cứu soạn và những đoạn có AI hỗ trợ soạn thảo. 17

Quy trình này quan trọng khi đánh giá kết quả. AI có thể đóng góp ý tưởng, lập luận hoặc mã máy tính, nhưng việc chọn vấn đề và rà soát vẫn do con người đảm nhiệm. Trong ví dụ về lý thuyết nhóm, một bài tường thuật cho biết Muse Spark viết chương trình tìm kiếm cho GAP, một phần mềm toán học; các nhà toán học kiểm tra phản ví dụ rồi hoàn thiện lập luận. 20

Những điều chưa thể kết luận

Các bài báo cho thấy mô hình AI có thể góp phần vào nghiên cứu toán học có giám sát. Nhưng riêng những công bố này chưa chứng minh rằng kết quả là độc quyền, cũng không cho thấy các đầu ra toán học của mô hình nói chung luôn đáng tin cậy. Một số tường thuật khác cho biết nhiều kết quả cũng được các nhóm khác tìm ra độc lập; mức độ trùng lặp vì thế là yếu tố cần tính đến khi bàn về quyền ưu tiên công bố.

Việc nhà toán học rà soát cũng không đồng nghĩa với kiểm chứng hình thức: quy trình này mã hóa chứng minh bằng một ngôn ngữ chặt chẽ để máy tính kiểm tra từng bước. Mô tả của Meta đề cập đến việc con người thẩm định, nhưng tài liệu hiện có chưa xác nhận liệu chứng minh trong từng bài có được kiểm tra bằng trợ lý chứng minh hay không. 17

Meta giới thiệu Muse Spark ngày 8/4/2026, gọi đây là mô hình đầu tiên của Meta Superintelligence Labs. Các bài báo tháng 10 cho thấy mô hình được dùng trong một dự án hợp tác nghiên cứu về sau, nhưng không phải bằng chứng rằng mọi khẳng định toán học do AI tạo ra đều chính xác. Muốn đánh giá độ tin cậy, vẫn cần xem xét lập luận trong từng bài và kết quả kiểm chứng độc lập tiếp theo.