هوش مصنوعی جدید Astra موفق به حل ۱۰ مسئلهی ریاضی پیچیده شده است که برخی از آنها برای دههها بدون پاسخ باقی مانده بودند.