AI Vừa Giải Được Vấn Đề Toán 350 Năm Bằng Cách Viết Bằng Chứng Dài Nhất Mọi Thời Đại

Tóm tắt 60 từ

AI Claude của Anthropic dành mười một ngày để tạo ra một bằng chứng gồm 13 triệu dòng cho Định Lý Fermat, bằng chứng được xác minh bằng máy tính dài nhất từng có. Hệ thống viết mã tự kiểm tra mà không cần giám sát của con người, thể hiện khả năng suy luận toán học tự động. Đột phá này cho thấy tiềm năng của AI trong việc giải quyết các vấn đề phức tạp, chưa được giải quyết, có khả năng tăng tốc quy trình nghiên cứu và thu hút đầu tư tăng lên vào khám phá khoa học dựa trên AI.