Khi tôi viết bài ai lo ai làm gì, dù đã dự đoán (may mắn thay) là đúng xu hướng, thì vẫn không ngờ tốc độ làm toán của OpenAI khủng đến thế này. Chỉ một tháng sau khi tuyên bố giải được 1 bài toán Thiên niên kỷ, thì hôm qua OpenAI (dùng một model chưa công khai) tung ra hơn 700 “bài giải” cho quãng 300-400 bài toán mở (chưa ai giải) và quan trọng. Trong đó có cả loạt bài toán vật lý. Dưới đây là các thông tin sơ bộ về sự kiện chấn động này, do AI (claude) dịch ra tiếng Việt.
Một con AI bản free hiện tại đã giỏi giang hơn hầu hết các cử nhân Việt Nam, những người suốt 12 năm phổ thông học lòi cả mắt để vào đại học và mất thèm 4 năm mưa nắng lặn lội đến trường để tốt nghiệp. Bản AI trả phí nào cũng giỏi hơn hầu hết các PhD Việt Nam (chưa kể còn giỏi mọi ngôn ngữ). (Tất nhiên không nên so với các sinh viên học đại học thể dục thể thao, cao đẳng nấu ăn, hay bác sĩ ngoại khoa….).
Theo các lý lẽ của ai lo ai làm gì thì Việt Nam nên cải tổ giáo dục toàn diện. Học phổ thông dễ dễ nhàn nhàn thôi. Hết lớp 8 có thể chuyển sang học nấu ăn, thợ điện, lái xe. Ai muốn học tiếp thì học từ lớp 9 đến lớp 12. Ra trường có thể, với AI hỗ trợ, có thể làm được ở hầu hết các cơ quan chính quyền cấp xã, hoặc nhân viên phổ thông ở các sở ban ngành. Đại học chỉ cần học hết năm 2, sau đó dùng AI làm được chuyên viên cấp sở, hoặc vụ. Chỉ một số ít mới cần học thèm vài năm. Mà cũng chỉ cần đến thạc sỹ là cao lắm rồi. Đủ để dùng AI là được. Còn thì học cao nữa chỉ dành cho một số cực ít người cực giỏi. Vì với trình độ AI như OpenAI ở thời điểm này, các bạn tiến sỹ toán về cơ bản là sẽ hết việc làm.
Dưới đây là bài dịch.
I
TRỜI ĐẤT ƠI, tin đồn là thật: OpenAI đã công bố 722 bản thảo toán học do một mô hình nội bộ chưa phát hành tạo ra.
Bộ sưu tập này nhóm chúng thành 372 họ kết quả có liên hệ với nhau, rút ra từ một đợt đánh giá liên quan tới khoảng 4.000 bài toán nghiên cứu.
OpenAI cho biết quy trình tiêu chuẩn sử dụng trung bình ba giờ tính toán suy nghĩ của ChatGPT Pro cho mỗi kết quả.
Đợt công bố bao gồm các bài báo, các tạo phẩm chứng minh (proof artifacts) và một số bản tóm tắt suy luận được chọn lọc. Bản thân mô hình thì vẫn chưa được phát hành.
II.
Kể từ lần cuối bạn nghĩ về toán, những người ngày nào cũng nghĩ về toán đã phát hoảng.
Một tháng trước, khi OpenAI công bố rằng một trong các mô hình nội bộ mạnh của họ đã phá được một Bài toán Giải thưởng Thiên niên kỷ[1] nổi tiếng là hóc búa, điều đó trông như màn trình diễn ngoạn mục nhất từ trước tới nay về tiến bộ của AI trong toán học.
Rồi giới toán học nổi loạn.
Làn sóng phản ứng từ thế giới toán học trùng với một cuộc thanh toán sổ sách toàn cầu về thứ công nghệ mà các phòng thí nghiệm ở Thung lũng Silicon đang chạy đua xây dựng. Đúng ngày OpenAI công bố chứng minh mang tính cột mốc của mình, một nhà nghiên cứu rời Anthropic vì các lo ngại về an toàn[2]. Chỉ trong vài giờ, bước đột phá AI ấy đã bị lu mờ bởi nỗi sợ rằng AI có thể hủy diệt nhân loại.
Trong khi đó, các nhà toán học đang phải đối mặt với những câu hỏi tồn vong của chính mình.
Nhưng trong lúc họ công khai tranh luận về tương lai của ngành học cổ xưa của mình, mô hình của OpenAI vẫn tiếp tục nhả ra các chứng minh sau cánh cửa đóng kín.
Điều đó để lại cho công ty một vấn đề mà một đám con người sẽ phải giải: làm gì với toàn bộ chỗ toán học do AI sinh ra ấy.
Tối thứ Ba, OpenAI trút những chứng minh đó lên mạng để các nhà toán học vò đầu bứt tai. Cơn lũ ấy gồm hơn 700 bài báo, bao phủ hàng trăm bài toán thuộc lý thuyết số, hình học đại số và những lĩnh vực khác mang những cái tên đủ khiến người từng bị toán phổ thông ám ảnh phải lên cơn đau nửa đầu. Trong số các phát hiện lớn mà OpenAI báo cáo có những tiến triển liên quan tới ba trong số năm Bài toán Giải thưởng Thiên niên kỷ còn lại, trong đó có giả thuyết Riemann[3].
“Nếu một con người làm được chuyện này, thì đó sẽ là một Huy chương Fields ngay lập tức, khỏi phải bàn,” Alex Kontorovich, giáo sư toán xuất sắc tại Đại học Rutgers, viết trên X về kết quả Riemann[4].
Khi các chuyên gia toán học sững sờ bắt đầu tiêu hóa các kết quả, thậm chí một nhà nghiên cứu bên trong Anthropic còn gọi đợt công bố của OpenAI là “hiển nhiên là khoảnh khắc quan trọng nhất trong lịch sử toán học”.
Đó cũng là khúc ngoặt choáng váng mới nhất trong một năm mang tính lịch sử với cả AI lẫn bản thân toán học.
Những tháng gần đây, cả OpenAI lẫn Anthropic đều đã biến toán học phức tạp thành một hình thức marketing khác thường cho các mô hình thông minh nhất của mình, khua chiêng gõ trống về những lời giải cho các bài toán từng làm con người bế tắc hàng thập niên.
III.
722 bài báo toán học do AI của OpenAI viết: cái gì đã được chứng minh, cái gì đã được kiểm
OpenAI công bố 722 bản thảo toán học do một mô hình nội bộ chưa phát hành viết, vào ngày 6/10/2026, được nhóm thành 372 kết quả trải trên 17 lĩnh vực, với các chứng minh Lean[5] cho kết quả chính của 162 bài. Các tuyên bố bao gồm một nửa mặt phẳng không có không điểm cho mọi hàm L Dirichlet[6], các giả thuyết Mahler[7], một phản ví dụ cho giả thuyết ước của không của Kaplansky[8] và tính đẳng cấu của các nhân tử nhóm tự do[9]. Thông báo của OpenAI mở đầu: “Chúng tôi đang công bố một loạt kết quả toán học mới do một mô hình tiền tuyến nội bộ tạo ra.” Các bài báo nằm trong một kho GitHub công khai, theo giấy phép Apache 2.0[10]. Trang này đọc bản thông báo, tệp README của kho, catalogue tổng quan 41 trang và danh sách hình thức hóa Lean của nó, tính tới tối ngày 6/10/2026.
- OpenAI công bố 722 bản thảo toán học từ một mô hình nội bộ chưa phát hành vào ngày 6/10/2026, nhóm thành 372 họ kết quả trải trên 17 lĩnh vực, trong một kho GitHub công khai theo giấy phép Apache 2.0.
- Mô hình được đặt ra khoảng 4.000 bài toán sau khi các bộ đánh giá toán học hiện có của OpenAI đã bão hòa; OpenAI giữ lại những kết quả mà họ đánh giá là đáng kể và nhóm các bài báo liên quan thành họ.
- Các bản hình thức hóa Lean bao phủ kết quả chính của 162 bài, trong đó có nửa mặt phẳng không có không điểm Re(s) > 7/8 cho các hàm L Dirichlet, giả thuyết Mahler đối xứng và một phản ví dụ cho giả thuyết ước của không của Kaplansky.
- Mỗi kết quả dùng trung bình khoảng ba giờ suy nghĩ của ChatGPT Pro, theo OpenAI, và kho lưu trữ còn bổ sung 10 bản tóm tắt rút gọn về suy luận của mô hình.
- Các tuyên bố chưa có chứng minh Lean bao gồm tính đẳng cấu của các nhân tử nhóm tự do, số mũ vô tỷ của số pi bằng đúng 2[11], và bài toán thứ mười của Hilbert trên trường số hữu tỷ[12]; tệp README cảnh báo rằng các kết quả chưa hình thức hóa có thể có vấn đề.
- Mô hình không công khai và các bài báo nằm trên GitHub của chính OpenAI, hai điểm mà Nhóm Cố vấn về Toán học và AI đã đề nghị các phòng thí nghiệm thay đổi; OpenAI nói họ đang xử lý cả hai.
OpenAI đã công bố những gì
Kho lưu trữ chứa các bản thảo, một catalogue và các tệp chứng minh, chứ không phải một bài báo duy nhất. README của nó nói rõ mô hình đã đi tới đó bằng cách nào: “Chúng tôi mở rộng các bộ đánh giá này sau khi hiệu năng trên các bộ đánh giá toán học hiện có của chúng tôi đã bão hòa.” Trong suốt đợt đánh giá, mô hình được đặt ra khoảng 4.000 bài toán; OpenAI giữ lại những kết quả mà họ đánh giá là đáng kể và nhóm các bài báo liên quan thành họ.
Về chi phí, bản thông báo viết: “Kết quả trung bình dùng lượng tính toán tương đương khoảng ba giờ suy nghĩ của ChatGPT Pro.” README nêu tên hai ngoại lệ đối với quy trình cố định — công trình về một miền không có không điểm cho hàm zeta Riemann và một chứng minh giả thuyết Hodge cho các đa tạp abel có nhân phức[13] — và nói rằng bản viết cho miền không có không điểm Re(s) > 11/12 “đã được con người biên tập lại cho dễ đọc”[14].
Các kết quả rơi vào đâu
Chúng tôi đếm số họ dưới mỗi đầu mục lĩnh vực trong catalogue tổng quan. Khoa học máy tính lý thuyết, tổ hợp, và hình học đại số và hình học phức dẫn đầu; logic toán có ít nhất.
| LĨNH VỰC | SỐ HỌ KẾT QUẢ |
| Khoa học máy tính lý thuyết | 40 |
| Tổ hợp | 37 |
| Hình học đại số và hình học phức | 36 |
| Lý thuyết số | 31 |
| Xác suất và cơ học thống kê | 29 |
| Hình học vi phân | 29 |
| Vật lý toán | 25 |
| Đại số toán tử | 19 |
| Đại số | 18 |
| Tôpô | 18 |
| Giải tích thực và giải tích phức | 16 |
| Phương trình đạo hàm riêng | 16 |
| Hình học lồi và hình học metric | 15 |
| Lý thuyết nhóm | 14 |
| Hệ động lực và lý thuyết ergodic | 12 |
| Giải tích hàm | 11 |
| Logic toán | 6 |
BẢNG 2 Số họ kết quả theo lĩnh vực (catalogue tổng quan của OpenAI, do chúng tôi đếm, ngày 6/10/2026)[15]
Các tuyên bố nổi bật, và cái gì đã được kiểm
Catalogue phát biểu mỗi kết quả như đã được chứng minh. Một bản hình thức hóa Lean nghĩa là máy tính đã kiểm phát biểu hình thức đối chiếu với chứng minh hình thức; tự nó không cho thấy rằng phát biểu hình thức nói đúng điều mà bài báo nói, hay rằng kết quả là mới[16]. README thẳng thắn về phần còn lại: “Một số kết quả chưa hình thức hóa có thể có vấn đề.”
| HỌ | TUYÊN BỐ NHƯ ĐƯỢC PHÁT BIỂU TRONG CATALOGUE | KẾT QUẢ CHÍNH TRONG LEAN THEO CATALOGUE |
| 003 | Mọi hàm L Dirichlet, kể cả hàm zeta Riemann, đều không có không điểm trong miền Re(s) > 7/8 | Có |
| 087 | Các giả thuyết Mahler đối xứng và không đối xứng, trong mọi chiều | Có, cho trường hợp đối xứng |
| 196 | Một phản ví dụ cho giả thuyết ước của không của Kaplansky | Có |
| 197 | Giả thuyết hữu hạn trực tiếp của Kaplansky không đúng, ngay cả khi không có xoắn | Có, đặc số hai và đặc số lẻ |
| 287 | Mọi nhân tử nhóm tự do không giao hoán đều đẳng cấu với nhau | Chưa |
| 017 | Số mũ vô tỷ của số pi đúng bằng 2 | Chưa |
| 004 | Bài toán thứ mười của Hilbert trên trường số hữu tỷ có câu trả lời phủ định | Chưa |
BẢNG 3 Một số tuyên bố nổi bật và tình trạng Lean của chúng (catalogue tổng quan và tệp lean/formalization.yaml, ngày 6/10/2026)
560 bài báo còn lại chưa có kết quả chính được hình thức hóa thì nằm trong cùng kho lưu trữ; OpenAI nói họ “sẽ tiếp tục cập nhật kho này với các bản hình thức hóa Lean khi chúng tôi có được chúng”. Độc giả muốn kiểm một tuyên bố cụ thể nên mở họ tương ứng của nó trong bản đồ bản thảo, nơi mỗi bài báo đều có liên kết tới tệp PDF và tệp trích dẫn của nó.
§ 04 — Đợt công bố này đáp ứng nhóm cố vấn ra sao
Hai tuần trước đó, Nhóm Cố vấn độc lập về Toán học và Trí tuệ Nhân tạo, đặt tại Viện Nghiên cứu Cao cấp[17], đã công bố bộ hướng dẫn về việc công bố toán học do AI sinh ra (ngày 29/9). Văn bản mở đầu bằng một lời đề nghị gửi các phòng thí nghiệm: “chúng tôi đề nghị họ ngừng việc thử nghiệm các bài toán nâng cao trên những mô hình độc quyền”. OpenAI nói họ đã tham vấn nhóm này và dựa vào các khuyến nghị đó. Đợt công bố có tuân theo vài khuyến nghị: số lượng bài toán, ước lượng tính toán, tóm tắt suy luận và các tệp Lean đều được công bố. Hai điểm vẫn còn bỏ ngỏ, theo chính lời OpenAI. Mô hình không công khai; OpenAI nói họ “đang nỗ lực phát hành một cách có trách nhiệm mô hình đã tạo ra các kết quả này”. Và các bài báo nằm trên GitHub của chính OpenAI; OpenAI viết rằng họ “đang tiếp tục tìm hiểu các phương án khác do cộng đồng lưu trữ cho đợt công bố này, sao cho đáp ứng hướng dẫn của ủy ban”.
OpenAI cũng cam kết tiền cho việc đọc hiểu: “Chúng tôi sẽ tài trợ một loạt hội thảo, hội nghị và chương trình đặc biệt xoay quanh việc hiểu các kết quả lớn do AI tạo ra.” Đây là đợt công khai thứ hai của họ: một kho trước đó, openai/ten-proofs, chứa mười kết quả, còn bản ghi chép của chúng tôi về tuyên bố Navier–Stokes[18] đã bao quát sự kiện hồi tháng Chín.
§ 05 — Chúng tôi đang theo dõi những gì
- Các đợt kiểm tra độc lập. Những bản viết đầu tiên của các nhà toán học về từng họ riêng lẻ, bắt đầu từ nửa mặt phẳng không có không điểm và các nhân tử nhóm tự do.
- Thêm tệp Lean. Con số 162 bài đã hình thức hóa tăng nhanh tới mức nào về phía 722.
- Một bản sao do cộng đồng lưu trữ. Liệu các bài báo có chuyển sang một kho mà OpenAI không kiểm soát hay không, như họ nói đang tìm hiểu.
- Bản thân mô hình. Kế hoạch phát hành của OpenAI cho mô hình đã tạo ra các kết quả.
IV.
Lúc 21:47 UTC ngày 6/10/2026, một kho lưu trữ tên openai/math xuất hiện trên GitHub, không có mô tả và chỉ với một lần commit khởi tạo. Mười bốn phút sau, OpenAI đăng nó lên X và dựng một trang đi kèm, “Chia sẻ tiến bộ AI trong toán học”. Hai thứ đó cộng lại mô tả một sự kiện chưa từng có tiền lệ: 722 bản thảo toán học, nhóm thành 372 họ, do một mô hình tiền tuyến nội bộ tạo ra — mô hình mà OpenAI chưa đặt tên, chưa định giá, và không thể gọi từ bất kỳ API nào. Những mô hình mà nó đứng trên là những mô hình bạn thực sự có thể với tới hôm nay — GPT-6 Astra ở mức 10/50 đô la mỗi triệu token và GPT-6.1 Sol ở mức 2/10 đô la — và chẳng mô hình nào trong hai cái đó viết ra những bài báo này[19]. OpenAI nói mô hình đã viết chúng thì vẫn đang được huấn luyện, và rằng họ đang nỗ lực “phát hành có trách nhiệm” nó. Đây là những gì đã được kiểm chứng tới lúc này, những gì chưa, và một câu hỏi duy nhất mà người đọc nên rút ra từ đó.
Hãy bắt đầu bằng việc đợt công bố này không phải cái gì. Nó không phải một đợt ra mắt mô hình: không có thẻ mô hình, không mã định danh, không cửa sổ ngữ cảnh, không bảng điểm chuẩn, không ngày tháng. Nó không phải một bài báo khoa học: chưa thứ gì ở đây được bình duyệt[20], và OpenAI nói thẳng rằng các kết quả không có bản hình thức hóa Lean “có thể có vấn đề”. Và nó cũng không phải một vụ rò rỉ — lý do bài viết này được đóng khung theo lối “những gì chúng ta biết tới lúc này” không phải vì tài liệu là bí mật, mà vì bản thân chủ thể, tức mô hình, thì chưa được phát hành. Mọi thứ khác bên dưới đều có thể đối chiếu với kho lưu trữ, với bài đăng của chính OpenAI, và với nhóm cố vấn mà OpenAI nói họ đã tham vấn.
Thứ thực sự đã đáp xuống ngày 6 tháng Mười
Kho lưu trữ là công khai, cấp phép Apache-2.0, và viết bằng Lean. README của nó nêu rằng catalogue “chứa 722 bản thảo được tổ chức thành 372 họ”, trong đó một họ nhóm một kết quả chính cùng với các lập luận đi kèm, các hệ quả hoặc các chứng minh thay thế. Bản đồ bản thảo đủ chi tiết để kiểm toán: 372 họ, mỗi họ một kết quả chính, được liệt kê cùng các bài báo cấu thành và, ở nơi có sẵn, một liên kết tới bản hình thức hóa Lean.
Bài đăng của OpenAI bổ sung các con số về xuất xứ, vốn là số liệu của chính họ và không được kiểm toán độc lập:
- Số bài toán được đặt ra — khoảng 4.000, từ đó các họ được công bố đã được chọn ra
- Lượng tính toán cho mỗi kết quả — trung bình, tương đương khoảng ba giờ suy nghĩ của ChatGPT Pro
- Tóm tắt suy luận — 10 bản được công bố, bao phủ các họ gồm số mũ vô tỷ của π, các giả thuyết Mahler đối xứng và tổng quát, giả thuyết hữu hạn trực tiếp của Kaplansky trong đặc số hai, công thức Mézard–Parisi cho thủy tinh spin loãng[21] và hệ Vlasov–Maxwell tương đối tính ba chiều[22]
- Chính sách sửa đổi — các phiên bản mới được đăng khi có hiệu chỉnh, các phiên bản cũ vẫn giữ truy cập được
Các chủ đề trải khắp bản đồ: lý thuyết số, hình học đại số và hình học phức, tổ hợp, khoa học máy tính lý thuyết, đại số toán tử, xác suất và vật lý toán. Một số tên họ, chỉ nhìn bề mặt, đã là những tuyên bố rất lớn — một phản ví dụ cho giả thuyết phủ Ryser, phép nhân số nguyên dưới mức n log n[23], phép nhân ma trận với số mũ không quá 9/4[24], các giả thuyết Mahler, các phản ví dụ cho Baum–Connes và Kadison–Kaplansky[25]. Một cái cụ thể nào đó có đứng vững hay không thì chính là câu hỏi mà đợt công bố này không giải quyết hộ bạn.
Mô hình thì không tên, không phát hành, và OpenAI nói nó sắp tới
README nói rõ không úp mở về tác giả: “các bản thảo toán học và các tạo phẩm chứng minh hỗ trợ do một mô hình nội bộ của OpenAI tạo ra”, với tuyệt đại đa số thu được “bằng một mô hình nội bộ chưa phát hành của OpenAI”. Không tên, không mật danh, không kích cỡ. Những cái tên đang lưu truyền trong các bản tin khác chưa được OpenAI xác nhận, và chúng tôi sẽ không cung cấp một cái tên nào.
Thứ có thể định ngày được là mốc thời gian quanh nó. Ngày 28/8/2026, theo trang của OpenAI về nhóm cố vấn toán học của họ, công ty “bắt đầu huấn luyện một mô hình nội bộ mới”, mô hình mà từ đó đã giải quyết bài toán Giải thưởng Thiên niên kỷ Navier–Stokes và, theo cách đếm của chính OpenAI, hơn 100 bài toán mở tồn tại đã lâu. Kết quả Navier–Stokes được công bố riêng vào ngày 8/9/2026, khi OpenAI mô tả mô hình đứng sau nó là “có năng lực cao hơn đáng kể so với GPT-6 Astra” và nói việc huấn luyện vẫn đang tiếp diễn. Hai trong số các bản thảo của bộ sưu tập tuần này phá vỡ quy trình tiêu chuẩn, điều đáng ghi nhận vì nó có nghĩa là đợt công bố không phải một dây chuyền đồng nhất: công trình về một miền không có không điểm cho hàm zeta Riemann và một chứng minh giả thuyết Hodge cho các đa tạp abel có nhân phức đã được xử lý theo cách khác, và OpenAI nói bản viết về hàm zeta đã được con người biên tập cho dễ đọc.
Rồi tới câu quan trọng với bất kỳ ai đang lên kế hoạch dựa trên chuyện này: OpenAI viết rằng họ “đang nỗ lực phát hành một cách có trách nhiệm mô hình đã tạo ra các kết quả này”. Đó là một tuyên bố về ý định, không phải một mốc ngày. Cho tới khi nó ra mắt, những mô hình OpenAI duy nhất mà một lập trình viên có thể gọi vẫn là những mô hình đã có trên bảng giá.
“Kiểm chứng” ở đây nghĩa là gì — và nó dừng ở đâu
Đây là phần mà hầu hết các bản tin về đợt công bố nén lại thành một cụm từ, và cũng chính là phần quyết định nên đặt bao nhiêu sức nặng lên bất kỳ bài báo đơn lẻ nào.
OpenAI nói rõ rằng “bộ sưu tập này bao gồm các kết quả ở những giai đoạn kiểm chứng khác nhau”. Dạng bằng chứng mạnh nhất trong gói là một bản hình thức hóa Lean, thứ cho phép máy tính kiểm chứng minh thay vì một con người. Bản kê hình thức hóa của chính kho lưu trữ — catalogue các bài báo có kết quả chính đã hình thức hóa — liệt kê 162 mục, nên khoảng một phần năm trong số 722 bản thảo là có một chứng minh máy kiểm được chống lưng trong cây thư mục công khai. OpenAI nói sẽ bổ sung thêm “khi chúng tôi có được chúng”.
Phần đại đa số còn lại thì không được kiểm chứng theo nghĩa đó, và OpenAI không giả vờ ngược lại đối với toàn bộ bộ sưu tập: “Một số kết quả chưa hình thức hóa có thể có vấn đề. Chúng tôi sẽ cố gắng khắc phục nhanh chóng mọi vấn đề như vậy.” Hai chi tiết mang tính cấu trúc củng cố rằng đây là một đợt công bố được quản lý chứ không phải một đợt công bố mở — mục báo lỗi (issues) bị tắt trên kho lưu trữ, và các yêu cầu hợp nhất mã (pull requests) bị giới hạn cho cộng tác viên[26]. Không có con đường công khai nào để phản bác một chứng minh ngay tại chỗ.
Vậy nên cách đọc trung thực thì hẹp hơn những gì con số tiêu đề gợi ý:
- Đã được máy kiểm — 162 bản thảo có kết quả chính đã hình thức hóa trong cây Lean công khai
- Chưa được máy kiểm — phần còn lại, mà chính OpenAI gắn cờ là có thể chứa lỗi
- Trách nhiệm của con người — không ai được nêu tên; cách OpenAI tự đóng khung là không một người nào hiểu được các lập luận đằng sau phần lớn những gì đã được tạo ra
- Đánh giá độc lập — chưa có bản nào được công bố; việc chọn kết quả nào “đáng kể” đủ để đưa vào là do OpenAI quyết định
Không điều nào trong số đó có nghĩa là công trình này sai. Nó có nghĩa là hiện giờ, “OpenAI đã công bố 722 chứng minh” và “722 chứng minh đã được kiểm” là hai phát biểu khác nhau, và chỉ phát biểu thứ nhất là đúng ngày hôm nay.
Nhóm cố vấn đã gắn kèm một điều kiện, và nó được ghi vào biên bản
Bài đăng của OpenAI nói họ đã tham vấn Nhóm Cố vấn độc lập về Toán học và Trí tuệ Nhân tạo tại Viện Nghiên cứu Cao cấp và dựa vào “lời khuyên cùng các khuyến nghị công khai của họ”. Các khuyến nghị đó được công bố ngày 29/9/2026, sau khi nhóm nhận được hơn 600 phản hồi từ cộng đồng toán học, và chúng đáng được đọc trực tiếp, bởi nhóm này không phải một con dấu đóng cho có.
Chính văn bản ấy mở đầu bằng việc tuyên bố rằng nhóm hoàn toàn không tán thành cách làm này: “một số phòng thí nghiệm AI tiền tuyến đang thử nghiệm các bài toán nâng cao trên những mô hình độc quyền vốn vẫn không tiếp cận được đối với cộng đồng khoa học rộng hơn… chúng tôi không tán thành cách làm này, và chúng tôi đề nghị họ ngừng lại.” Nhóm cũng mô tả mình là hoạt động độc lập, với các thành viên không nhận thù lao và không có quyền ra quyết định đối với OpenAI — một mô tả về mối quan hệ mà chính bài đăng của OpenAI cũng nhắc lại.
Chỗ mà các khuyến nghị của nhóm và đợt công bố này trùng khớp là về quy trình: một bản rà soát tài liệu kỹ lưỡng kèm trích dẫn tới những công trình đã đưa ra các ý tưởng, các bản viết chứng minh được soạn theo một phong cách chuẩn mực thay vì đầu ra thô của mô hình, và việc đánh phiên bản sao cho giữ lại các đợt công bố trước. Chỗ không trùng khớp là phần mà nhóm gọi là trung tâm — rằng một phòng thí nghiệm công bố những kết quả không ai hiểu thì phải tài trợ cho phần hiểu biết của con người phải theo sau đó, thông qua hội thảo, hội nghị và các chương trình, và rằng công việc ấy phải do cộng đồng dẫn dắt chứ không phải do phòng thí nghiệm chỉ đạo. OpenAI đã cam kết tài trợ “một loạt hội thảo, hội nghị và chương trình đặc biệt xoay quanh việc hiểu các kết quả lớn do AI tạo ra” và nói chi tiết sẽ có sau. Đó là khoản còn bỏ ngỏ, và đó là khoản cần bắt họ giữ lời.
Hôm nay bạn gọi được gì, và định tuyến ở đây thực chất để làm gì[27]
Không có cách nào gửi một yêu cầu tới mô hình đã tạo ra các bản thảo này, và không nền tảng bên thứ ba nào có thể định tuyến tới nó — bất kỳ danh mục nào tuyên bố ngược lại đều đang mô tả một mô hình không tồn tại trong catalogue của bất kỳ ai. Các mô hình OpenAI đang chạy sản xuất là dòng GPT-6 đang hoạt động, và các con số của chúng nằm trên bảng giá chứ không phải được suy đoán:
- GPT-6 Astra — 10/50 đô la mỗi triệu token, 1 đô la cho đọc bộ nhớ đệm; bậc ngữ cảnh dài trên 272 nghìn token nhắc ở mức 20/75 đô la; ngữ cảnh 1,05 triệu token, đầu ra tối đa 128 nghìn
- GPT-6.1 Sol — 2/10 đô la mỗi triệu token, 0,10 đô la cho đọc bộ nhớ đệm; cùng cách phân bậc ngữ cảnh dài ở mức 4/15 đô la; ngữ cảnh 1,05 triệu token, đầu ra tối đa 128 nghìn
Cả hai đều có trong catalogue của OrcaRouter, và đó là điểm thực dụng dành cho bất kỳ ai đọc đợt công bố này như một tín hiệu về năng lực: những mô hình bạn được phép dùng hôm nay cũng chính là những mô hình mà các câu nhắc của bạn vốn đã được định hình quanh chúng, còn khoảng cách giữa chúng với mô hình nội bộ chính là khoảng cách mà OpenAI đang nhờ các nhà toán học giúp mình khép lại.
Khoảng cách đó cũng là một lý do để tách hóa đơn thử nghiệm ra khỏi đường chạy sản xuất. Khi OpenAI đặt tên và đặt giá cho mô hình này, tuần đầu tiên sẽ là một trận lụt các tuyên bố điểm chuẩn chưa kiểm chứng và rất nhiều việc tích hợp lại trong hoảng loạn — lập luận về định tuyến cho một nền tảng như của chúng tôi là ở chỗ: thử một mô hình chưa được chứng thực khi ấy chỉ tốn của bạn một chuỗi tên mô hình, chứ không phải cả một cuộc di trú. GPT-6 Astra nằm ở mức 10/50 đô la và GPT-6.1 Sol ở mức 2/10 đô la mỗi triệu token, được chuyển tiếp đúng giá niêm yết với mức chênh 0%, nên khi nhà cung cấp đổi giá thì giá mới có hiệu lực ngay trong ngày. Chuyển dự phòng tự động nghĩa là một mô hình mới có thể gánh một phần lưu lượng rồi bị loại bỏ mà không kéo sập cả đường xử lý yêu cầu, và ngôn ngữ chuyên dụng định tuyến cho phép bạn kết hợp nhiều mô hình vào một lệnh gọi, nếu bạn muốn một ý kiến thứ hai cho một chuỗi suy diễn dài thay vì một câu trả lời duy nhất. Chẳng điều nào trong số đó áp dụng cho một mô hình chưa ra mắt — nhưng đó đúng là hạ tầng bạn muốn có sẵn trước khi mô hình kế tiếp ra mắt.
Theo dõi gì tiếp theo
Bốn thứ, theo thứ tự chúng có khả năng trở nên quan trọng. Con số hình thức hóa, bởi đó là con số duy nhất trong đợt công bố này có thể dịch chuyển từ “OpenAI nói vậy” sang “một cái máy đã kiểm rồi”, và nó công khai. Đánh giá độc lập thực sự đầu tiên về một kết quả có tên — một nhà toán học bên ngoài OpenAI lần giở một bài báo cụ thể một cách công khai, chứ không phải một bản tóm tắt về cả bộ sưu tập. Kho lưu trữ do cộng đồng vận hành mà OpenAI nói họ vẫn đang tìm hiểu, thứ sẽ đưa tạo phẩm này ra khỏi tài khoản của chính OpenAI và vào tay giới chuyên ngành. Và việc phát hành bản thân mô hình, điều OpenAI đã cam kết nhưng chưa định lịch.
722 bản thảo có nghĩa là AI đã giải được những bài toán này không?
Với một tập con, nếu phần toán học đứng vững: bộ sưu tập tuyên bố có các phản ví dụ và chứng minh trải trên những bài toán mở nổi tiếng, và 162 bài báo có một bản hình thức hóa máy kiểm được chống lưng cho kết quả chính của chúng. Với phần còn lại, tuyên bố ở đây là một mô hình đã tạo ra một bản thảo về bài toán đó — một phát biểu yếu hơn so với một lời giải đã được kiểm chứng — và chính OpenAI cảnh báo rằng các kết quả chưa hình thức hóa có thể chứa lỗi. Sự phân biệt giữa “đã tạo ra một chứng minh” và “có một chứng minh” chính là toàn bộ câu chuyện của đợt công bố này.
Có thứ gì trong số này dùng được trong một sản phẩm ngay hôm nay không?
Không. Các bản thảo là tệp PDF, mã nguồn Lean và bản tóm tắt suy luận — tạo phẩm nghiên cứu, không phải một dịch vụ. Không có mã mô hình, không điểm cuối, không giá và không mẫu đơn xin truy cập. Phần thực sự hữu dụng của đợt công bố này đối với một lập trình viên là sự xác nhận rằng OpenAI có một mô hình vượt GPT-6 Astra một cách thực chất đang được huấn luyện, và đó là một tín hiệu để lên kế hoạch cho mười hai tháng tới, chứ không phải thứ bạn có thể gọi trong tuần này.
Vì sao OpenAI công bố kết quả thay vì công bố mô hình?
Bởi hai thứ đó có hồ sơ rủi ro khác nhau. Công bố các bản thảo thì đảo ngược được — OpenAI giữ lại các phiên bản cũ và nói sẽ sửa các vấn đề — còn phát hành mô hình thì không. OpenAI tuyên bố họ đang nỗ lực phát hành nó một cách có trách nhiệm, và các khuyến nghị của nhóm cố vấn, thứ mà công ty nói mình đã dựa vào, được dựng đúng quanh trình tự này: đưa các kết quả vào tay giới chuyên ngành kèm trích dẫn và đánh phiên bản, rồi tài trợ cho phần hiểu biết của con người phải theo sau.
Bản một dòng dành cho ai đọc lướt: một khối toán học do AI tạo ra, thực sự chưa từng có tiền lệ, đã được công khai ngày 6 tháng Mười; khoảng một phần năm trong đó đã được máy kiểm, không phần nào được bình duyệt, và tất cả đều gắn với một mô hình bạn không dùng được. Câu hỏi thú vị không phải là mô hình có năng lực hay không — ba giờ tính toán suy nghĩ tiền tuyến cho mỗi kết quả trên 4.000 bài toán đã trả lời điều đó, và OpenAI nói mô hình có năng lực cao hơn đáng kể so với GPT-6 Astra — mà là liệu việc kiểm chứng và sự hiểu biết của con người có đuổi kịp hay không, trước khi đợt công bố kế tiếp làm đợt này trở nên lỗi thời.
[1] Các Bài toán Giải thưởng Thiên niên kỷ (Millennium Prize Problems) — bảy bài toán mở do Viện Toán học Clay chọn ra năm 2000, mỗi bài treo giải một triệu đô la. Mới một bài được giải: giả thuyết Poincaré, do Grigori Perelman chứng minh năm 2003 (ông từ chối nhận giải). Việc bài báo nói “năm bài còn lại” là nhất quán với tiền đề của chính nó: nếu Navier–Stokes đã được giải hồi tháng 9/2026 như bài thuật lại, thì còn đúng năm bài.
[2] Đây là cùng sự việc được nhắc tới trong bài phỏng vấn Geoffrey Hinton trên The Atlantic — một nhà nghiên cứu của Anthropic từ chức ngày 8/9/2026 để phản đối tốc độ phát triển. Cả hai bài đều nằm ngoài phạm vi kiểm chứng của người dịch.
[3] Giả thuyết Riemann — phát biểu rằng mọi không điểm “không tầm thường” của hàm zeta Riemann đều nằm trên đường thẳng có phần thực bằng 1/2. Được xem là bài toán mở quan trọng nhất của toán học thuần túy, liên quan trực tiếp tới quy luật phân bố số nguyên tố. Nêu từ năm 1859, chưa ai chứng minh.
[4] Huy chương Fields — giải thưởng danh giá nhất của toán học, trao bốn năm một lần cho tối đa bốn nhà toán học dưới 40 tuổi. Alex Kontorovich là giáo sư Đại học Rutgers, chuyên về lý thuyết số giải tích — tức đúng lĩnh vực của kết quả Riemann mà ông bình luận.
[5] Lean — một “trợ lý chứng minh” (proof assistant), tức phần mềm cho phép viết các chứng minh toán học dưới dạng hình thức tuyệt đối chặt chẽ rồi để máy tính kiểm tra từng bước suy luận. Nếu Lean chấp nhận một chứng minh thì chứng minh ấy đúng về mặt logic, không có kẽ hở. Đây là lý do con số 162 bài có bản Lean mang trọng lượng hoàn toàn khác với 560 bài còn lại.
[6] Đây là chỗ dễ hiểu nhầm nhất trong cả tệp. Tuyên bố ở đây không phải là đã chứng minh giả thuyết Riemann. Giả thuyết Riemann đòi hỏi không có không điểm nào nằm ngoài đường Re(s) = 1/2. Tuyên bố ở đây yếu hơn: không có không điểm nào trong miền Re(s) > 7/8. Tuy vậy nó vẫn là một kết quả khổng lồ — hiện nay giới toán học chưa chứng minh được một nửa mặt phẳng không có không điểm nào dạng Re(s) > c với bất kỳ hằng số c < 1 nào. Hàm L Dirichlet là một họ hàm mở rộng của hàm zeta Riemann, gắn với số nguyên tố trong các cấp số cộng.
[7] Giả thuyết Mahler — một bài toán hình học lồi, đặt ra cận dưới cho tích thể tích của một vật lồi và vật đối ngẫu của nó. Trường hợp đối xứng đã được chứng minh trong không gian ba chiều năm 2020; trường hợp tổng quát ở mọi chiều vẫn mở.
[8] Giả thuyết ước của không của Kaplansky — phát biểu rằng vành nhóm của một nhóm không xoắn trên một trường thì không có ước của không. Đáng chú ý: năm 2021 Giles Gardam đã tìm được phản ví dụ cho một giả thuyết khác của Kaplansky, giả thuyết về phần tử khả nghịch; giả thuyết ước của không thì tới nay vẫn mở.
[9] Vấn đề đẳng cấu của các nhân tử nhóm tự do — hỏi rằng đại số von Neumann sinh bởi nhóm tự do m phần tử sinh và nhóm tự do n phần tử sinh có đẳng cấu với nhau hay không khi m ≠ n. Mở từ thập niên 1930, là một trong những bài toán nổi tiếng nhất của ngành đại số toán tử.
[10] Apache 2.0 — một giấy phép mã nguồn mở cho phép sử dụng, sửa đổi và phân phối lại, kể cả cho mục đích thương mại, kèm điều khoản về bằng sáng chế.
[11] Số mũ vô tỷ (irrationality exponent) đo mức độ một số vô tỷ có thể được xấp xỉ tốt đến đâu bằng phân số. Hầu hết số vô tỷ có số mũ bằng đúng 2. Với π, cận trên tốt nhất được chứng minh trước đợt công bố này là khoảng 7,1; con số 2 được kỳ vọng nhưng chưa ai chứng minh.
[12] Bài toán thứ mười của Hilbert hỏi có thuật toán nào quyết định được một phương trình Diophantine có nghiệm hay không. Với số nguyên, câu trả lời là không, do Yuri Matiyasevich chứng minh năm 1970. Phiên bản trên trường số hữu tỷ vẫn là bài toán mở.
[13] Giả thuyết Hodge — cũng là một trong bảy Bài toán Giải thưởng Thiên niên kỷ. Phát biểu ở đây giới hạn vào một lớp đối tượng đặc biệt (đa tạp abel có nhân phức), nên nó là một trường hợp riêng, không phải toàn bộ giả thuyết.
[14] Mâu thuẫn trong bản gốc. Ở hai chỗ khác và trong Bảng 3, miền không có không điểm được ghi là Re(s) > 7/8. Riêng ở câu này, bản gốc ghi Re(s) > 11/12. Hai con số này khác nhau (7/8 ≈ 0,875; 11/12 ≈ 0,917) và bản gốc không giải thích vì sao. Có thể là hai kết quả khác nhau trong cùng một họ, cũng có thể là lỗi của người viết. Tôi dịch đúng như bản gốc ở cả hai chỗ chứ không tự chỉnh về một con số.
[15] Cộng các con số trong bảng được đúng 372, khớp với tổng số họ mà bài nêu. Đây là một trong số rất ít con số trong tệp có thể tự kiểm tra tính nhất quán.
[16] Đây là câu quan trọng nhất của toàn bộ tài liệu về mặt phương pháp. Máy kiểm được rằng chứng minh hình thức dẫn tới phát biểu hình thức. Nhưng việc phát biểu hình thức ấy có thực sự diễn đạt đúng điều mà bài báo tuyên bố hay không thì vẫn là việc của con người — và đó chính là khe hở mà mọi tranh luận về đợt công bố này xoay quanh.
[17] Viện Nghiên cứu Cao cấp (Institute for Advanced Study) ở Princeton, New Jersey — trung tâm nghiên cứu độc lập, không cấp bằng, nơi từng làm việc của Einstein, Gödel, von Neumann. Việc nhóm cố vấn đặt tại đây mang ý nghĩa về tính độc lập với các phòng thí nghiệm AI.
[18] Phương trình Navier–Stokes mô tả chuyển động của chất lỏng. Bài toán Giải thưởng Thiên niên kỷ liên quan hỏi liệu nghiệm trơn có luôn tồn tại trong không gian ba chiều hay không, hay có thể “nổ” trong thời gian hữu hạn.
[19] Các mô hình, mức giá và thông số nêu trong phần này đều thuộc về tháng 10/2026 và nằm ngoài phạm vi kiểm chứng của người dịch.
[20] Bình duyệt (peer review) — quy trình trong đó một bài báo khoa học được các chuyên gia độc lập cùng ngành thẩm định trước khi tạp chí chấp nhận đăng. Việc toàn bộ 722 bản thảo chưa qua bình duyệt là một trong những điểm được bài nhấn mạnh nhiều nhất.
[21] Thủy tinh spin (spin glass) — mô hình vật lý thống kê về các hệ từ tính có tương tác hỗn loạn. Công thức Parisi cho năng lượng tự do của mô hình này là công trình đã mang về giải Nobel Vật lý 2021 cho Giorgio Parisi; phiên bản “loãng” là một biến thể trên đồ thị thưa.
[22] Hệ Vlasov–Maxwell mô tả chuyển động của plasma không va chạm trong trường điện từ do chính nó sinh ra.
[23] Năm 2019, David Harvey và Joris van der Hoeven đưa ra thuật toán nhân hai số nguyên n chữ số với độ phức tạp O(n log n), và giới chuyên môn phần lớn tin rằng đó là ngưỡng tối ưu không thể vượt qua. Một thuật toán “dưới mức n log n” sẽ bác bỏ niềm tin đó.
[24] Số mũ nhân ma trận ω là số mũ nhỏ nhất sao cho hai ma trận n×n có thể nhân với nhau trong thời gian khoảng n^ω. Kỷ lục trước đợt công bố này là khoảng 2,371. Con số 9/4 = 2,25 sẽ là một bước tiến lớn, dù vẫn chưa chạm tới giá trị 2 mà giới chuyên môn phỏng đoán là tối ưu.
[25] Giả thuyết Baum–Connes và giả thuyết Kadison–Kaplansky là hai giả thuyết lớn trong đại số toán tử và hình học không giao hoán. Giả thuyết phủ Ryser là một bài toán tổ hợp mở từ thập niên 1960 về siêu đồ thị.
[26] Hai thiết lập kỹ thuật này có ý nghĩa thực chất chứ không chỉ là chi tiết vận hành. Tắt “issues” nghĩa là không ai ngoài OpenAI có thể công khai báo lỗi ngay trên kho lưu trữ; giới hạn “pull requests” nghĩa là không ai ngoài cộng tác viên được chỉ định có thể đề xuất sửa đổi. Cộng lại, kho này công khai để đọc nhưng đóng đối với phản biện — đúng như đoạn văn nhận xét.
[27] Từ đây tới hết mục này là nội dung quảng cáo. Phần III và IV của tệp do OrcaRouter, một nền tảng định tuyến lệnh gọi mô hình AI, viết và đăng trên trang của chính họ. Các đoạn bàn về giá token, chuyển dự phòng và ngôn ngữ định tuyến là lời chào hàng cho dịch vụ của người viết, không phải phân tích độc lập. Bản gốc có các dấu “++…++” bao quanh những cụm từ này — đó là các liên kết tiếp thị trỏ về trang bán hàng của họ. Điều này không nhất thiết làm sai phần phân tích về đợt công bố của OpenAI ở các mục trước, nhưng người đọc nên biết ai đang viết và viết để làm gì.
