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