Mô hình chưa phát hành của Anthropic đạt tiến bộ trên bài toán toán học quan trọng

Giả thuyết Riemann, một trong những bài toán chưa có lời giải nổi tiếng nhất của toán học về sự phân bố của các số nguyên tố, vẫn chưa được giải sau hơn 150 năm, với giải thưởng 1 triệu đô la Mỹ dành cho ngưới tìm ra lờ chứng minh. Anthropic đã thông báo rằng một mô hình chưa được phát hành đã đạt được tiến triển đáng chú ý, nâng đáng kể cận dưới của tập hợp các nghiệm mà giả thuyết này được biết là đúng. Một nhân viên có nền tảng toán học hạn chế đã đề xuất để mô hình thử sức với bài toán này, rồi để nó tự điều phối nhiệm vụ trong suốt một ngày rưỡi tiếp theo. Trong khoảng thờ gian đó, mô hình đã thử 650 hướng giải, điều phối 60 tác tử phụ và tiêu thụ 31 triệu token đầu ra. Trong số các tác tử phụ này, 2 tác tử đã xây dựng được các lờ giải toán học chính, 13 tác tử tạo ra các biến thể mới cho những tác tử đó, 30 tác tử đã cố gắng nhưng không đưa ra được ý tưởng mới, 13 tác tử đóng vai trò kiểm chứng, và 2 tác tử hỗ trợ viết bài báo ban đầu. Kết quả này đã được hai nhà toán học của công ty xác minh và được hình thức hóa bằng trợ lý chứng minh Lean. Những năm gần đây đã chứng kiến các mô hình trí tuệ nhân tạo (AI) giải được một số bài toán của Pál Erdős, trong đó mô hình Astra của OpenAI giải được mườ bài và một mô hình khác của Anthropic bác bỏ một giả thuyết Jacobian đã tồn tại từ lâu. Những thành tựu này vừa khơi dậy sự hào hứng vừa gây lo ngại trong cộng đồng toán học về vấn đề quyền tác giả và trách nhiệm đối với tính đúng đắn của kết quả, khi một số ngườ lập luận rằng các định lý không nhất thiết phải gắn liền với những nhà nghiên cứu cụ thể.