Giới Toán Học Kêu Gọi Tẩy Chay OpenAI, Vì Sao Anthropic Lại Được Khen

Giới Toán Học Kêu Gọi Tẩy Chay OpenAI, Vì Sao Anthropic Lại Được Khen

Chỉ một ngày sau khi OpenAI tung ra kho kết quả toán học khổng lồ, một tổ chức toán học quốc tế đã lên tiếng kêu gọi đồng nghiệp ngừng hợp tác với công ty này. Chuyện gì đang xảy ra, và tại sao Anthropic lại được nhắc tới như một ví dụ ngược lại.

Chuyện gì đã xảy ra

Ngày 6 tháng 10 năm 2026, OpenAI công bố trên GitHub 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 từng công bố tạo ra (như vibeaicoder.xyz đã đưa tin). Model này được giao khoảng 4.000 bài toán mở và chỉ giải được chừng 5% trong số đó, nhưng số kết quả giữ lại vẫn đủ gây chấn động, trong đó có một chứng minh được cho là giải quyết Unique Games Conjecture, một bài toán khó trong khoa học máy tính lý thuyết mà giới chuyên môn loay hoay nhiều thập kỷ.

Chỉ một ngày sau, ngày 7 tháng 10, Hiệp hội Toán học vì Con người (Association for Human Mathematics, viết tắt AHM) ra tuyên bố công khai, gọi việc công bố hơn 700 bản thảo cùng lúc là "một màn phô diễn sức mạnh" chứ không phải một đóng góp học thuật thật sự, và kêu gọi các nhà toán học ngừng hợp tác với OpenAI. Câu nói đáng chú ý nhất trong tuyên bố: "Các nhà toán học không hề yêu cầu công việc này được thực hiện."

Vì sao họ giận đến mức đòi tẩy chay

Vấn đề không nằm ở việc AI giải được toán, mà ở cách công bố. Tính đến ngày 7 tháng 10, chỉ khoảng 42% kết quả chính (300 trong 719) có chứng minh được máy tính kiểm chứng bằng Lean, một ngôn ngữ lập trình chuyên dùng để xác minh từng bước logic trong một chứng minh toán học. Lean có thể xác nhận các bước suy luận không mâu thuẫn nhau, nhưng nó không đồng nghĩa với việc con người đã hiểu được chứng minh đó. Phần lớn trong số 722 bản thảo gần như chưa ai đọc hết, chứ đừng nói là hiểu thấu đáo.

Thêm vào đó, kho dữ liệu này không công bố prompt (câu lệnh) đã dùng để tạo ra kết quả, không nói rõ tốn bao nhiêu tài nguyên tính toán cho từng bài toán, và cũng không tiết lộ tên của model đứng sau. Với một lĩnh vực sống nhờ việc kiểm chứng lẫn nhau, sự thiếu minh bạch này khiến nhiều người cảm thấy bị đặt vào thế phải âm thầm dọn dẹp hậu quả cho một công ty tư nhân.

Đây cũng không phải lần đầu căng thẳng. Trước đó, ngày 10 tháng 9, OpenAI đã phải rút tài trợ cho cuộc thi Caltech Mathathon sau khi 771 nhà toán học cùng ký một bức thư ngỏ phản đối.

"Mathocalypse": góc nhìn của một chuyên gia

Scott Aaronson, nhà khoa học máy tính nổi tiếng chuyên về lý thuyết độ phức tạp tính toán, gọi sự kiện này là "Mathocalypse" (có thể hiểu nôm na là "ngày tận thế của toán học") trên blog cá nhân Shtetl-Optimized. Ông gọi đây là "một trong những ngày lớn nhất trong lịch sử toán học", đồng thời thẳng thắn chỉ ra điểm đáng lo: nhiều chứng minh có dấu xác nhận từ Lean nhưng gần như chưa có con người nào hiểu được chúng.

