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)
Nguyên văn trên X
Checking that a major mathematical proof is correct can take years. Formalization-converting the mat…
Dịch · 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.