Mô hình Claude chưa công bố của Anthropic đạt bước đột phá về Giả thuyết Riemann

Anthropic thông báo một phiên bản nghiên cứu chưa công bố của Claude đã tự động nâng giới hạn dưới của tỷ lệ các điểm không trên đường tới hạn của hàm zeta Riemann từ 41,6% lên 67,2%. Mô hình đã thực hiện điều này thông qua Claude Code, tạo ra 31 triệu token đầu ra và huy động 60 tác nhân phụ (sub-agent) trong nhiều ngày. Đây là một cột mốc quan trọng trong khám phá khoa học bằng AI, chứng minh rằng các hệ thống đa tác nhân dựa trên mô hình ngôn ngữ lớn có thể tự chủ giải quyết các bài toán toán học phức tạp chưa có lời giải. Kết quả chứng minh đã được các nhà toán học hàng đầu xác minh và được chuẩn hóa thành công trong trình chứng minh định lý Lean. Mô hình đã thực hiện 2.400 lệnh Shell và viết hàng trăm mã nguồn Python, vượt qua 650 lần thử thất bại trước khi tìm ra giải pháp. Phương pháp toán học bao gồm việc xây dựng một không gian hàm với dạng toàn phương do Weil cảm sinh và cho phép các dạng phi chéo để thống nhất các phân không gian xác định dương và âm.