هوش مصنوعی گوگل معماهای ۹۰ ساله ریاضی را حل کرد
سیستم هوش مصنوعی گوگل با نام تیم ورک و مدل‌های جمینای، موفق شد معماهای طولانی‌مدت ریاضی را حل و صورت‌بندی رسمی کند. این سامانه چندعاملی با ترکیب کار‌شناسی انسانی و عامل‌های مستقل، نتایج بی‌سابقه‌ای را محقق کرد.
برجسته‌ترین دستاورد، صورت‌بندی رسمی حدس‌های ویل با تولید ۱.۸ می‌لیون خط کد به زبان و استفاده ۲۸۸۰۰ بار از عامل‌های فرعی است. همچنین سیستم گوگل اثبات جدیدی درباره انفجار در زمان متناه‌ی در معادلات ناویر–استوکس سه‌بعدی را بازتولید کرد که یکی از هفت مسئله جایزه هزاره است و ۹۰ سال حل‌نشده مانده بود.
پژوهشگران گوگل و موسسات دانشگاه‌ی با این چارچوب، اثبات کلی حدس کورتاد–کومار در نظریه اطلاعات را نیز توسعه دادند. مدل‌های جمینای در استخراج کران‌های تحلیلی و تولید گواهی‌های قابل بررسی کمک کردند و اثبات‌ها با ۴ صورت‌بندی رسمی شدند.