هوش مصنوعی گوگل معمای ۹۰ ساله ریاضی را حل کرد

سیستم چندعاملی گوگل، اثبات‌های ریاضی برجسته را به‌صورت رسمی صورت‌بندی و نرم‌افزارها را بهینه‌سازی می‌کند.