اثبات
- اخبار
هشدار ۲۵ برنده برتر مدال فیلدز:
هوش مصنوعی ریاضیات را خراب میکند!۲۵ برنده مدال فیلدز که معادل جایزه نوبل در علم ریاضیات برشمرده میشود، هشدار دادهاند که اثباتهای ماشینی، سختترین معادلات…
- اخبار
اثبات آبگریز بودن گرافن
دانشمندان با کمک شبیهسازیهای مبتنی بر یادگیری ماشین ثابت کردند گرافن ذاتاً مادهای آبگریز است، نه آبدوست. در آزمایشهای قبلی…