OpenAI bất ngờ công bố hơn 700 chứng minh toán học cùng lúc, gây chấn động và làn sóng phản đối trong giới toán học toàn cầu

Vào ngày 6/10/2026, OpenAI đã tải lên GitHub hơn 700 bản thảo nghiên cứu, tuyên bố giải quyết hàng trăm bài toán mở tồn tại từ lâu chỉ trong một đợt phát hành duy nhất. Đợt công bố ồ ạt này nối tiếp hàng loạt đột phá bắt đầu từ giữa năm 2026, bao gồm những tiến triển về Giả thuyết khoảng cách đơn vị (Unit Distance Conjecture), phương trình Navier-Stokes và 10 lời giải được hé lộ cùng với mô hình Astra của OpenAI.

Động thái này đã tạo nên một cơn địa chấn khắp giới học thuật. Hơn 100 nhà nghiên cứu đã chia sẻ phản hồi trên blog toán học Proofs and Prompts, miêu tả những trạng thái cảm xúc trải dài từ sự tò mò học thuật cho đến tê liệt, đau buồn và phẫn nộ trước nguy cơ ngành nghiên cứu của họ bị xáo trộn.

Phản ứng bàng hoàng từ các nhà toán học hàng đầu

Quy mô khổng lồ của đợt công bố đã khiến các học giả tên tuổi hoàn toàn trở tay không kịp. Hugo Duminil-Copin, nhà toán học từng đoạt huy chương Fields năm 2022, cho biết OpenAI tuyên bố đã có kết quả cho mọi bài toán mở lớn mà ông từng thảo luận công khai trong suốt sự nghiệp. "Cú sốc này quá lớn. Tôi thực sự tê liệt", Duminil-Copin viết, đồng thời chia sẻ thêm: "Ngày mai, chúng ta sẽ tìm ra hướng đi tiếp theo. [...] Nhưng hiện tại, tôi đơn giản là không còn chút sức lực nào."

Ben Green lưu ý rằng đợt công bố này dường như đã giải quyết khoảng ba phần tư các mục tiêu nghiên cứu được nêu trong một khoản tài trợ danh giá của châu Âu mà ông mới nhận được vào tháng 6 trước đó. Trong khi đó, Roman Sauer phát hiện ra một kỹ thuật mà ông dành nhiều năm phát triển đã được OpenAI áp dụng để giải hai bài toán hoàn toàn khác nhau.

Alvaro Lozano-Robledo nhận định ngày 6/10 "có thể là ngày quan trọng nhất trong lịch sử toán học từ trước đến nay", song ông cũng chỉ ra rằng các mô hình này vẫn còn những giới hạn: OpenAI nhắm đến Giả thuyết Riemann (Riemann Hypothesis), nhưng mới chỉ xử lý được một biến thể yếu hơn mang tên quasi-RH.

Terence Tao bày tỏ nhiều cảm xúc lẫn lộn; ông lưu ý rằng các chứng minh do máy tạo ra dường như "đưa ra những ý tưởng mới mẻ đầy thông minh và sẽ mang lại nhiều kết quả hữu ích sau khi được tiếp thu thấu đáo", nhưng lại cảm thấy vô cùng hụt hẫng khi không có các đồng nghiệp là con người để trình bày, tranh luận hay truyền đạt lại những phát hiện đó. Trước đó, Tao từng phác thảo về kỷ nguyên "Math 2.0" đang hình thành, nơi việc đơn thuần giải quyết bài toán không còn là trọng tâm duy nhất của bộ môn này.

Hoài nghi về khả năng đọc hiểu và các chuẩn mực học thuật

Việc đánh giá đầy đủ tính hợp lệ về mặt toán học của kho tài liệu trên GitHub hiện vẫn là một thách thức lớn. Một số bài báo đã bị rút lại, trong khi những bài khác vấp phải chỉ trích vì mức độ dễ đọc quá kém.

