شاهکاری دیگر از هوش مصنوعی در ریاضیات
تاریخ انتشار : ۱۴۰۵/۰۶/۱۷ ساعت ۲۲:۳۹گروه علم و فناوری: هوش مصنوعی آنتروپیک تنها در ۱۱ روز موفق به فرموله کردن «قضیه آخر فرما» شد. کلود یک اثبات ۱۳ میلیون خطی و بررسیشده توسط رایانه برای این قضیه مشهور تولید کرده…