شاهکاری دیگر از هوش مصنوعی؛ فرموله‌کردن اثبات ۱۳ میلیون خطی یک قضیه ریاضی در ۱۱ روز !

هوش مصنوعی آنتروپیک تنها در ۱۱ روز موفق به فرموله کردن «قضیه آخر فرما» شد.