Tristan Humbert, một nghiên cứu sinh tiến sĩ khi phát hiện OpenAI tuyên bố đã giải quyết bài toán cốt lõi trong luận án của mình, chia sẻ rằng cảm giác hoảng loạn ban đầu đối với hồ sơ xin nghiên cứu sau tiến sĩ (postdoc) đã nhanh chóng chuyển thành sự tức giận khi thấy văn bản này "phần lớn là thứ rác rưởi không thể đọc nổi".

Enrico Fatighenti lập luận rằng cộng đồng toán học đang phải gánh vác một cách bất công nhiệm vụ giải mã những sản phẩm AI chưa qua trau chuốt: trong khi các bài nộp của con người với phần mở đầu tối nghĩa sẽ bị từ chối thẳng thừng, thì nay các nhà nghiên cứu lại bị đặt dưới áp lực phải giải mã các bản thảo của AI, còn OpenAI thì ẵm trọn danh tiếng. Henry Wilton chỉ trích công ty vì không liệt kê tên tác giả hay tỷ lệ thất bại, khẳng định rằng sự thiếu sót này ngầm ám chỉ "toán học không còn là nỗ lực của con người nữa".

Ian Agol ví đợt công bố này giống như chứng minh năm 2002 của Grigori Perelman – công trình từng đòi hỏi các nhóm nhà toán học mất nhiều năm để tái dựng các bước còn thiếu – và nói thêm rằng "một công ty nghìn tỷ USD xuất hiện và cứ thế dùng thuốc nổ TNT san phẳng toàn bộ". Matt Zaremsky cũng có chung nhận định, khi mô tả bốn năm miệt mài nghiên cứu một bài toán giống như một cuộc khai quật khảo cổ bỗng chốc bị thuốc nổ thổi tung.

Cảnh báo an ninh mạng và nỗi bất an của giới nghiên cứu trẻ

Những hệ lụy từ công trình của OpenAI còn vượt ra ngoài phạm vi toán học lý thuyết. Chủ nhân huy chương Fields Peter Scholze kêu gọi sự kiên nhẫn, nhấn mạnh rằng toán học là một cuộc chạy marathon xoay quanh sự hiểu biết của con người. Dẫu vậy, Scholze cũng bày tỏ quan ngại sâu sắc về hạ tầng kỹ thuật số, cảnh báo rằng các hệ thống này có thể đủ khả năng phát hiện các thuật toán để bẻ khóa những phương thức mã hóa đang được sử dụng rộng rãi.

Thông báo này đã gây ra tâm lý hoang mang trên diện rộng trong giới nghiên cứu trẻ. Mark Hagen cho biết việc nhận các cuộc gọi từ những đồng nghiệp trẻ đang suy sụp tinh thần còn được ưu tiên hơn cả việc đọc các bản thảo tiền ấn phẩm (preprint) trong ngày công bố. Mitchell Taylor ghi nhận tâm lý lo âu và cảm giác mất phương hướng lan rộng trong giới đồng nghiệp, trong khi Petra Schwer quan sát thấy sự ngờ vực ngày càng gia tăng trong cộng đồng nghiên cứu.

Trước đợt phát hành này, Hiệp hội Toán học Con người (Association for Human Mathematics) đã kêu gọi tẩy chay OpenAI vì vi phạm các chuẩn mực khoa học, và 25 chủ nhân huy chương Fields, bao gồm cả Tao và Scholze, đã đưa ra một tuyên bố chung nêu bật sự bất đồng sâu sắc giữa ngành công nghiệp AI thương mại với toán học hàn lâm.

Dù vẫn có một số ít nhà nghiên cứu giữ thái độ lạc quan — chẳng hạn như Constantin Kogler, người vẫn tiếp tục cộng tác với Astra, hay Danny Calegari, người hào hứng khi dùng Claude của Anthropic để lập trình đồ họa hoạt ảnh toán học — nhiều người khác lại nhìn thấy một tương lai ảm đạm hơn. Nhà toán học Martin Bridson cảnh báo các nhà nghiên cứu không nên để bản thân bị cuốn theo những tuyên bố của các tập đoàn: "Chúng ta nên đón nhận sức mạnh mà máy móc mang lại, nhưng không được biến mình thành kẻ bị lệ thuộc để rồi mù quáng chạy theo chúng."