دوشنبه ۱۱ آبان ۱۴۰۵ ۲ نوامبر ۲۰۲۶

زبان: فارسی

سرخط خبرها :

برنامه بازی‌های امروز دوشنبه ۱۱ آبان ۱۴۰۵؛تراکتور و النصر در لیگ نخبگان آسیا به میدان می‌روند + ساعت بازی
آخرین تحولات جنگ عربستان و یمن؛سعودی در تله یمن؛ از آتش رأس‌تنوره تا فلج پروازهای ریاض
آخرین تحولات جنگ آمریکا و ایران؛ از هرمز تا اروپا ؛ آیا ترامپ می‌داند جنگ با ایران تا کجا پیش می‌رود؟
چه پیوندی ذوالفقاری را به جنگ رمضان متصل می‌کند؟
پیش‌بینی قیمت دلار دوشنبه ۱۱ آبان ۱۴۰۵؛ بازار ارز در انتظار نتیجه مذاکرات

اثبات‌های ماشینی

۲۲ شهریور ۱۴۰۵

هشدار 25 برنده برتر مدال فیلدز درباره ورود هوش مصنوعی به ریاضیات

25 برنده مدال فیلدز که معادل جایزه نوبل در علم ریاضیات برشمرده می‌شود، هشدار داده‌اند که اثبات‌های ماشینی، سخت‌ترین…