Anthropic: Claude tạo ra chứng minh 13 triệu dòng cho Định lý cuối cùng của Fermat

TREE NEWS thông tin: Anthropic thông báo rằng mô hình AI Claude đã dành 11 ngày để tạo ra một chứng minh dài 13 triệu dòng cho Định lý cuối cùng của Fermat, một bài toán tồn tại 350 năm, dưới dạng mà máy tính có thể xác minh mà không cần sự tin cậy của con người. Thành tựu này đánh dấu một cột mốc trong toán học hình thức do AI thúc đẩy.