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

گوگل سیستم چندعاملی «آنتی‌گرavity» را با تیم‌هایی از عامل‌های مخصوص گسترش داده که با مدل‌های جمینای فعال می‌شوند. در این کار، سیستم تیم‌ورک LEAP گوگل حدود ۱.۸ میلیون خط کد به زبان Lean تولید کرد و ۲۸۸۰۰ بار از عامل‌های فرعی استفاده کرد.

حدس‌های ویل که به تعداد جواب‌های معادلات چندجمله‌ای روی میدان‌های متناهی می‌پردازند، صورت‌بندی رسمی شده‌اند. این نتایج را نخستین بار پیر دلین، ریاضی‌دان فرانسوی، در سال ۱۹۷۴ اثبات کرده بود.

پژوهشگرانی از گوگل و موسسات دانشگاهی با کمک این چارچوب، اثباتی را برای حدس کورتاد-کومار در حالت کلی توسعه دادند و مدل‌های جمینای به این کار کمک کردند.

ادعا شده هدف این روش کاهش اشتباهات یک مدل در تولید زنجیره‌های طولانی از استدلال‌ها با چند عامل موازی و بازبین‌های جداگانه است.