پژوهشگران توانسته‌اند برای کمک به اثبات و طرح قضایای جدید پیچیده ریاضی از هوش مصنوعی استفاده کنند