هشدار محسن رضایی به واشنگتن درباره موشک‌های ایران

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