Nghiên cứu của Anthropic tập trung vào việc chính thức hóa Định lý cuối cùng của Fermat, một trong những bài toán nổi tiếng nhất trong lịch sử toán học. Mục tiêu là chuyển đổi định lý này thành một dạng có thể được kiểm tra và xác minh một cách chặt chẽ bằng các công cụ toán học hình thức.
Tóm tắt này được dịch tự động từ nguồn gốc tiếng Anh. Đọc bài gốc tại Anthropic Research →
Nghiên cứu của Anthropic tập trung vào việc chính thức hóa Định lý cuối cùng của Fermat, một trong những bài toán nổi tiếng nhất trong lịch sử toán học. Mục tiêu là chuyển đổi định lý này thành một dạng có thể được kiểm tra và xác minh một cách chặt chẽ bằng các công cụ toán học hình thức.
Xem nguồn gốc: Anthropic Research
Bài viết này đi sâu vào việc khám phá và đánh giá các khả năng toán học của Claude, đặc biệt là trong các lĩnh vực phức tạp như hàm Riemann zeta. Nghiên cứu nhằm mục đích hiểu rõ hơn về cách Claude xử lý và giải quyết các vấn đề toán học.
11/08/2026
Nghiên cứu này khám phá khả năng tạo ra một 'nút tắt' để vô hiệu hóa kiến thức lưỡng dụng trong các mô hình AI. Mục tiêu là kiểm soát và ngăn chặn việc AI sử dụng thông tin có thể gây hại, đảm bảo an toàn và đạo đức trong phát triển trí tuệ nhân tạo.
09/07/2026
Anthropic công bố giai đoạn hai của Dự án Fetch, một sáng kiến quan trọng do Nhóm Red Team Tiên phong của họ dẫn dắt. Dự án này tập trung vào việc đánh giá và tăng cường an toàn cho các hệ thống AI tiên tiến, đảm bảo chúng hoạt động một cách an toàn và đáng tin cậy.
21/06/2026
Anthropic đã tiên phong thực hiện một nghiên cứu an toàn quan trọng, thử nghiệm khả năng các mô hình ngôn ngữ lớn (LLM) tự phát triển mã khai thác lỗ hổng bảo mật. Công bố ngày 22/05/2026, báo cáo 'Nhóm Đỏ Tiên phong' không chỉ đo lường rủi ro hiện tại mà còn đề ra các biện pháp bảo vệ, định hình tương lai phát triển AI có trách nhiệm.
17/06/2026
