#toán-học-hình-thức

Nghiên cứu của Anthropic tập trung vào việc chính thức hóa Định lý cuối cùng của Fermat, một trong những bài toán nổi tiếng nhất trong lịch sử toán học. Mục tiêu là chuyển đổi định lý này thành một dạng có thể được kiểm tra và xác minh một cách chặt chẽ bằng các công cụ toán học hình thức.