Sản phẩmĐiểm AI 79/100
Anthropic công bố mã nguồn chứng minh Định lý lớn Fermat bằng Lean 4
Anthropic đã phát hành bản chứng minh Định lý lớn Fermat được kiểm chứng bằng máy thông qua Lean 4.33.1 và Mathlib, tuân thủ lộ trình logic của các nhà toán học Wiles và cộng sự, đồng thời mở mã nguồn theo giấy phép Apache 2.0.