کمتر از یک ماه پس از انتشار گسترده صدها دست‌نوشته پژوهشی که به گفته OpenAI حاوی راه‌حل‌هایی برای مسائل دیرینه ریاضیات بودند، این شرکت با 3 کشف “بزرگ” دیگر در ریاضیات، علوم کامپیوتر و فیزیک بازگشته است. تفاوت این بار در آن است که OpenAI تصمیم گرفته برای هدایت نتایج علوم کامپیوتر و فیزیک از متخصصان بیرونی، که خود شرکت آن‌ها را “راهنما” می‌نامد، کمک بگیرد. در مورد مسئله ریاضی نیز شرکت می‌گوید این متخصصان توصیه کرده‌اند خروجی هوش مصنوعی را منتشر کند تا پژوهشگران خودشان توضیحات لازم را درباره آن ارائه دهند.
نتایج OpenAI که امروز به GitHub اضافه شدند:
هموارسازی موضعی برای معادله موج اقلیدسی (Local smoothing for the Euclidean): این اثبات از یک معادله دیفرانسیل جزئی کمکی استفاده می‌کند تا خاصیت هموارسازی موضعی سوگ (Sogge) را برای امواج در تمام ابعاد فضایی 2 و بالاتر اثبات کند. این نتیجه همچنین حدس‌های بیشینه و بُعد کاکیا و برآوردهای محدودسازی کروی اشتاین را در سراسر بخش داخلی محدوده حدس‌زده‌شده نتیجه می‌دهد. همانند انتشار 6 اکتبر، خروجی مدل را مستقیماً منتشر می‌کنیم.
فرضیه زمان نمایی (Exponential Time Hypothesis) نادرست است: این مقاله الگوریتمی قطعی ارائه می‌کند که تعداد دقیق انتساب‌های ارضاکننده فرمول‌های CNF با عرض ثابت را در زمان زیرنمایی و با فضای چندجمله‌ای محاسبه می‌کند. حالت 3-SAT فرضیه زمان نمایی را رد می‌کند. یک گروه کاری مستقل از دانشمندان علوم کامپیوتر، به رهبری راسل ایمپاگلیاتزو، راماموهان پاتوری و رایان ویلیامز، این اثبات را بررسی و تشریح خواهد کرد.
به درخواست این گروه، مطالب را بلافاصله به‌صورت عمومی منتشر می‌کنیم تا دیگران نیز بتوانند آن‌ها را بررسی کنند.
این شرکت اذعان می‌کند که این رویکرد ممکن است مشکلات خاص خود را داشته باشد. هیئت مشاوران ریاضی AGMAI که OpenAI تشکیل داده، همین دیروز اعلام کرد که توصیه می‌کنیم شرکت‌های هوش مصنوعی چنین رویه‌ای را در پیش نگیرند؛ یعنی اینکه افراد مشخصی برای دریافت زودهنگام خروجی‌ها انتخاب شوند. این هیئت، دسترسی نابرابر، بهره‌گیری از اعتبار دیگران و انتخاب جانبدارانه را از جمله مشکلات این روش برشمرده است.
در عوض، این هیئت توصیه کرده که آزمایشگاه‌های هوش مصنوعی در آینده خروجی‌های خود را در مخازن علمی منتشر کنند، اثبات‌ها را به زبان Lean صورت‌بندی رسمی کنند، اطلاعاتی درباره نحوه انتخاب مسائل ارائه دهند، بودجه‌ای برای افرادی در نظر بگیرند که روی فهم نتایج کار می‌کنند و اطلاعات دیگری را نیز در اختیار عموم بگذارند. جزئیات مربوط به فیزیک هنوز به‌طور کامل منتشر نشده، اما OpenAI آن را “اثبات وجودیِ دقیق از نظر ریاضی برای برخی نظریه‌های میدان کوانتومی برهم‌کنشی در چهار بُعد، شامل میدان‌های پیمانه‌ای و فرمیون‌ها، از جمله کرومودینامیک کوانتومی (QCD) و تکمیل یکپارچه مدل استاندارد فیزیک ذرات” توصیف کرده است.
به گفته OpenAI، دیوید گراس رهبری گروهی متشکل از مایکل داگلاس، آرتور جافه، ایگور کلبانوف و نیکیتا نکراسوف را بر عهده خواهد داشت تا این پژوهش را هدایت کنند. گفته می‌شود همکاری در حوزه علوم کامپیوتر نشان می‌دهد که فرضیه زمان نمایی (ETH)، که مدت‌ها به‌طور گسترده درست تلقی می‌شد، در واقع نادرست است. OpenAI اعلام کرده است که بررسی این نتیجه زیر نظر گروهی متشکل از 3 متخصص انجام خواهد شد. این گروه شامل راسل ایمپاگلیاتزو و راماموهان پاتوری از دانشگاه کالیفرنیا در سن‌دیگو است که در سال 1999 در گروه اولیه مطرح‌کننده این فرضیه حضور داشتند، و همچنین رایان ویلیامز، استاد مؤسسه فناوری ماساچوست (MIT)، می‌شود.
این گروه تصمیم گرفته است شرح تولیدشده به‌وسیله هوش مصنوعی و اثبات Lean را امروز در GitHub منتشر کند. آن‌ها همچنین نامه‌ای سرگشاده خطاب به جامعه علمی منتشر کرده‌اند و از دیگران خواسته‌اند درباره نحوه بررسی این ادعا و تدوین هنجارهایی برای مواجهه با دستاوردهای علمی تولیدشده به‌وسیله هوش مصنوعی نظر بدهند:
از بحث و تبادل نظر درباره 3 پرسش کلی زیر استقبال می‌کنیم:
چه انتظاراتی باید بر دسترسی زودهنگام به نتایج تولیدشده به‌وسیله هوش مصنوعی، افشای تعارض منافع و استفاده از مطالب منتشرنشده برای پژوهش‌های بعدی حاکم باشد؟
اعتبار علمی چگونه باید هم کشفیات جدید و هم کارهای مربوط به بررسی، اصلاح، ساده‌سازی، توضیح و گسترش آن‌ها را به رسمیت بشناسد؟
با تغییر روش‌ها و جهت‌گیری‌های پژوهشی، چگونه می‌توان از دانشجویان و پژوهشگران حمایت کرد و در عین حال، توانایی درک و قضاوت لازم برای زیر سؤال بردن نتایج و توسعه ایده‌های جدید را حفظ کرد؟
درباره دستاورد ریاضی نیز مستندات مشابهی منتشر شده است. در این مورد، مدل OpenAI «اثباتی برای حدس هموارسازی موضعی در تمام ابعاد ارائه کرده و در نتیجه، حدس کاکیا و حدس محدودسازی اشتاین را نیز در تمام ابعاد حل کرده است». تنها چند ماه پیش، هونگ وانگ، استاد دانشگاه نیویورک (NYU)، به‌دلیل حل حدس کاکیا در 3 بُعد، از سوی اتحادیه بین‌المللی ریاضیدانان به دریافت مدال معتبر فیلدز مفتخر شد
هنوز نظری ثبت نشده
نظرات شما درباره «OpenAI از کشفیات جدیدی در ریاضیات،...»اولین نفری باشید که نظر می‌دهید!
نظرات شما میتواند به بهبود محتوا و کمک به دیگران کمک کند.
ثبت اولین نظر