Mô Hình Chưa Phát Hành Của Anthropic Tiến Bộ Trên Giả Thuyết Riemann

Anthropic đã công bố rằng một mô hình chưa được phát hành đã đạt được tiến bộ đáng kể về giả thuyết Riemann, một bài toán nổi tiếng chưa được giải về số nguyên tố đã tồn tại hơn 150 năm. Một nhân viên của Anthropic không có đào tạo toán học chuyên sâu đã yêu cầu mô hình cố gắng chứng minh và sau đó để nó tự phối hợp nhiệm vụ trong một ngày rưỡi. Mô hình đã thử nghiệm 650 ý tưởng khác nhau, phối hợp giữa 60 tiến trình con và tiêu tốn tổng cộng 31 triệu token. Hai trong số các tiến trình con đã phát triển các ý tưởng toán học chính, trong khi những tiến trình khác đóng góp ý tưởng, cố gắng nhưng thất bại trong việc phát triển các ý tưởng mới, đóng vai trò là người xác minh, hoặc giúp viết bài báo. Hai nhà toán học nội bộ của Anthropic đã xác nhận các phát hiện, và chứng minh đã được chính thức hóa bằng cách sử dụng trợ lý chứng minh mã nguồn mở Lean. Đây là một phần trong chuỗi các đột phá toán học của các mô hình ngôn ngữ lớn, bao gồm việc giải các bài toán Erdos và các kết quả khác từ mô hình 'Astra' của OpenAI và việc Anthropic bác bỏ giả thuyết Jacobian. Ngày càng nhiều kết quả đã gây ra cả sự phấn khích lẫn lo ngại, với một số nhà toán học lo lắng về việc ghi công và trách nhiệm đối với các chứng minh, trong khi người đoạt huy chương Fields Timothy Gowers cho rằng sự thay đổi này có thể ít vấn đề hơn vẻ ngoài của nó.