فشار وزرای اسرائیل برای کوچاندن اجباری ساکنان غزه

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