هوش مصنوعی فرضیه ۵۰ ساله پال اردوش، ریاضی‌دان مطرح را باطل کرد