Thành tựu này diễn ra sau một quy trình làm việc đa tác nhân đáng chú ý:
Hai nhà toán học nội bộ—Levent Alpöge và Ralph Furmaniak—đã xem xét và xác nhận chứng minh . Lập luận sau đó được chính thức hóa trong Lean, một trình chứng minh định lý tương tác, tạo ra một chứng chỉ có thể kiểm tra bằng máy về tính đúng đắn
. Sự xác nhận kép này (đánh giá bởi chuyên gia con người + xác minh hình thức) được coi rộng rãi là bằng chứng thực tiễn tốt nhất cho các kết quả toán học do AI tạo ra.
Cải thiện cận Riemann của Claude không phải là sự kiện cá biệt. Năm 2026 chứng kiến một chuỗi các đột phá toán học do AI dẫn đầu với tốc độ ngày càng nhanh:
Nhiều nhà bình luận đã lưu ý rằng lĩnh vực này đã vượt qua một ngưỡng vào giữa năm 2026: các hệ thống AI đã chuyển từ giải toán cấp độ thi đấu sang tạo ra nghiên cứu có thể xuất bản ở cấp độ bài toán mở .
Tốc độ nhanh chóng của toán học do AI tạo ra đã gây ra cuộc tranh luận sôi nổi:
Kết quả Riemann của Anthropic thúc đẩy cuộc thảo luận theo một số cách cụ thể:
Quy mô khám phá tự động là quan trọng. Việc thử nghiệm 650 ý tưởng trên 60 tác nhân phụ chứng minh rằng các kiến trúc đa tác nhân có thể thực hiện tìm kiếm có hệ thống ở quy mô mà không nhóm nghiên cứu con người nào có thể sánh kịp trong cùng khung thời gian . Điều này chuyển câu hỏi từ "AI có thể làm toán không?" sang "Làm thế nào chúng ta nên tích hợp khám phá quy mô rộng của AI vào quy trình khám phá khoa học?"
Sự tổng hợp tình cờ là khả thi. Việc một mô hình không được đào tạo toán học kết hợp một bài báo của Bombieri (2000) với các kết quả gần đây hơn—một sự kết hợp mà không người nào từng thấy—cho thấy AI có thể tạo ra các kết nối khái niệm không hiển nhiên giữa các tài liệu khác nhau . Khả năng này trực tiếp giải quyết mối quan tâm cốt lõi về việc liệu LLM chỉ đơn thuần nội suy hay có thể thực sự khám phá.
Xác minh hình thức giải quyết vấn đề niềm tin. Việc chính thức hóa Lean có nghĩa là kết quả không phải là một tuyên bố "hộp đen". Đó là một định lý có thể chứng minh được mà bất kỳ nhà toán học nào cũng có thể kiểm tra một cách cơ học . Điều này cung cấp một khuôn mẫu cho cách các kết quả khoa học do AI tạo ra có thể được kiểm chứng, giải quyết một trong những phản đối mạnh mẽ nhất đối với khám phá do AI dẫn đầu.
Cuộc tranh luận về quyền tác giả và tiêu chuẩn mang tính xây dựng, không làm tê liệt. Sự xuất hiện đồng thời của cả những kết quả đáng kinh ngạc (DeepMind, OpenAI, Anthropic) và các phản ứng thể chế do cộng đồng dẫn dắt (Tuyên bố Leiden) cho thấy cộng đồng toán học đang thích ứng chứ không rút lui . Cuộc trò chuyện hiện tại tập trung vào các chuẩn mực và tín nhiệm, chứ không phải bác bỏ toàn bộ đầu ra của AI.
Chi phí và tốc độ khám phá đang giảm mạnh. Chi phí tính toán 2.000 đô la cho kết quả Astra của OpenAI và thời gian quay vòng 36 giờ cho cận Riemann của Claude cho thấy rằng chi phí cận biên của một khám phá toán học có thể xuất bản đang tiến gần đến con số không . Điều này có ý nghĩa sâu sắc đối với việc các nhà nghiên cứu sẽ theo đuổi những câu hỏi nào và ai có thể tham gia vào nghiên cứu toán học.
Tóm lại: Cải thiện cận Riemann của Anthropic là một minh chứng mang tính bước ngoặt rằng các hệ thống AI giờ đây có thể tự động khám phá các kết quả toán học có thể xuất bản, có thể kiểm chứng bằng hình thức, thúc đẩy một bài toán mở 150 năm tuổi. Kết hợp với chuỗi các đột phá tương tự trong năm 2026, nó chuyển cuộc thảo luận từ "liệu AI có thể đóng góp cho khám phá khoa học không" sang "cộng đồng khoa học nên cấu trúc các động lực, sự ghi nhận và xác minh như thế nào cho một lớp mới các nhà đồng khám phá AI."