30 giờ: 1.000 tác nhân Fable 5.2 hình thức hóa Định lý cuối cùng của Fermat, Anthropic ra mắt 2 mô hình Claude mới

Anthropic công bố Claude Fable 5.2 và Claude Mythos 5.2 ngày 10. Công ty cho biết Fable 5.2 được cung cấp rộng rãi, còn Mythos 5.2 chỉ dành cho các tổ chức trong lĩnh vực an ninh mạng và khoa học đời sống đã qua chương trình thẩm định.

Trong thông báo chính thức, Anthropic cho biết 1.000 tác nhân Fable 5.2 đã hình thức hóa Định lý cuối cùng của Fermat bằng ngôn ngữ Lean trong 30 giờ. Công ty giải thích rằng hình thức hóa là chuyển một chứng minh toán học sang ngôn ngữ để máy tính có thể kiểm tra từng bước.

Trang hỗ trợ khách hàng của Anthropic cho biết người dùng gói Max, Ultra, ghế Premium trong gói Teams và các gói doanh nghiệp theo mô hình tính phí theo chỗ ngồi cũ được đặt lại giới hạn sử dụng Fable từ 1 đến 3 lần, tùy thời gian duy trì đăng ký. Thời gian đăng ký dưới 6 tháng được đặt lại 1 lần; từ 6 tháng đến hết 12 tháng là 2 lần; trên 12 tháng là 3 lần.

Người dùng gói Pro và ghế tiêu chuẩn trong gói Teams được dùng mô hình Fable trong một tuần, với mức sử dụng tối đa bằng 50% hạn mức tuần, đồng thời được đặt lại hạn mức 1 lần. Lượng sử dụng được khôi phục sau khi đặt lại cũng áp dụng cho Claude Code, nhưng thao tác đặt lại phải thực hiện trên web, máy tính để bàn hoặc thiết bị di động.