Anthropic vừa thông báo rằng Claude AI của họ đã tự độc lập hoàn thành chứng minh hình thức định lý cuối cùng của Fermat trong 11 ngày, tạo ra khoảng 13 triệu dòng mã có thể được máy tính kiểm tra từng dòng, và đã được nhà toán học Kevin Buzzard xác minh là hợp lệ. Công việc này được thực hiện song song bởi hàng chục tác nhân Claude, sử dụng công cụ hợp tác Prove2Me do nhóm Peng Tian phát triển để điều phối phân công thông qua danh sách công việc trực tiếp; khoảng 7% các dòng trong chứng minh đến từ những nỗ lực sai lầm ban đầu, và quá trình hình thức hóa sử dụng ngôn ngữ Lean, cho phép mỗi bước logic được máy tính kiểm tra.
xiyuChia sẻ
Nguồn:Hiển thị bản gốc
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể được lấy từ bên thứ ba và không nhất thiết phản ánh quan điểm hoặc ý kiến của KuCoin. Nội dung này chỉ được cung cấp cho mục đích thông tin chung, không có bất kỳ đại diện hay bảo đảm nào dưới bất kỳ hình thức nào và cũng không được hiểu là lời khuyên tài chính hay đầu tư. KuCoin sẽ không chịu trách nhiệm về bất kỳ sai sót hoặc thiếu sót nào hoặc về bất kỳ kết quả nào phát sinh từ việc sử dụng thông tin này.
Việc đầu tư vào tài sản kỹ thuật số có thể tiềm ẩn nhiều rủi ro. Vui lòng đánh giá cẩn thận rủi ro của sản phẩm và khả năng chấp nhận rủi ro của bạn dựa trên hoàn cảnh tài chính của chính bạn. Để biết thêm thông tin, vui lòng tham khảo Điều khoản sử dụng và Tiết lộ rủi ro của chúng tôi.