Trí tuệ nhân tạo tiến sâu vào lĩnh vực toán học cao cấp một cách mạnh mẽ!
Anthropic đã công bố rằng các tác nhân của Claude AI đã hoàn thành trong 11 ngày bản nháp đầu tiên đầy đủ và có thể kiểm chứng bằng máy tính cho định lý Fermat cuối cùng, sử dụng ngôn ngữ Lean.
🤯 Dự án tạo ra khoảng 13 triệu dòng mã Lean và chứng minh hơn 30.000 mệnh đề trung gian, với việc sử dụng gần 29.500 trong số đó cho phần chứng minh cuối cùng.
Điều gây ấn tượng ở đây không chỉ là việc giải một bài toán nổi tiếng, mà là AI đã có thể chuyển đổi những chứng minh toán học phức tạp thành một dạng mà máy tính có thể thẩm định từng bước.
Đây có thể là khởi đầu của một kỷ nguyên mới: AI không chỉ viết mã… mà còn giúp xác minh chính bản thân toán học.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto