Meta: Muse Spark Cùng Nhà Toán Học Giải 5 Bài Toán Mở, 3 Bài Đã Có Người Công Bố Trước
Ngày 2/10/2026, Meta công bố sáu bài báo toán học do các nhà toán học viết cùng Muse Spark qua giao diện chat meta.ai thông thường, và nói năm bài trả lời câu hỏi còn mở. Đọc từng bài thì ba trong năm kết quả đã được nhóm khác công bố trước Meta, trong khoảng từ 10/8 đến 16/9, một trong số đó do một
Ngày 2/10/2026, Meta công bố sáu bài báo toán học mà các nhà toán học viết cùng Muse Spark, mô hình AI của hãng, và nói năm bài trả lời những câu hỏi nghiên cứu còn mở. Meta tự ghi một điều mà phần lớn bản tin bỏ qua: làm xong rồi nhóm mới biết đã có người khác công bố lời giải cho một số bài. Đọc từng bài, con số đó là ba trên năm.
Meta công bố gì
Theo bài blog của Meta AI Research, trong vài tháng qua các nhà toán học dùng Muse Spark 1.1 và 1.2 ở chế độ Thinking "qua giao diện chat meta.ai thông thường, không có khung nghiên cứu tuỳ biến nào". Meta đặt ra bốn nguyên tắc: một nhóm nhà toán học dẫn dắt nghiên cứu; một nhóm thứ hai kiểm tra lại; mỗi bài đánh dấu rõ đoạn nào do người viết, đoạn nào do AI viết; và mỗi bài ghi công các nghiên cứu đi trước. Meta nói mục tiêu "không phải là sản xuất hàng loạt bài báo".
| Lĩnh vực | Kết quả | Muse Spark làm gì (theo Meta) | Đã có người công bố trước? |
|---|---|---|---|
| Xác suất | Ngưỡng chính xác n ≈ d²/4 cho việc khớp elip qua các điểm Gauss ngẫu nhiên | Đề xuất và sửa chiến lược chứng minh | Có — ba nhóm, 10/8 đến 27/8 |
| Phương trình vi phân | Nghiệm năng lượng âm đối xứng tâm của phương trình Schrödinger song điều hoà phải "nổ" trong thời gian hữu hạn | Tính toán, thử lập luận, sửa chứng minh; tác giả chọn bài và ý chính | Không thấy |
| Lý thuyết nhóm | Bác giả thuyết của Kida bằng một nhóm 384 phần tử | Viết chương trình tìm kiếm trong GAP | Có — tác tử AI Nilradical, 16/9 |
| Tối ưu hoá | Khi nào một phép nới lỏng cho bài tối ưu nhị phân là chính xác (câu hỏi đặt ra năm 2026) | Đặt lại bài toán bằng xác suất, tìm phản ví dụ, chiến lược chứng minh | Không thấy |
| Đại số không kết hợp | Bác giả thuyết của García-Martínez và Pérez-Rodríguez về đại số tiến hoá giải được, đề xuất tiêu chí mới | Sinh phản ví dụ, đề xuất đặc trưng thay thế và chứng minh | Có — Hu và Wen, 12/8 |
| Vật lý số học | Hàm hai điểm của lý thuyết dây p-adic trùng với hàm độ cao trên đường cong (mở rộng một kết quả đã biết) | Gợi ý hướng, sinh chứng minh ứng viên, viết nháp ba phần kỹ thuật cốt lõi | Meta không xếp vào nhóm "bài toán mở" |
Ba trên năm đã có người công bố trước
Blog của Meta viết: "Sau khi hoàn thành, chúng tôi được biết các nhóm khác ngoài Meta đã độc lập công bố lời giải cho một số bài toán này bằng những cách khác." Phần "Concurrent work" trong từng bài cho biết cụ thể:
- Ngưỡng khớp elip. Câu hỏi là: với n điểm Gauss ngẫu nhiên trong không gian d chiều, khi nào có một elip tâm cố định đi qua tất cả các điểm. Misiakiewicz và Wen đăng lời giải ngưỡng d²/4 lên arXiv ngày 10/8/2026. De la Cerda, Potechin, Tulsiani và Xu đăng ngày 12/8, chứng minh ngưỡng sai khác một hệ số tiến về 1. Koehler và Sohn đăng ngày 27/8 một kết quả tổng quát hơn, bao gồm trường hợp Gauss. Bài của Meta nói cách chứng minh của mình khác, và cả bài này lẫn các bài kia đều không kết luận gì về đúng điểm ngưỡng.
- Giả thuyết của Kida (bài 21.68 trong sổ Kourovka) cho rằng mọi nhóm hữu hạn "nửa abel" đều "đơn thức". Kida đã kiểm bằng máy tới các nhóm 240 phần tử mà không thấy phản ví dụ. Ngày 16/9/2026, tác tử AI Nilradical công bố một phản ví dụ là nhóm 2.592 phần tử, kèm chứng minh viết bằng Lean mà theo kho mã của nó "không tin vào bất kỳ phép tính nhóm bên ngoài nào". Phản ví dụ của Meta nhỏ hơn nhiều, 384 phần tử, tìm được khi cho chương trình GAP do Muse Spark viết quét các nhóm tới 900 phần tử. Bài của Meta gọi đây là phản ví dụ nhỏ nhất, nhưng việc kiểm tra tính "đơn thức" dựa vào hàm
IsMonomialcó sẵn của GAP, không phải chứng minh hình thức. - Đại số tiến hoá. Hu và Wen đăng lên arXiv ngày 12/8/2026 một phản ví dụ ba chiều trên trường số phức cho cùng giả thuyết. Bài của Meta cũng dùng một ví dụ ba chiều, nhưng đi xa hơn với một tiêu chí thay thế dựa trên các không gian con lũy đẳng.
Trong toán học, một chứng minh độc lập bằng phương pháp khác vẫn có giá trị, và Meta đã ghi công đầy đủ trong bài. Nhưng với ba kết quả này, câu "AI giúp giải bài toán mở" cần hiểu là "giải lại độc lập", không phải "giải lần đầu". Hai kết quả còn lại không có công trình song song. Một là bài về phương trình Schrödinger song điều hoà, trả lời câu hỏi Boulenger và Lenzmann để ngỏ từ năm 2015 và khớp với dự đoán từ mô phỏng số năm 2002. Hai là bài tối ưu hoá, trả lời một câu hỏi mà Del Pia và Khajavirad mới nêu trong năm 2026.
AI viết bao nhiêu
Điểm Meta làm tốt hơn nhiều công bố "AI làm toán" trước đây là phần ghi nhận. Mỗi bài có mục Statement of AI Use và một vạch màu ở lề trái: vạch xanh lá ghi "Human" cho đoạn do người viết, vạch xanh dương ghi "AI" cho đoạn có AI tham gia viết. Nhờ vậy người đọc tự đếm được.
Locaith bóc lớp chữ của bài dài nhất, bài về elip dài 63 trang. Nhãn "Human" chỉ xuất hiện ở trang 2 đến 5 (giới thiệu, tuyên bố dùng AI, công trình song song, định lý dẫn lại) và ở hai chỗ tại trang 39 và 62. Nhãn "AI" xuất hiện trên mọi trang từ trang 5 đến trang 62, tức gần như toàn bộ phần chứng minh. Ở bài lý thuyết nhóm, phần giới thiệu và tổng quan tài liệu do người viết, còn các bổ đề, thuật toán và mã GAP mang nhãn AI. Với bài vật lý số học, blog của Meta nói Muse Spark viết nháp ba phần kỹ thuật cốt lõi. Đếm theo trang chỉ là ước lượng thô, vì một trang có thể có cả hai loại đoạn; nhưng nó cho thấy vai trò của mô hình lớn hơn nhiều so với "trợ lý gợi ý".
Cả sáu bài dùng cùng một câu: mô hình giúp khám phá ý tưởng, phát triển lập luận ứng viên và viết nháp; các nhà nghiên cứu dẫn dắt, kiểm tra, sửa phần toán và chịu trách nhiệm bản thảo cuối.
Ai kiểm tra
Bài blog ghi tên người phản biện cho từng bài, trừ bài vật lý số học không ghi ai; trang đầu bài về elip cũng in dòng "Reviewed by" kèm bốn cái tên. Blog của Meta mô tả bốn người phản biện bài về elip là "bốn nhà toán học khác trong nhóm của chúng tôi", và các bài không ghi đơn vị công tác của tác giả hay người phản biện. Đến ngày 4/10/2026, sáu bài được đăng trên trang nghiên cứu của Meta với mục nhà xuất bản để trống. Tức là chưa có dấu hiệu bài nào đã qua bình duyệt của một tạp chí.
Điều này khác với hai trường hợp Locaith đã đưa tin. Phản ví dụ của Nilradical cho giả thuyết Kida được viết thành chứng minh Lean mà máy kiểm tra được. Còn dự án Claude viết 13 triệu dòng Lean cho định lý lớn Fermat cũng dựa trên kiểm chứng hình thức. Các bài của Meta là chứng minh viết tay theo kiểu truyền thống, dài tới 63 trang, và độ tin cậy của chúng phụ thuộc vào người đọc lại.
Đọc tin "AI giải bài toán mở" thế nào
Loại tin này đang dày lên: OpenAI với phương trình Navier–Stokes, Anthropic với Lean, giờ là Meta. Bốn câu hỏi giúp tách phần thật khỏi phần quảng bá:
- Đã ai công bố lời giải trước chưa? Với Meta, câu trả lời có trong chính bài báo, nhưng không có trong tiêu đề của phần lớn bản tin.
- Phần nào do AI viết? Nhãn lề của Meta là cách làm minh bạch đáng học. Không có nhãn thì không biết.
- Ai kiểm tra? Người trong cùng nhóm, tạp chí bình duyệt, hay máy (Lean)? Ba mức này có độ tin cậy rất khác nhau.
- Câu hỏi đã mở bao lâu? Một câu hỏi để ngỏ từ 2015 khác với một câu hỏi được nêu ra năm nay.
Với sinh viên và người làm nghiên cứu ở Việt Nam, chi tiết đáng chú ý nhất có lẽ là cách làm: không có hệ thống riêng, chỉ là giao diện chat thông thường, nhưng luôn có một nhà toán học chọn bài toán, dẫn hướng và đọc lại từng dòng. Phần việc của con người trong sáu bài này không nằm ở khâu viết, mà ở khâu chọn câu hỏi và kiểm tra.
Nguồn:
- Meta AI Research — Solving Open Research Problems Together, 2/10/2026 — danh sách sáu bài, vai trò của Muse Spark, nguyên tắc, câu ghi nhận công trình song song; ảnh bìa và sơ đồ ngưỡng elip
- Arslan (with Muse Spark) — The Strict Threshold for Gaussian Ellipsoid Fitting, 63 trang — Statement of AI Use, mục Concurrent work, nhãn lề; ảnh trích trang 5
- Brennan, Golich (with Muse Spark) — Semiabelian Groups Need Not Be Monomial — SmallGroup(384, 20127), phạm vi tìm kiếm, ghi nhận Nilradical
- Dinh (with Muse Spark) — Finite-Time Blow-Up of Radial Negative-Energy Solutions for the Mass-Critical Biharmonic NLS và Arslan (with Muse Spark) — Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles — hai bài ghi không có công trình song song
- Misiakiewicz, Wen — The sharp SAT/UNSAT phase transition in random ellipsoid fitting, arXiv 2608.10184, 10/8/2026
- Hu, Wen — Idempotent-free non-solvable evolution algebras over ℂ, arXiv 2609.25023, nộp ngày 12/8/2026 theo trang arXiv
- Nilradical v0 — Kourovka Problem 21.68 (kourovka-lean), kiểm chứng ngày 16/9/2026 — nhóm 2.592 phần tử, chứng minh Lean
Bài blog và bốn bài báo của Meta được Locaith đọc trực tiếp từ bản gốc ngày 4/10/2026; các câu trích do Locaith dịch từ tiếng Anh. Số trang mang nhãn "Human" và "AI" do Locaith tự đếm từ lớp chữ của tệp PDF, là ước lượng thô theo trang. Locaith không thẩm định tính đúng đắn của các chứng minh. Ảnh bìa: ảnh minh hoạ trong bài blog của Meta AI Research, cắt về tỉ lệ 1200×630. Ảnh trong bài: sơ đồ ngưỡng elip từ bài blog của Meta và trích trang 5 bài báo về ngưỡng khớp elip. Biên soạn và phân tích bởi Ban Biên Tập Locaith, 04/10/2026.