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
Dự án Trao đổi của Anthropic nghiên cứu về những tác động kinh tế khi các tác nhân AI thực hiện giao dịch thay con người. Nghiên cứu này khám phá các kịch bản và hệ quả tiềm ẩn khi ủy quyền hoạt động trao đổi cho các hệ thống tự động.
24/09/2026
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
