Начало / Новини / Новини и събития / INSAIT и ETH Цюрих представиха най-мащабното проучване на AI-генерирани математически доказателства в света
За да изберете обекти, използвайте подходящите радио бутони или чек-боксове, и натиснете бутона "Избери".
За да изберете обект, който е подобект на някой от показаните обекти, натиснете върху името на обекта родител за да се покаже списък с подобектите му.