کشف بقایای جسد مرد ناپدیدشده تهرانی پس از ۶ ماه

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