Claude tiến bộ trong bài toán toán học 167 năm tuổi: 31 triệu token, 60 tác tử, và bước nhảy từ 41,6% lên 67,2%

Anthropic's mô hình Claude đã đưa một bài toán 167 năm tuổi ra khỏi điểm bế tắc, đạt được một bước đột phá đáng kể. Bài toán, được đặt ra vào năm 1859, bắt nguồn từ lý thuyết số giải tích và liên quan đến bản chất của các số nguyên tố. Hiệu suất của Claude trên bài toán này đã tăng từ 41,6% lên 67,2% sau khi áp dụng một chế độ huấn luyện mới. Mô hình đã tiêu thụ 31 triệu token, tương đương khoảng 25,6 triệu từ, và trong quá trình đó, nó đã tạo ra 650 GB dữ liệu. Để giải quyết bài toán, Claude đã sử dụng 60 tác tử chuyên dụng, mỗi tác tử phân tích khoảng 2400 bài báo, bao gồm 54 bài báo liên quan từ arXiv, để đảm bảo lập luận của nó là hợp lý. Việc sử dụng học tăng cường và xác minh thông qua Lean, một trợ lý chứng minh, là rất quan trọng. Anthropic cho rằng thành công này là do sự kết hợp giữa tính toán quy mô lớn và xác minh hình thức, đánh dấu một cột mốc mới trong khám phá toán học hỗ trợ bởi trí tuệ nhân tạo.