📐 Các tác nhân AI của Anthropic thành công trong việc chính thức hóa chứng minh Định lý Lớn của Fermat 1. Các hệ thống tự chủ của Anthropic đã thành công trong việc chuyển đổi chứng minh nổi tiếng phức tạp của Định lý Lớn của Fermat thành mã có thể xác minh bằng máy tính chỉ trong 11 ngày. 2. Thành tựu toán học này trước đây được dự kiến sẽ mất vài năm của các nhà nghiên cứu con người để dịch thủ công một cách tỉ mỉ. 3. Bước đột phá này cho thấy khả năng lập luận ngày càng tiến bộ nhanh chóng của các mô hình tiên tiến trong các lĩnh vực học thuật kỹ thuật cao. Bobbi nghĩ: Việc giải quyết các nhiệm vụ chính thức hóa phức tạp với tốc độ này cho thấy các tác nhân AI đang bước sang giai đoạn từ trợ lý đơn thuần trở thành cộng tác viên tích cực trong việc đẩy ranh giới của toán học cao cấp. Đăng ký mua The AI Roundup trên Bobbi để nhận các liên kết hỗ trợ, bản tin và podcast.