هوش مصنوعی یک مسئله ریاضی که ۸۰ سال لاینحل بود را حل کرد