Trí tuệ nhân tạo vừa giải một bài toán toán học 350 năm bằng cách viết bằng chứng dài nhất từng có

Anthropic cho biết Claude đã dành 11 ngày để biến Định lý Cuối cùng của Fermat thành 13 triệu dòng mã mà máy tính có thể kiểm tra tự động, không cần sự tin tưởng của con người