OpenAI và ngày tận thế toán học

Ngày 6 tháng 10 năm 2026, OpenAI công bố một kho dữ liệu khổng lồ: 722 bản thảo, gộp lại thành 372 nhóm kết quả toán học mới, do một model nội bộ chưa phát hành tạo ra. Chỉ vài giờ sau, nhà khoa học máy tính Scott Aaronson viết trên blog cá nhân rằng đây là một trong những ngày vĩ đại nhất lịch sử toán học, và đặt cho nó một cái tên gây sốt khắp mạng xã hội: "Mathocalypse" (ngày tận thế toán học). Nhưng không phải ai cũng ăn mừng, giới toán học và cả giới tiền số đều đang tranh cãi dữ dội về chuyện này.

🧮 OpenAI đã công bố cái gì

Kho kết quả được đăng công khai trên GitHub, tuyên bố giải quyết hoặc tiến gần tới lời giải của nhiều bài toán khó trong nhiều lĩnh vực: lý thuyết số, hình học, khoa học máy tính lý thuyết, đại số, vật lý toán và phương trình vi phân. Trong danh sách có những cái tên quen thuộc với giới toán học như giả thuyết Mahler, số mũ vô tỷ chính xác của số pi, giả thuyết Unique Games, bài toán đẳng cấu nhân tử nhóm tự do, và một kết quả về hệ phương trình Vlasov-Maxwell tương đối tính.

Điều đáng chú ý là nhiều chứng minh đi kèm bản xác nhận bằng Lean, một ngôn ngữ lập trình chuyên dùng để máy tính tự kiểm tra tính đúng đắn của một chứng minh toán học, thay vì chỉ dựa vào lời khẳng định của AI. OpenAI cũng cho biết việc công bố được thực hiện theo khuyến nghị của một hội đồng cố vấn độc lập thuộc Viện Nghiên cứu Cao cấp (IAS), trong đó có hai tên tuổi lớn là Timothy Gowers và Edward Witten, hội đồng này đã ra hướng dẫn công khai từ ngày 29 tháng 9.

😲 Vì sao giới toán học không vui

Câu chuyện này không tự nhiên mà có. Trước đó, hồi tháng 9, OpenAI từng tài trợ một cuộc thi mang tên Caltech Mathathon, nơi người chơi dùng AI để tấn công các bài toán nghiên cứu còn bỏ ngỏ. Một bức thư ngỏ phản đối với khoảng 771 chữ ký của các nhà toán học đã khiến OpenAI phải rút tài trợ. Ngay sau đó, 25 người từng đoạt giải Fields, giải thưởng cao quý nhất ngành toán, trong đó có Terence Tao, Peter Scholze, Maryna Viazovska, Cédric Villani, cùng ký một tuyên bố mang tên "Một sự lệch lạc nghiêm trọng của AI trong toán học".

Mối lo chung của họ gọi là "slop mathematics", tức những kết quả nhìn qua có vẻ hợp lý nhưng thực chất hời hợt, được AI tạo ra ồ ạt, làm nhiễu loạn kho tàng nghiên cứu. Khi một hãng AI công bố hàng trăm "kết quả" cùng lúc, chính các nhà toán học phải bỏ công sức kiểm chứng, phản bác hoặc xác nhận từng cái, mà công sức đó thường không được ghi nhận hay trả công. Đây là lý do vì sao ngay cả một đợt công bố có vẻ ấn tượng như lần này vẫn vấp phải phản ứng e dè thay vì chỉ toàn lời khen.

Vì sao dân tiền số cũng giật mình

Phản ứng bất ngờ nhất lại đến từ giới tiền số. Justin Drake, nhà nghiên cứu của Ethereum Foundation, lên tiếng kêu gọi cả ngành chuẩn bị "chế độ hầm trú" (bunker mode), tức dần chuyển tiền sang các địa chỉ ví mà khoá công khai (public key) chưa từng bị lộ ra ngoài. Lý do: ECDSA, thuật toán chữ ký số đứng sau cả Bitcoin lẫn Ethereum, dùng để chứng minh một giao dịch đúng là do chủ ví thực hiện. Một khi ví đã giao dịch, khoá công khai của nó lộ ra công khai trên blockchain, nếu ai đó phá được ECDSA bằng toán học, họ có thể lần ngược từ khoá công khai ra khoá riêng tư và rút sạch ví. Drake cảnh báo tốc độ tiến bộ toán học nhờ AI nhanh đến mức ECDSA có thể bị phá trước cả khi máy tính lượng tử kịp làm điều đó, trong kịch bản xấu nhất là "tính bằng tháng chứ không phải bằng năm".

