Anthropic Công Bố Model Chưa Phát Hành Tiến Bộ Trên Giả Thuyết Riemann

Giả thuyết Riemann là một vấn đề toán học hơn 150 năm chưa có chứng minh tổng quát; hiện có phần thưởng 1 triệu đô la cho một chứng minh tổng quát, chưa ai nhận. Anthropic thông báo kết quả này hôm thứ Hai.

Theo công bố, một nhân viên Anthropic không có nhiều đào tạo toán học đã kích hoạt model để “thử nghiệm thật” và để model tự điều phối nhiệm vụ trong khoảng một ngày rưỡi. Model đã kiểm tra 650 ý tưởng khác nhau, phối hợp qua 60 phụ tác tử và sinh tổng cộng 31 triệu token đầu ra.

Bản thuyết minh cho biết trong 60 phụ tác tử, hai tác tử phát triển những ý tưởng toán học then chốt; 13 đóng góp ý tưởng cho hai tác tử đó; 30 cố gắng nhưng không phát triển được ý mới; 13 đóng vai trò kiểm chứng tính đúng của các lập luận; hai tác tử cuối cùng giúp soạn bản thảo ban đầu.

Hai nhà toán học nội bộ của Anthropic xác nhận phát hiện, và kết quả được hình thức hóa bằng công cụ trợ chứng minh mã nguồn mở Lean. Công ty đánh giá đây là bước tiến đáng kể về giới hạn dưới mà giả thuyết Riemann được chứng minh đúng.

Bài viết của TechCrunch nêu đây là một trong chuỗi đột phá toán học gần đây do các model ngôn ngữ lớn dẫn dắt; năm nay một số bài toán Erdos được giải bằng model, OpenAI công bố 10 kết quả lớn do model nội bộ “Astra” chứng minh, và một nỗ lực khác của Anthropic đã phản chứng định lý Jacobian.