Trong hơn 150 năm, giả thuyết Riemann đã là một trong những vấn đề lớn chưa được giải quyết trong toán học. Mặc dù trí tuệ nhân tạo (AI) hiện đại vẫn chưa thể giải quyết được giả thuyết này, nhưng các mô hình AI đã có thể đạt được những tiến bộ đáng kể. Anthropic mới đây đã thông báo rằng một mô hình chưa được phát hành của họ đã đạt được những bước tiến quan trọng trên giả thuyết Riemann, làm tăng đáng kể giới hạn dưới của các giải pháp mà giả thuyết này giữ đúng.
Điều đáng chú ý là cách thức mà tiến bộ này đạt được: Một nhân viên của Anthropic, không có kinh nghiệm toán học chuyên sâu, đã yêu cầu mô hình thực hiện một “nỗ lực thực sự” để chứng minh giả thuyết. Mô hình đã thử nghiệm 650 ý tưởng khác nhau, phối hợp với 60 tác nhân phụ và tiêu tốn 31 triệu lần tính toán. Theo chú thích trong bài báo, hai trong số các tác nhân phụ đã phát triển ý tưởng toán học cốt lõi, trong khi các tác nhân khác hỗ trợ phát triển, xác thực và viết báo cáo.
Phát hiện này được xác nhận bởi các nhà toán học nội bộ của Anthropic và được chuẩn hóa bằng công cụ trợ lý chứng minh mã nguồn mở Lean. Đây là bước đột phá mới nhất trong chuỗi các thành tựu toán học do các Mô hình Ngôn ngữ Lớn (LLM) dẫn đầu. Tuy nhiên, điều này cũng làm dấy lên những lo ngại trong cộng đồng toán học về việc liệu AI có thể làm suy yếu các giá trị cốt lõi của lĩnh vực này hay không, đặc biệt là tiêu chuẩn về việc chứng minh toán học phải có tác giả cụ thể.
Một số nhà toán học, bao gồm cả người đoạt Huy chương Fields Timothy Gowers, lại cho rằng AI có thể thay đổi toán học theo hướng phức tạp và tích cực hơn. Bài viết được đăng trên TechCrunch ngày 11 tháng 8 năm 2026.
