به گزارش ثریا گوگل سیستم چندعاملی «آنتی گراویتی» خود را با کمک تیم هایی از عامل های مخصوص که با مدل های جمینای فعال می شوند برای حل معادله های ریاضی که سالهاست حل نشده اند، تایید اثبات معادلات پیچیده و بهبود سیستم های نرم افزاری گسترش داده است.
این شرکت اعلام کرد چهارچوب «تیم ورک» به محققان کمک کرده نتایج ریاضی بی سابقه ای را نهایی کنند، ساختارهای مولکولی را شناسایی کنند و پیاده‌سازی‌های نرم‌افزاری سریع‌تر را انجام دهند. این فعالیت کارشناسی سطح انسانی را با چند عامل که به طور مستقل راه حل ها را بررسی، روش هارا آزمایش و نتایج را با استفاده از ابزارهای رایانشی تایید می کنند، ترکیب کرده است.
یکی از برجسته‌ترین دستاوردها، صورت‌بندی رسمیِ «حدس‌های ویل»؛ مجموعه‌ای از نتایج مهم ریاضی که به تعداد جواب‌های معادلات چندجمله‌ای روی میدان‌های متناهی می‌پردازد، است. سیستم «تیم ورک LEAP» گوگل برای صورت‌بندی رسمی این نتایج، در مجموع حدود ۱.۸ میلیون خط کد به زبان برنامه‌نویسی Lean تولید کرد و ۲۸۸۰۰ بار از عامل‌های فرعی استفاده کرد. این نتایج را پیر دولین ریاضی‌دان فرانسوی نخستین بار در سال ۱۹۷۴ اثبات کرده است.
گوگل اعلام کرد این سامانه همچنین توانسته صورت‌بندی رسمیِ یک اثبات جدید درباره انفجار در زمان متناهی (Finite-Time Blowup) در معادلات ناویر–استوکس سه‌بعدی را بازتولید کند که این مسئله‌ا با یکی از هفت مسئلهٔ جایزه هزاره ارتباط دارد.
این پرسش که آیا جواب‌های هموار (بدون ناپیوستگی و تکینگی) این معادلات ممکن است در مدت‌زمانی محدود دچار تکینگی شوند، حدود ۹۰ سال است که همچنان حل‌نشده باقی مانده است.
سیستم مذکور همچنین به پژوهشگران کمک کرد تا به مسئله حدس کورتاد–کومار (Courtade–Kumar Conjecture) بپردازند که در حوزه نظریه اطلاعات که نخستین بار در سال ۲۰۱۳ مطرح شد.
پژوهشگرانی از گوگل و موسسات دانشگاهی با استفاده از این چارچوب، موفق شدند اثباتی را در حالت کلی (بدون محدود کردن آن به شرایط خاص) توسعه دهند. در این فرایند، مدل‌های هوش مصنوعی جمینای به استخراج کران‌های تحلیلی و تولید گواهی‌های قابل بررسی توسط رایانه کمک کردند.
پژوهشگران این اثبات را با استفاده از Lean ۴ صورت‌بندی رسمی کردند. Lean ۴ زبان برنامه‌نویسی و دستیار اثبات است که به رایانه امکان می‌دهد استدلال‌های ریاضی را بررسی و صحت آن‌ها را تأیید کند.
روش گوگل مبنی بر چند عامل است که به طور موازی کار می کنند و سیستم های جداگانه برای به چالش کشیدن و تایید راه حل های پیشنهادی تعیین شده اند. هدف از این کار کاهش اشتباهات یک مدل در زمان تولید زنجیره ای طولانی از استدلالات است.
هر عامل مخصوص فقط فایل ها و ابزارهایی را دریافت می کند که برای فعالیت مذکور مورد نیاز است. منتقدان و بازبین های مستقل نیز نتایج را بدون اتکا به استدلال اولیه عامل بررسی می کنند.
منبع: مهر
ابلاغ جدیدترین دستورالعمل پذیرش مستقیم دستیاری در ۶ رشته تخصصی
سرویس‌های مایکروسافت احیا شدند
درخشش نخبگان ایرانی در مسابقات فناوری‌های پیشرفته بریکس؛ کسب ۹ مدال
فعالیت ۱۲ کمیته در حوزه علوم انسانی برای تحقق خیزش علمی
هوش مصنوعی گوگل معمای ۹۰ ساله ریاضی را حل کرد
آزمون تکمیل ظرفیت دستیاری فوق تخصصی پزشکی ۸ آذر برگزار می‌شود
رفع محدودیت مناطق ممنوعه برای تسهیل جذب دانشجویان بین‌المللی
هوش مصنوعی بومی دانشگاه تهران در تشخیص گفتار فارسی از گوگل پیشی گرفت
فراخوان استادان جهت موافقت با بیانیه لزوم بازنگری در دکترین هسته‌ای
نقشه راه دانشگاه علوم پزشکی هوشمند برای کسب مرجعیت در آموزش دیجیتال
شهادت یک مامور فراجا در سیستان‌وبلوچستان
رونمایی ناسا از قراردادهای جدید ۱۰ میلیارد دلاری خود
استوری هادی چوپان برای حضرت زهرا(س)+عکس
ابداع یک آبنبات‌چوبی برای معاینه کودکان
نانوپوشش‌ها به کمک افزایش عمر لنت‌های ترمز آمدند
دانشگاه باید از پارادایم «مدرک‌گرایی» به سمت «مهارت‌محوری» حرکت کند
گاهی بزرگترین سرقت، دزدیدن فرصت زندگی دیگران است
تدوین برنامه اجرایی برای ورود با تأخیر نودانشجویان علوم پزشکی
جزئیات ثبت نام ۴ درس مجازی برای دانشجویان علوم پزشکی اعلام شد
شرایط ثبت‌نام پذیرفته‌شدگان نوورود شاهد و ایثارگر
«پرواز ۶۵۵» ده‌نمکی به تدوین رسید
امت پیامبر(ص) چگونه در ستم به دخترش همدست شدند؟
میزبانی محوطه تئاتر شهر از مجلس تعزیه شهادت حضرت زهرا (س)
عامل هوش مصنوعی متا به جای کاربر تماس می‌گیرد
«پروانه الماس» بهترین فیلمنامه به «دختر پری‌خانوم» رسید
برد پیت ۵۰ سال عقب می‌رود؛ بازی در نقش یک فلزکار در آسمان‌ها
مویه حضرت علی (ع) بر پیکر زهرا (س) در نقاشی علی بحرینی
جایزه سزار افتخاری آکادمی فیلم فرانسه به نیکول کیدمن می‌رسد
حضرت زهرا(س) موضوع فدک را به سطح «حق مسلمانان و مشروعیت حکومت» بردند
مدیرعامل انویدیا استعفا کرد
یک کشف جدید از معادلات اینشتین درباره گرانش
۲ دنیای بکر پنهان در اقیانوس آرام کشف شد
این سیاره خورشیدی چرا گم شد؟
زمان اعلام نتایج نهایی آزمون سراسری مشخص شد
عدالت اجتماعی در دیدگاه اسلامی به معنای برابری مطلق نیست
همه عمار و مالک‌اشتر نیستند، اما هرکس در قبال حق مسئول است
برای جلوگیری از عادی شدن حرام، باید قبح اجتماعی آن را زنده کرد
کنش حضرت زهرا(س)، حقیقت را به حافظه تاریخ سپرد
بیش از ۶۰ درصد مدارس کشور را خیرین ساختند
توییت صفحه فرمانده کل سپاه به مناسبت روز هوافضا و بازنشر بخشی از پیام ایشان
روایتی از زندگی و میراث شهید حسن طهرانی‌مقدم در برنامه تلویزیونی «نردبان»
انتشار یک قطعه موسیقایی جدید به مناسبت شهادت حضرت زهرا (س)
تلاش نمایش «کورش» برای بازسازی اسطوره قهرمان و پیوندزدن گذشته با اکنون
آنچه کیهان کلهر درباره کتاب «بهجت الروح» گفت
دست‌نوشته رهبر شهید انقلاب برای تقدیر از شهید حسن طهرانی مقدم
تصویر منتشرشده در رسانه‌ها تحت عنوان تست موشک در آسمان غرب تهران
ساخت نانوذرات دارویی ضدسرطان با نور خورشید در زمانی کوتاه
رقابت ۸ هزار نفر در آزمون پذیرش دانشجوی پزشکی از لیسانس ۱۴۰۵
حمایت ویژه از پژوهشگران پسادکتری در قالب طرح شهید چمران
ضرورت ایجاد فضای امن و با نشاط در مدارس سمپاد
آغاز ثبت‌نام اعتکاف دانش‌آموزی ۱۴۰۵
اپل و سامسونگ برای ورود به بازار چین دست به دامن هوش مصنوعی محلی شدند
روبات جدید گوگل آسیب نرساندن به کودکان را می‌آموزد
سند توسعه متوازن دانشگاه‌های علوم پزشکی در دست بازنگری قرار دارد
ثبت‌نام تک‌دروس دانشگاه علوم پزشکی هوشمند از ۲۳ آبان آغاز می‌شود
کشف سیاره ای که ناگهان ناپدید شد!
آزمون صلاحیت حرفه ای گروه پرستاری دی ماه ۱۴۰۵ برگزار می‌شود
تصویب ساماندهی مراکز تحقیقات و شبکه‌های تحقیقات و فناوری علوم پزشکی
دلایل افت رتبه دانشگاه‌ها در رتبه بندی‌ها چیست؟
مرکز جدید برای برگزاری آزمون الکترونیکی زبان انگلیسی «تولیمو» ایجاد شد
چرا شناخت هوش هیجانی کودکان مهم است؟
زمزمه‌های استعفای مدیر انویدیا آغاز شد
«مواد و ساخت پیشرفته» پیشران اقتدار صنعتی و ارتقای تاب‌آوری فناورانه
سناریوهای ورود با تأخیر دانشجویان نوورود گروه علوم پزشکی بررسی شد
هکرها نهاد ناظر بر امنیت مالی کره جنوبی را هک کردند
دانشگاه آزاد درباره عدم اعتبار بورسیه‌های متفرقه اطلاعیه داد
چرا سهم شیر دانش‌آموزان به ۳۰ نوبت محدود شد؟
خدمات بیمه‌ای فرهنگیان قزوین در مسیر ارتقا و تسهیل دسترسی
نهضت مدرسه‌سازی خوزستان تا مهر ۱۴۰۷ به سرانجام می‌رسد
درخشش دانش‌آموزان البرزی با کسب ۱۵ مدال علمی
مزار پنهان دختر پیامبر(ص)، تناقضی که تاریخ صدر اسلام را به چالش می‌کشد
فارسی در هند فقط زبان شعر نبود
کتاب «کهکشان نیستی» به زبان عربی ترجمه و منتشر شد
زینب طهرانی‌مقدم: شعر ما را به شناخت عمیقی از اسطوره‌های ملی می‌رساند
برای شناخت دختر پیامبر(ص)، این ۱۰ کتاب را بخوانید
شاگردی که تا پای شهادت از مکتب طهرانی‌مقدم جدا نشد
مکرون: هوش مصنوعی خطرناک باید برای کودکان ممنوع شود
تغییرات تکمیل ظرفیت دستیاری فوق تخصصی اعلام شد؛ تمدید مهلت ثبت نام
دانشجویان متأهل ملزم به بازپرداخت یکجای وام ودیعه مسکن شدند
تقویم جدید آزمون زبان انگلیسی MHLE سال ۱۴۰۵ منتشر شد
تقویم جدید آزمون زبان انگلیسی MHLE سال ۱۴۰۵ منتشر شد
دانشجویان متأهل ملزم به بازپرداخت یکجای وام ودیعه مسکن شدند
تغییرات تکمیل ظرفیت دستیاری فوق تخصصی اعلام شد؛ تمدید مهلت ثبت نام
قبل از خرید قطعات آسانسور این 7 نکته را بدانید
تصویب ساماندهی مراکز تحقیقات و شبکه‌های تحقیقات و فناوری علوم پزشکی
حمایت ویژه از پژوهشگران پسادکتری در قالب طرح شهید چمران
زمان اعلام نتایج نهایی آزمون سراسری مشخص شد
ثبت‌نام تک‌دروس دانشگاه علوم پزشکی هوشمند از ۲۳ آبان آغاز می‌شود
مکرون: هوش مصنوعی خطرناک باید برای کودکان ممنوع شود
آغاز ثبت‌نام اعتکاف دانش‌آموزی ۱۴۰۵
درخشش دانش‌آموزان البرزی با کسب ۱۵ مدال علمی
دلایل افت رتبه دانشگاه‌ها در رتبه بندی‌ها چیست؟
مزار پنهان دختر پیامبر(ص)، تناقضی که تاریخ صدر اسلام را به چالش می‌کشد
مرکز جدید برای برگزاری آزمون الکترونیکی زبان انگلیسی «تولیمو» ایجاد شد
چرا سهم شیر دانش‌آموزان به ۳۰ نوبت محدود شد؟
ضرورت ایجاد فضای امن و با نشاط در مدارس سمپاد
توییت صفحه فرمانده کل سپاه به مناسبت روز هوافضا و بازنشر بخشی از پیام ایشان
آزمون صلاحیت حرفه ای گروه پرستاری دی ماه ۱۴۰۵ برگزار می‌شود
سناریوهای ورود با تأخیر دانشجویان نوورود گروه علوم پزشکی بررسی شد
کتاب «کهکشان نیستی» به زبان عربی ترجمه و منتشر شد
چرا شناخت هوش هیجانی کودکان مهم است؟
کشف سیاره ای که ناگهان ناپدید شد!
این سیاره خورشیدی چرا گم شد؟
برای شناخت دختر پیامبر(ص)، این ۱۰ کتاب را بخوانید
فارسی در هند فقط زبان شعر نبود
نهضت مدرسه‌سازی خوزستان تا مهر ۱۴۰۷ به سرانجام می‌رسد
سند توسعه متوازن دانشگاه‌های علوم پزشکی در دست بازنگری قرار دارد
اپل و سامسونگ برای ورود به بازار چین دست به دامن هوش مصنوعی محلی شدند
دانشگاه آزاد درباره عدم اعتبار بورسیه‌های متفرقه اطلاعیه داد
رقابت ۸ هزار نفر در آزمون پذیرش دانشجوی پزشکی از لیسانس ۱۴۰۵
نظراتی که حاوی توهین یا افترا به اشخاص ،قومیت ها ،عقاید دیگران باشد و یا با قوانین کشور وآموزه های دینی مغایرت داشته باشد منتشر نخواهد شد - لطفاً نظرات خود را با حروف فارسی تایپ کنید.