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