Mô hình AI mới của Anthropic đạt bước tiến quan trọng trong bài toán Riemann

Giả thuyết Riemann, bài toán hóc búa về sự phân bổ của các số nguyên tố, đã thách thức giới toán học suốt hơn 150 năm qua. Dù giải thưởng 1 triệu USD cho lời giải hoàn chỉnh vẫn chưa có chủ, nhưng trí tuệ nhân tạo (AI) đang bắt đầu cho thấy những khả năng đáng kinh ngạc trong lĩnh vực này.

Anthropic vừa công bố một mô hình AI chưa phát hành đã đạt được bước tiến quan trọng khi mở rộng đáng kể giới hạn dưới của các nghiệm thỏa mãn giả thuyết Riemann. Điều thú vị là quá trình này được thực hiện bởi một nhân viên không chuyên về toán học, người đã yêu cầu mô hình tự tìm cách chứng minh giả thuyết và để nó tự vận hành trong vòng một ngày rưỡi.

Hệ thống đã thử nghiệm 650 ý tưởng khác nhau, phối hợp giữa 60 subagent (tác nhân phụ) và tiêu tốn khoảng 31 triệu output tokens. Trong đó, 2 subagent đóng vai trò chủ chốt phát triển ý tưởng, 13 subagent hỗ trợ, 30 subagent thử nghiệm thất bại, 13 subagent làm nhiệm vụ kiểm chứng và 2 subagent còn lại hỗ trợ viết bài báo khoa học. Kết quả này đã được các nhà toán học nội bộ của Anthropic xác nhận và chính thức hóa bằng công cụ hỗ trợ chứng minh Lean.

Đây là minh chứng mới nhất cho năng lực của các mô hình ngôn ngữ lớn (LLM) trong toán học. Trước đó, nhiều bài toán Erdos đã được AI giải quyết, và các mô hình mạnh mẽ hơn như Astra của OpenAI cũng đã công bố 10 kết quả chứng minh quan trọng. Anthropic trước đó cũng từng bác bỏ giả thuyết Jacobian nổi tiếng.

Sự trỗi dậy của AI trong toán học đang tạo ra hai luồng dư luận. Một nhóm các nhà toán học lo ngại AI sẽ làm suy yếu giá trị cốt lõi của ngành, đặc biệt là tính xác thực và trách nhiệm của tác giả đối với các chứng minh. Ngược lại, những người như chủ nhân huy chương Fields, Timothy Gowers, lại cho rằng đây có thể là một sự thay đổi tích cực, tương tự như cách các nhà thiên văn học không nhất thiết phải đặt tên theo chính mình cho mọi ngôi sao họ phát hiện.

Nguồn tham khảo: TechCrunch