Nghiên cứu
Claude lập kỳ tích: Hoàn thành chứng minh hình thức đầu tiên cho Định lý lớn Fermat
(giờ Việt Nam)
Nguyên văn trên X
Respect where respect is due: Anthropic says Claude completed the first fully computer-checked proof…
Dịch · tóm tắt AI
Anthropic công bố Claude đã hoàn tất chứng minh hình thức cho Định lý lớn Fermat sau 11 ngày làm việc, tạo ra hơn 13 triệu dòng mã Lean – quy mô chứng minh 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: Kim (@kimmonismus). 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.