95
Nghiên cứu
Claude hoàn thành chứng minh định lý Fermat bằng ngôn ngữ Lean với hơn 13 triệu dòng mã
(giờ Việt Nam)
Tóm tắt AI
Anthropic công bố Claude đã thực hiện thành công chứng minh hình thức đầu tiên cho định lý lớn Fermat, tạo ra khối lượng mã Lean lớn nhất từ trước đến nay.
Bài viết được AI dịch và tổng hợp tự động từ X: Anthropic (@AnthropicAI). Liên kết bài gốc ở phía trên. Dữ liệu đồng bộ qua API công khai được ghi nguồn tại AI HOT (canonical) ↗. AIHOT.vn luôn dẫn nguồn đầy đủ — nếu bạn thấy điểm cần chỉnh sửa, hãy gửi ý kiến tại trang phản hồi.