Trong một thử nghiệm nội bộ, Claude – mô hình ngôn ngữ của Anthropic – được giao nhiệm vụ “đánh giá” giả thuyết Riemann, một trong những vấn đề chưa giải quyết nổi tiếng nhất trong toán học. Mặc dù không chứng minh được giả thuyết, Claude đã đưa ra một kết quả đáng chú ý: nâng giới hạn dưới của tỉ lệ các zero của hàm zeta Riemann nằm trên đường thẳng quan trọng từ 41,6% lên 67,2%.
Kết quả này dựa trên việc tổng hợp các công trình của các nhà toán học Baluyot, Goldston, Suriajaya và Turnage‑Butterbaugh, cùng với các phương pháp của Bombieri. Claude xây dựng một không gian hàm số với dạng bậc hai do Weil tạo ra, sau đó áp dụng bất đẳng thức về hạng của dạng bậc hai dựa trên thông tin moment thứ nhất và thứ hai. Hai nhà toán học Brian Conrey và Dan Goldston đã xem xét và xác nhận bằng chứng không chính thức của Claude, đồng thời Claude còn tạo ra một bằng chứng có thể kiểm chứng một cách hình thức.
Mặc dù không mong đợi các kỹ thuật này sẽ trực tiếp chứng minh giả thuyết Riemann, kết quả này minh chứng cho tốc độ tiến bộ của khả năng toán học trong các mô hình AI hiện đại. Đối với cộng đồng AI và nghiên cứu Việt Nam, đây là một ví dụ sinh động cho thấy AI có thể hỗ trợ khám phá toán học sâu, mở ra tiềm năng hợp tác giữa nhà khoa học và mô hình ngôn ngữ.
Nguồn: Hacker News — Biên dịch & tổng hợp: danhbaai.com