خاخبار خبرگزاری‌های ایران
همه اخبار ← فناوری ← عامل‌های هوش مصنوعی گوگل معمای ۹۰ ساله ریاضی را حل کردند
عامل‌های هوش مصنوعی گوگل معمای ۹۰ ساله ریاضی را حل کردند
فناوری

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

منبع: مهر

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