Ngược lại, Vitalik Buterin, đồng sáng lập Ethereum, giữ thái độ bình tĩnh hơn nhiều. Ông từng bác bỏ dự đoán rằng AI có thể khiến giá Bitcoin sụt hơn một nửa, cho rằng khả năng đó rất thấp. Thay vào đó, Buterin nhìn thấy mặt tích cực: AI hỗ trợ kiểm chứng hình thức (formal verification) có thể giúp chứng minh toán học rằng một phần mềm an toàn đúng như thiết kế, biến việc bảo mật từ chỗ chỉ biết săn lỗi sau khi xảy ra sự cố, sang chủ động chứng minh trước bằng toán học.

Điều này có ý nghĩa gì với bạn

Bạn không cần hiểu Lean hay giả thuyết Mahler để thấy đây là một cột mốc đáng chú ý. Nó cho thấy AI đang tiến rất nhanh vào những lĩnh vực tưởng chừng chỉ con người mới làm được, như chứng minh toán học hàn lâm. Nhưng cũng chính vì tốc độ công bố quá nhanh, bạn nên giữ thói quen hoài nghi lành mạnh: một kết quả do AI tạo ra, dù kèm "giấy chứng nhận" như Lean, vẫn cần thời gian để cộng đồng khoa học kiểm chứng độc lập trước khi xem là sự thật cuối cùng. Đây cũng là một ví dụ thực tế cho hiện tượng AI ảo giác mà bạn có thể đã biết, khi AI đưa ra câu trả lời rất tự tin nhưng chưa chắc đã đúng hoàn toàn.

Nếu bạn có tài sản trong Bitcoin hay Ethereum, câu chuyện ECDSA là lời nhắc để bạn theo dõi thêm tin tức về bảo mật ví, dù giới chuyên gia vẫn còn bất đồng về mức độ khẩn cấp. Và nếu bạn tò mò AI "suy nghĩ" kiểu gì để ra được chứng minh phức tạp như vậy, đó chính là lúc model bật chế độ suy luận (reasoning), viết ra từng bước lập luận trước khi chốt câu trả lời cuối, giống cách một người giải toán nháp ra giấy trước khi viết đáp án sạch.

Câu hỏi thường gặp

OpenAI đã thực sự giải xong các bài toán khó này chưa? Chưa chắc chắn hoàn toàn. OpenAI công bố kèm xác nhận Lean cho nhiều chứng minh, nhưng cộng đồng toán học quốc tế vẫn cần thời gian kiểm chứng độc lập trước khi coi đây là kết quả chính thức được công nhận.

Vì sao các nhà toán học lo ngại thay vì vui mừng? Vì lo một làn sóng kết quả do AI tạo ra ồ ạt, nhìn có vẻ đúng nhưng chưa được kiểm chứng kỹ, sẽ làm nhiễu loạn kho tàng nghiên cứu và đổ thêm việc kiểm tra không công cho các nhà khoa học.

ECDSA bị phá thì ví Bitcoin, Ethereum của tôi có mất tiền ngay không? Chưa, đây vẫn là cảnh báo phòng ngừa. Nhưng nếu ECDSA thực sự bị phá trong tương lai, những ví có khoá công khai đã lộ trên blockchain sẽ có rủi ro cao hơn ví chưa từng giao dịch.

Lean là gì mà được nhắc nhiều vậy? Lean là một ngôn ngữ lập trình chuyên dụng, cho phép máy tính tự kiểm tra từng bước logic của một chứng minh toán học, giúp giảm rủi ro chứng minh có sai sót mà mắt người bỏ sót.

Tôi có nên tin tuyệt đối vào mọi "kết quả AI" được công bố rầm rộ không? Không nên. Luôn coi đó là thông tin ban đầu cần được xác minh, đặc biệt với các tuyên bố lớn, đây cũng là bài học chung khi dùng AI cho bất kỳ việc gì đòi hỏi độ chính xác cao.

Đọc thêm về AI là gì để hiểu nền tảng trước khi theo dõi những tin lớn như thế này, về chế độ suy luận của AI là gì và khi nào nên bật, về AI ảo giác là gì và vì sao AI hay bịa chuyện một cách tự tin, và về cách đọc benchmark AI cho đúng khi thấy những con số gây sốc.

#OpenAI #ToanHoc #AI2026 #TinTucAI #MaHoa