Claude chính thức hóa Định lý cuối cùng của Fermat

Tóm tắt AI

Anthropic cho biết Claude đã tự chủ tạo ra bản chứng minh hình thức, được máy tính kiểm tra trọn vẹn, đầu tiên của Định lý cuối cùng của Fermat trong 11 ngày. Bản chứng minh được viết bằng Lean, với hàng triệu dòng mã và hàng chục nghìn định lý trung gian, cho thấy tiến bộ của AI trong việc hỗ trợ kiểm chứng hình thức toán học.