AI Claude đã giải giả thuyết Riemann chưa?
Câu trả lời là chưa. Đây là điểm quan trọng nhất cần làm rõ khi nói về sự kiện năm 2026. Giả thuyết Riemann, do Bernhard Riemann đề xuất năm 1859, khẳng định rằng mọi nghiệm không tầm thường của hàm zeta Riemann đều có phần thực bằng 1/2, tức nằm trên đường tới hạn. Cho đến năm 2026, bài toán vẫn chưa được chứng minh hoặc bác bỏ hoàn toàn.
Điều Claude đạt được là một kết quả liên quan nhưng có ý nghĩa: phiên bản nghiên cứu chưa phát hành của mô hình đã nâng cận dưới cho tỷ lệ nghiệm không tầm thường được chứng minh là nằm trên đường tới hạn từ 41,6% lên hơn 67,2%. Nói cách khác, đây không phải lời giải cho giả thuyết Riemann, mà là một bước tiến đáng chú ý trong nghiên cứu về các nghiệm của hàm zeta.
Điểm đáng chú ý của câu chuyện không nằm ở việc AI đã giải xong một bài toán Thiên niên kỷ, mà ở việc một hệ thống AI có thể tạo ra kết quả toán học mới, sau đó được con người kiểm tra, diễn giải và đơn giản hóa.
4 bước ngoặt từ nỗ lực AI Claude giải giả thuyết Riemann năm 2026
1. Claude tự tổ chức khoảng 60 tác nhân để khám phá không gian lời giải
Theo công bố của Anthropic tháng 8/2026, Claude ban đầu thử khoảng 650 ý tưởng nhưng không thành công. Trong lần tiếp cận tiếp theo, hệ thống dành khoảng một ngày rưỡi điều phối khoảng 60 tác nhân phụ, thực hiện khoảng 2.400 lệnh shell, viết hàng trăm chương trình Python và tiến hành hàng nghìn phép kiểm tra số đối với các nghiệm zeta đã biết.
Quá trình này sử dụng tổng cộng khoảng 31 triệu token đầu ra trong hai phiên Claude Code. Các tác nhân không chỉ tìm hướng giải mà còn đảm nhiệm những vai trò khác nhau như phát triển ý tưởng, kiểm tra lập luận, tìm phản ví dụ và rà soát kết quả của nhau. Đây là ví dụ đáng chú ý về cách hệ thống đa tác nhân có thể mở rộng quá trình thử nghiệm toán học vượt xa một chuỗi hội thoại AI thông thường.
2. Cận dưới được nâng từ 41,6% lên hơn 67,2%
Kết quả nổi bật nhất là Claude nâng cận dưới đã được chứng minh cho tỷ lệ các nghiệm không tầm thường của hàm zeta nằm trên đường tới hạn từ 41,6% lên hơn 67,2%. Cần phân biệt rõ rằng tỷ lệ này không có nghĩa Claude đã chứng minh 67,2% của giả thuyết Riemann theo nghĩa bài toán đã hoàn thành hơn hai phần ba. Giả thuyết yêu cầu chứng minh tất cả các nghiệm không tầm thường đều nằm trên đường tới hạn.
Giá trị khoa học nằm ở việc một cận dưới lâu năm được cải thiện đáng kể bằng cách kết hợp các ý tưởng toán học đã tồn tại theo một cấu trúc mới. Anthropic cũng thận trọng cho biết họ không kỳ vọng chính kỹ thuật này sẽ trực tiếp dẫn đến lời giải hoàn chỉnh cho giả thuyết Riemann.
3. Kết quả của AI được kiểm chứng bởi con người và hình thức hóa bằng Lean
Một kết quả toán học do AI tạo ra chỉ thực sự có giá trị khi có thể vượt qua quá trình kiểm chứng độc lập. Sau khi Claude tìm được kết quả, các nhà toán học Levent Alpöge và Ralph Furman tại Anthropic đã nghiên cứu và xác thực lập luận. Các chuyên gia Brian Conrey và Dan Goldston cũng xem xét công trình trong quá trình đánh giá.
Song song với kiểm tra của con người, Claude phối hợp để xây dựng phiên bản hình thức hóa bằng Lean, một hệ thống trợ lý chứng minh cho phép máy tính kiểm tra các bước suy luận theo những quy tắc logic chặt chẽ. Sự kết hợp giữa khám phá bằng mô hình AI, phản biện của chuyên gia và kiểm chứng hình thức là một mô hình đáng chú ý cho nghiên cứu toán học có hỗ trợ bởi AI.
4. Youness Lamzouri biến chứng minh phức tạp thành phương pháp ngắn gọn hơn
Bước ngoặt thứ tư đến từ nhà toán học Youness Lamzouri. Trong công trình công bố trên arXiv tháng 9/2026, Lamzouri đưa ra một chứng minh mới, ngắn hơn và đơn giản hơn về mặt khái niệm cho kết quả rằng hơn 67,25% nghiệm không tầm thường là nghiệm đơn và nằm trên đường tới hạn, đồng thời chứng minh ít nhất 83,62% nghiệm không tầm thường là phân biệt.
Thay vì giữ nguyên toàn bộ khuôn khổ ma trận hữu hạn chiều trong lập luận của Claude, Lamzouri sử dụng một bất đẳng thức trong không gian Hilbert, qua đó cho phép áp dụng trực tiếp định lý về tương quan cặp của các nghiệm zeta. Trường hợp này cho thấy một vai trò đặc biệt của con người trong nghiên cứu có AI hỗ trợ: không chỉ xác nhận kết quả mà còn tìm ra cấu trúc toán học sáng rõ hơn ẩn phía sau một chứng minh máy tạo ra.
So sánh các giai đoạn của bước tiến năm 2026
| Khía cạnh | Mốc trước đó | Claude năm 2026 | Phát triển của Lamzouri |
|---|---|---|---|
| Kết quả trọng tâm | Cận dưới 41,6% | Nâng cận dưới lên hơn 67,2% | Chứng minh hơn 67,25% nghiệm là đơn và trên đường tới hạn |
| Cách tiếp cận | Nghiên cứu toán học truyền thống | Khoảng 60 tác nhân, kiểm tra số và tổng hợp nhiều hướng nghiên cứu | Thay khuôn khổ ma trận bằng bất đẳng thức không gian Hilbert |
| Kiểm chứng | Phản biện và chứng minh toán học | Nhà toán học kiểm tra và có hình thức hóa Lean | Chứng minh độc lập, ngắn và dễ diễn giải hơn |
| Ý nghĩa | Nền tảng cho các cải tiến tiếp theo | Cho thấy AI có thể đóng góp kết quả toán học mới | Cho thấy chuyên gia có thể trích xuất ý tưởng sáng rõ từ chứng minh do AI tạo ra |
Vì sao 67,2% vẫn còn rất xa một lời giải hoàn chỉnh?
Một cách diễn giải dễ gây hiểu lầm là xem 67,2% như thanh tiến độ và cho rằng chỉ cần tiếp tục cải thiện cho đến 100%. Toán học không vận hành đơn giản như vậy. Một định lý chứng minh rằng một tỷ lệ lớn nghiệm thỏa mãn điều kiện không đồng nghĩa phương pháp hiện tại có thể được lặp lại để cuối cùng bao phủ toàn bộ nghiệm.
Giả thuyết Riemann là một mệnh đề phổ quát: tất cả nghiệm không tầm thường phải nằm trên đường tới hạn. Chỉ cần khả năng tồn tại một nghiệm ngoại lệ chưa được loại trừ thì giả thuyết vẫn chưa được chứng minh. Vì vậy, thành tựu của Claude nên được nhìn nhận như một kết quả mới trong lý thuyết số giải tích, thay vì lời giải chưa hoàn thiện của bài toán Thiên niên kỷ.
AI đang thay đổi quy trình nghiên cứu toán học như thế nào?
Câu chuyện Claude và giả thuyết Riemann gợi ra một quy trình nghiên cứu mới. AI có thể khảo sát số lượng lớn hướng tiếp cận, thực hiện tính toán và kiểm tra giả thuyết với tốc độ cao; hệ thống chứng minh hình thức có thể hỗ trợ kiểm tra logic; còn nhà toán học đảm nhiệm việc đánh giá ý nghĩa, tìm cấu trúc khái niệm và chuyển một chứng minh phức tạp thành tri thức có thể hiểu và tái sử dụng.
Điểm mạnh của mô hình này không phải là thay thế nhà toán học. Giá trị lớn hơn nằm ở khả năng mở rộng phạm vi tìm kiếm ý tưởng và tạo ra những đối tượng mới để chuyên gia kiểm tra. Trường hợp Lamzouri đặc biệt đáng chú ý bởi kết quả cuối cùng không dừng ở việc xác nhận Claude đúng, mà còn dẫn tới một chứng minh có cấu trúc đơn giản hơn.
Những nguyên tắc cần giữ khi đánh giá AI làm toán
- Phân biệt rõ giữa việc giải hoàn toàn một bài toán mở và đạt được một kết quả mới có liên quan.
- Ưu tiên các kết quả đã được chuyên gia kiểm tra, có chứng minh công khai hoặc được hình thức hóa bằng hệ thống kiểm chứng.
- Không xem thử nghiệm số hoặc tỷ lệ nghiệm đã kiểm tra như bằng chứng thay thế cho một chứng minh phổ quát.
- Đánh giá khả năng giải thích và tái sử dụng phương pháp, không chỉ nhìn vào con số cuối cùng.
- Xem AI như công cụ khám phá và tạo giả thuyết, trong khi quá trình xác thực khoa học vẫn cần tiêu chuẩn toán học nghiêm ngặt.
Kết luận: Bước ngoặt nằm ở cách AI và con người cùng làm toán
Năm 2026 chưa phải năm AI Claude giải giả thuyết Riemann. Tuy nhiên, đây có thể được xem là một dấu mốc đáng chú ý của toán học có hỗ trợ bởi AI: một mô hình nghiên cứu tự động khảo sát hàng trăm hướng tiếp cận, tạo ra một cải tiến toán học có thể kiểm chứng, rồi cung cấp chất liệu để một nhà toán học phát triển thành chứng minh ngắn gọn và sáng rõ hơn.
Nếu xu hướng này tiếp tục, ảnh hưởng quan trọng của AI đối với toán học có thể không nằm ở một khoảnh khắc máy móc đơn độc tuyên bố đã giải được bài toán lớn. Nó có thể xuất hiện qua một chu trình cộng tác: AI mở rộng không gian khám phá, công cụ hình thức hỗ trợ kiểm chứng, còn con người nhận diện ý nghĩa và biến kết quả thành tri thức toán học có thể truyền đạt, phản biện và phát triển tiếp.