Điều thú vị là Aaronson còn đưa ra một phép so sánh đáng suy ngẫm giữa hai cách các công ty AI công bố nghiên cứu toán học:

• Kiểu OpenAI: công bố ồ ạt một kết quả còn "thô", để cộng đồng toán học tự chạy đua tìm hiểu và kiểm chứng sau.
• Kiểu Anthropic: chọn lọc kỹ hơn, để các nhà toán học con người đứng ra trình bày và chịu trách nhiệm cho kết quả, như trường hợp nghiên cứu của Alman và Williams, nơi một model của Anthropic chỉ đóng vai trò gợi ý ý tưởng mấu chốt, còn phần diễn giải và xác nhận vẫn do con người đảm nhiệm.

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

Bạn không cần là nhà toán học để rút ra bài học từ chuyện này. Khi đọc tin AI "giải được" một bài toán khó, hãy để ý xem thông tin đi kèm có ba thứ: ai đã kiểm chứng, bằng cách nào, và ai chịu trách nhiệm giải thích lại cho người khác hiểu. Một kết quả được máy tính xác nhận logic không mâu thuẫn (như qua Lean) chưa chắc đã được con người thật sự hiểu và tin tưởng, hai việc đó khác nhau.

Câu chuyện cũng cho thấy các công ty AI lớn không phải lúc nào cũng chọn cùng một cách tiếp cận khi công bố kết quả. Có công ty chọn tốc độ và quy mô, có công ty chọn sự thận trọng và minh bạch, và cách lựa chọn đó ảnh hưởng trực tiếp đến mức độ tin tưởng mà cộng đồng chuyên môn dành cho họ, điều mà chính sách sử dụng Claude mới của Anthropic cũng đang hướng tới theo một cách khác.

Giới hạn cần biết

Tranh cãi này vẫn đang diễn ra, nhiều kết quả trong kho 722 bản thảo còn chưa được cộng đồng toán học xác nhận đầy đủ, kể cả những kết quả đã có dấu Lean. Nếu bạn thấy tiêu đề giật gân kiểu "AI giải xong toán học", hãy hiểu đó là một phần nhỏ của câu chuyện lớn hơn về cách xác minh và công bố nghiên cứu AI một cách có trách nhiệm, chủ đề mà bài AI là gì đã giải thích ở mức nền tảng.

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

Lean là gì mà quan trọng vậy? Lean là một ngôn ngữ lập trình dùng để viết và kiểm tra chứng minh toán học từng bước một, giống như một "trọng tài" tự động xác nhận các bước suy luận không mâu thuẫn, nhưng nó không giải thích ý nghĩa của chứng minh cho con người.

Unique Games Conjecture là bài toán kiểu gì? Đây là một giả thuyết trong khoa học máy tính lý thuyết, liên quan đến việc một số bài toán tối ưu khó đến mức nào, các nhà toán học đã cố chứng minh hoặc bác bỏ nó suốt nhiều thập kỷ.

AHM kêu gọi tẩy chay nghĩa là gì, có bắt buộc không? Đây là lời kêu gọi mang tính đạo đức nghề nghiệp, khuyến khích các nhà toán học không hợp tác hay hỗ trợ OpenAI trong các dự án tương tự, không phải một lệnh cấm chính thức.

Vậy AI này có thật sự giải được toán không? Một phần có, các bước logic được Lean xác nhận là nhất quán, nhưng việc con người chưa hiểu và kiểm chứng ý nghĩa đầy đủ của phần lớn kết quả khiến giới chuyên môn vẫn thận trọng.

Chuyện này có ảnh hưởng đến việc bạn dùng ChatGPT hay Claude hàng ngày không? Không trực tiếp, đây là nghiên cứu toán học chuyên sâu, nhưng nó cho thấy sự khác biệt trong cách các công ty AI xử lý tính minh bạch, điều đáng cân nhắc khi bạn chọn công cụ AI để tin tưởng lâu dài.

#AI #OpenAI #Anthropic #ToanHoc #TinTucAI