Khả năng toán học của Claude vừa đạt bước tiến mới trong lý thuyết số. Theo nghiên cứu về hàm zeta Riemann của Anthropic, mô hình đã nâng chặn dưới tỷ lệ điểm không của hàm số từ 41,6% lên 67,2%. Kết quả do phiên bản thử nghiệm tạo ra. Hai nhà toán học Levent Alpöge và Ralph Furman đã nghiên cứu và thẩm định bài báo, trong khi Claude phối hợp với Eric Easley để tạo bản hình thức hóa trên hệ thống Lean.
Nguồn gốc và nội dung nghiên cứu giả thuyết Riemann
Bernhard Riemann đưa ra giả thuyết này vào năm 1859. Đây là bài toán mở trọng tâm của lý thuyết số giải tích. Giả thuyết phát biểu rằng mọi điểm không không tầm thường đều có phần thực bằng 1/2. Giới toán học luôn tìm cách nâng tỷ lệ điểm không nằm trên đường tới hạn này.
Theo các nghiên cứu trước đây, kỷ lục chặn dưới từng dừng ở mức 41,6%. Khi thử nghiệm, Claude đã mở rộng các phương pháp giải tích sẵn có. Theo báo cáo từ Anthropic, tỷ lệ này đã được nâng lên mức 67,2%.
Phát hiện chính và phương pháp kỹ thuật
Claude xây dựng không gian hàm tối ưu kết hợp dạng toàn phương cảm sinh bởi Weil. Mô hình xử lý đồng thời không gian con xác định dương và âm. Dạng toàn phương không cần chéo hóa để thiết lập bất đẳng thức hạng then chốt.
Mô hình đã tổng hợp và phát triển trực tiếp các nghiên cứu nền tảng:
- Theo báo cáo của Anthropic, nghiên cứu kế thừa bài báo năm 2000 của Enrico Bombieri về phân bố điểm không dạng toàn phương.
- Các kỹ thuật giải tích số học từ Aryan cùng nhóm nghiên cứu Baluyot, Goldston, Suriajaya và Turnage-Butterbaugh.
- Thiết lập bất đẳng thức về hạng của dạng toàn phương không chéo hóa trên toàn bộ không gian hàm, đồng thời xét cả không gian con xác định dương và âm.
Quy trình tính toán và kiểm chứng độc lập
Quá trình giải toán diễn ra qua hai phiên làm việc trên Claude Code. Hệ thống sử dụng tổng cộng 31 triệu token đầu ra. Sau 650 ý tưởng ban đầu thất bại, 60 tác vụ phụ đã phối hợp tính toán liên tục suốt 36 giờ.
| Chỉ số thực thi | Giá trị đo lường | Mục đích kiểm chứng |
|---|---|---|
| Lệnh shell đã chạy | 2.400 lệnh | Thực thi kiểm tra môi trường và tính toán |
| Tài liệu tham khảo | 54 bài báo arXiv | Đối chiếu các định lý giải tích liên quan |
| Ngôn ngữ hình thức | Lean | Xác thực chứng minh qua comparator tiêu chuẩn |
| Chuyên gia bình duyệt | Brian Conrey, Dan Goldston | Đánh giá tính chính xác chuyên ngành |
Kết quả giải tích mở ra tiềm năng mới cho AI trong nghiên cứu lý thuyết. Bước tiến này nối tiếp các thử nghiệm như Claude thiết kế protein và phân tích hóa học hoặc nghiên cứu tự động alignment cho AI. Mô hình chứng minh giá trị thực tế khi hoạt động như một AI coding agent đa tác vụ độc lập.
Câu hỏi thường gặp
Claude đã giải quyết được hoàn toàn Giả thuyết Riemann chưa?
Chưa. Theo công bố của Anthropic, Claude chưa giải quyết toàn bộ giả thuyết gốc. Mô hình mới nâng chặn dưới tỷ lệ điểm không trên đường tới hạn từ 41,6% lên 67,2%.
Chứng minh toán học của Claude được xác thực như thế nào?
Chứng minh được mã hóa và kiểm tra tự động bằng hệ thống Lean. Hai nhà toán học tại Anthropic cùng các chuyên gia Brian Conrey và Dan Goldston đã xem xét trực tiếp.
