Các tác nhân AI Claude đã nâng tỷ lệ các nghiệm Riemann-zeta nằm trên đường tới hạn đã được xác minh từ 41,6% lên 67,2%. Bước nhảy vọt này không chứng minh được giả thuyết Riemann, nhưng nó cho thấy các quy trình làm việc quy mô lớn do AI điều khiển có thể tạo ra một kết quả có thể kiểm chứng về mặt toán học.

Tại sao giả thuyết Riemann lại quan trọng

Giả thuyết này 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 chính xác là ½. Những nghiệm này kiểm soát sự phân bố của các số nguyên tố, vì vậy việc xác nhận giả thuyết sẽ thắt chặt mối liên kết giữa các quy luật số nguyên tố và giải tích phức. Cho đến nay, chỉ một phần các nghiệm được chứng minh là nằm trên "đường tới hạn". Việc nâng cao tỷ lệ đó là một tiêu chuẩn đánh giá sự tiến bộ.

Cách Anthropic đạt được con số 67,2%

Anthropic đã vận hành Claude Code, mô hình tập trung vào mã nguồn của mình, qua hai phiên nghiên cứu chuyên sâu. Phiên thứ hai đã triển khai 60 tác nhân phụ (sub-agents) phối hợp thông qua hơn 2.400 lệnh shell và tạo ra hàng trăm kịch bản Python. Tổng cộng, quy trình này đã tạo ra khoảng 31 triệu token đầu ra—tương đương với độ dài của một cuốn tiểu thuyết ngắn.

Các nhà toán học trong nhóm đã kiểm chứng bài báo kết quả và phát hành một bản chính thức hóa bằng Lean 4, một ngôn ngữ chứng minh được kiểm tra bằng máy, để những người khác có thể xác minh từng bước. Công trình này đã sử dụng một phiên bản nghiên cứu nội bộ chưa được công bố của Claude, và việc xác minh dựa trên các kiểm tra nội bộ và các đánh giá chuyên gia ngắn gọn thay vì quy trình bình duyệt (peer review) chính thức.

Kết quả thực sự nói lên điều gì

Bài báo mới đã nâng giới hạn dưới đã được chứng minh của các nghiệm trên đường tới hạn từ 41,6% lên 67,2%. Con số này là một giới hạn dưới: có thể có nhiều nghiệm khác nằm trên đường này nhưng phân tích đã không nắm bắt được chúng.

Quan trọng là, kết quả này không đưa bản thân giả thuyết tiến gần hơn đến một chứng minh đầy đủ. Giả thuyết yêu cầu tất cả các nghiệm không tầm thường phải nằm trên đường này; giới hạn dưới 67,2% vẫn để lại hơn một phần ba số nghiệm chưa được giải thích.

Những hạn chế của phương pháp tiếp cận AI

Các tuyên bố của chính Anthropic nêu rõ rằng họ không kỳ vọng quy trình làm việc hiện tại sẽ sớm giải quyết xong giả thuyết này. Con người vẫn phải xem xét đầu ra của mô hình để tìm các lỗ hổng logic, và quy trình xác minh nội bộ thiếu sự khắt khe của việc bình duyệt cộng đồng. Phiên bản nghiên cứu của Claude không được cung cấp công khai, vì vậy việc tái lập độc lập còn hạn chế.

Điều gì sẽ diễn ra tiếp theo

Việc phát hành bản chính thức hóa bằng Lean 4 mời gọi cộng đồng toán học rộng lớn hơn tham gia kiểm chứng chứng minh này.

Bài học rút ra

Các tác nhân Claude của Anthropic đã chứng minh rằng AI có thể đẩy nhanh việc xác minh các mệnh đề toán học phức tạp, mang lại sự cải thiện đáng kể trong giới hạn dưới đã biết của các nghiệm Riemann-zeta. Bước đột phá này là một minh chứng thực tế (proof-of-concept) cho các quy trình làm việc của tác nhân nghiên cứu quy mô lớn, chứ không phải là lời giải cho chính vấn đề giải thưởng thiên niên kỷ.