Anthropic công bố phiên bản nghiên cứu của Claude đạt tiến bộ trong các vấn đề liên quan đến giả thuyết Riemann

Anthropic đã để một phiên bản nghiên cứu chưa công bố của Claude thử sức với giả thuyết Riemann. Dù chưa giải quyết triệt để, mô hình này đã đạt được bước đột phá trong các vấn đề liên quan: nâng tỷ lệ cận dưới của các điểm không thuộc hàm zeta Riemann thỏa mãn giả thuyết Riemann từ 41,6% lên 67,2%. Thành tựu này được một số nhà bình luận coi là bước tiến quan trọng nhất trong lĩnh vực lý thuyết số giải tích kể từ sau kết quả về khoảng cách giữa các số nguyên tố có giới hạn năm 2013. Claude đã nâng tỷ lệ các điểm không được chứng minh trên đường tới hạn thêm 25,6 điểm phần trăm, trong khi suốt 37 năm trước đó, các nhà toán học chỉ thúc đẩy con số này thêm 0,8 điểm phần trăm.

Trong quá trình này, Claude đã điều phối 60 tác nhân phụ, thử nghiệm 650 hướng tư duy và tiêu tốn 31 triệu token. Trong đó, hai tác nhân phụ đã đóng góp những ý tưởng toán học then chốt. Kết quả được xác thực bằng ngôn ngữ hình thức Lean, được xem là ví dụ điển hình cho việc AI tự chủ thúc đẩy các khám phá khoa học. Kết quả đã được các nhà toán học nội bộ của Anthropic xác nhận và cuối cùng được nhà toán học Levent Alpöge kiểm chứng.