OpenAI công bố 372 kết quả toán học do mô hình AI nội bộ tạo ra ngày 6/10/2026, nhiều nhà toán học vẫn đòi kiểm chứng

OpenAI vừa công bố một loạt kết quả toán học lớn do mô hình AI nội bộ của hãng tạo ra. Theo Scientific American, ngày 6/10/2026 (giờ Mỹ), công ty đưa lên GitHub 372 kết quả, mỗi kết quả được OpenAI cho là giải quyết hoặc tạo tiến triển đáng kể với một câu hỏi mở lớn trong toán học hoặc khoa học máy tính lý thuyết.

Tóm tắt nhanh: OpenAI công bố 372 kết quả toán học từ một mô hình "frontier" (mô hình tiên phong) chưa phát hành ra công chúng. Nhiều chứng minh đã được hình thức hóa bằng Lean, ngôn ngữ lập trình cho phép máy tính kiểm tra logic chứng minh. Theo OpenAI, trung bình mỗi kết quả dùng lượng tính toán tương đương khoảng 3 giờ suy luận của ChatGPT Pro. Một số nhà toán học yêu cầu công bố mô hình và prompt để kiểm chứng.

OpenAI công bố những gì?

Trong thông báo "Sharing AI progress in mathematics" ngày 6/10, OpenAI cho biết các kết quả được đăng trong một kho GitHub, kèm quy trình sửa bài và trích dẫn. Hãng chia sẻ bản hình thức hóa bằng Lean cho nhiều chứng minh và sẽ bổ sung thêm khi có.

Để minh bạch hơn, OpenAI công bố 10 bản tóm tắt quá trình suy luận của mô hình, ước tính lượng tính toán quy đổi theo mức dùng ChatGPT Pro và thống kê số bài toán đã thử. Công ty cho biết đã tham khảo Nhóm tư 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 (IAS, Mỹ) khi chuẩn bị đợt công bố, và sẽ tài trợ một loạt hội thảo, chương trình chuyên đề để giới toán học tìm hiểu các kết quả do AI tạo ra.

Theo Scientific American, trong số các kết quả OpenAI tuyên bố có lời giải cho giả thuyết Kakeya bốn chiều, cải tiến một số thuật toán máy tính quan trọng và tiến triển hướng tới giả thuyết Riemann. Tạp chí lưu ý giới toán học có thể mất nhiều tháng để đọc và đánh giá, kể cả xác định chứng minh nào chứa ý tưởng mới, chứng minh nào chủ yếu ghép từ kỹ thuật có sẵn.

Vì sao khác với lời giải Navier-Stokes trước đó?

Khoảng một tháng trước, mô hình của OpenAI tạo ra lời giải liên quan bài toán Navier-Stokes, một trong những bài toán mở lớn nhất của toán học. Theo Scientific American, lời giải đó đến từ một "bầy" 10.000 tác tử AI (agent) phối hợp, tiêu tốn hàng triệu USD chi phí tính toán.

Lần này, người phát ngôn OpenAI nói với Scientific American rằng gần như mọi kết quả được tạo ra từ một prompt duy nhất giao cho một tác tử AI duy nhất. Người phát ngôn cũng thừa nhận một số kết quả có thể cần nhiều lần thử. Nếu đúng như vậy, năng lực toán học ở mức này có thể sớm đến tay nhiều người hơn, với chi phí thấp hơn nhiều.

Giới toán học phản ứng thế nào?

Andrew Sutherland, nhà toán học tại Viện Công nghệ Massachusetts (MIT), cho rằng chừng nào OpenAI chưa phát hành mô hình để người khác lặp lại kết quả, các tuyên bố giải bài toán "một lần là xong" bằng một tác tử nên được xem là chưa kiểm chứng. Ông nói giới nghiên cứu nên "đòi biên lai".

Nhóm tư vấn mà OpenAI lập ngày 21/9 khuyến nghị công ty công bố kết quả do AI tạo ra phải công khai mô hình, prompt chính xác và thời gian tính toán cho từng kết quả. Theo Scientific American, OpenAI chỉ công bố thời gian tính toán trung bình cùng một số thống kê, không công bố prompt. Người phát ngôn của hãng nói OpenAI coi trọng các hướng dẫn và cố gắng tuân thủ, nhưng không bị ràng buộc bởi chúng, đồng thời đang làm việc để phát hành mô hình "nhanh và có trách nhiệm nhất có thể".

Quan điểm trong giới toán học không thống nhất. Daniel Litt (Đại học Toronto) cho rằng việc công bố là điều tốt cho toán học, vì không có lý do gì đòi công ty giữ bí mật đáp án. Ngược lại, Terence Tao từng công khai chỉ trích tốc độ công bố kết quả do AI tạo ra của các phòng thí nghiệm AI hàng đầu. Người phát ngôn OpenAI cũng nói nhiều kết quả mới chưa được chính các nhà toán học của công ty hiểu hết.

Doanh nghiệp Việt nên hiểu tin này thế nào?

Tin này cho thấy khả năng suy luận nhiều bước của các mô hình AI hàng đầu đang tăng nhanh, kể cả ở bài toán cần chứng minh chặt chẽ. Tuy vậy, mô hình tạo ra 372 kết quả hiện chưa được phát hành, nên doanh nghiệp chưa thể dùng trực tiếp.

Với doanh nghiệp nhỏ và vừa, điểm đáng chú ý là chi phí: nếu một kết quả khó chỉ cần lượng tính toán tương đương vài giờ suy luận của gói cao cấp, các tác vụ phân tích phức tạp như mô hình tài chính, tối ưu lịch sản xuất hay kiểm tra hợp đồng có thể rẻ hơn trong vài năm tới. Doanh nghiệp nên theo dõi thời điểm OpenAI phát hành mô hình, đồng thời giữ nguyên tắc kiểm tra lại kết quả AI trước khi dùng cho quyết định quan trọng.

Nguồn

• OpenAI, "Sharing AI progress in mathematics" (6/10/2026), bản phân phối qua Public Technologies: pubt.io
• Scientific American, "OpenAI unleashes hundreds more math results upon a field already in shock" (6/10/2026): scientificamerican.com