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

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

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