اوپن‌ای‌آی سه ادعای مهم علمی در ریاضیات، علوم رایانه و فیزیک مطرح کرد

journalarta.com

انتشار در منبع: انتشار در سایت ما:

مقاله اصلی · English

اوپن‌ای‌آی از سه ادعای مهم پژوهشی در حوزه‌های ریاضیات، علوم رایانه و فیزیک خبر داده است. متخصصان مستقل در بررسی دو مورد از این پژوهش‌ها، یعنی علوم رایانه و فیزیک، مشارکت دارند. این شرکت می‌گوید پس از انتشار مجموعه‌ای از دست‌نوشته‌های ریاضی در دوره اخیر، در حال تغییر شیوه انتشار نتایج تولیدشده با هوش مصنوعی است.

به گزارش ورج، دو مجموعه از این مطالب در گیت‌هاب منتشر شده‌اند. اوپن‌ای‌آی هنوز تمام مطالب مربوط به پژوهش فیزیک را در دسترس عموم قرار نداده است. در همین حال، از پژوهشگران و جامعه دانشگاهی خواسته شده است درباره شیوه بررسی چنین ادعاهایی اظهارنظر کنند.

متخصصان بر بررسی دو ادعا نظارت دارند

اوپن‌ای‌آی می‌گوید پژوهش این شرکت در ریاضیات به مسئله هموارسازی موضعی برای معادله موج اقلیدسی مربوط می‌شود. به گفته این شرکت، اثبات ارائه‌شده از یک معادله دیفرانسیل با مشتقات جزئی کمکی استفاده می‌کند و نتیجه هموارسازی موضعی سوگ را برای امواج در تمام ابعاد فضایی برابر با دو یا بیشتر برقرار می‌سازد. اوپن‌ای‌آی همچنین مدعی است که این نتیجه، حدس‌های بیشینه کاکیا و بُعد کاکیا و نیز برآوردهای محدودسازی کروی اشتاین را در سراسر ناحیه داخلی بازه مورد حدس اثبات می‌کند.

اوپن‌ای‌آی می‌گوید برای این نتیجه، خروجی مدل را مستقیماً در اختیار پژوهشگران قرار داده است تا آن را بررسی کنند و توضیحاتی برای اثبات ارائه دهند. این رویکرد با فرایند بررسی دو حوزه دیگر تفاوت دارد؛ در آن دو مورد، متخصصان بیرونی هدایت ارزیابی پژوهش را بر عهده دارند.

مقاله علوم رایانه مدعی است که فرضیه زمان نمایی را رد می‌کند؛ فرضیه‌ای که درستی آن به‌طور گسترده پذیرفته شده است. اوپن‌ای‌آی می‌گوید این مقاله الگوریتمی قطعی ارائه می‌کند که می‌تواند تعداد دقیق تخصیص‌های ارضاکننده فرمول‌های نرمال عطفی (CNF) با عرض ثابت را در زمان زیرنمایی و با استفاده از فضای چندجمله‌ای محاسبه کند. به گفته این شرکت، حالت ۳-SAT است که فرضیه یادشده را نقض می‌کند.

یک گروه کاری مستقل به سرپرستی راسل ایمپاگلیاتزو، راماموهان پاتوری و رایان ویلیامز، اثبات را بررسی و تشریح خواهد کرد. اوپن‌ای‌آی می‌گوید این گروه درخواست کرده است مطالب بلافاصله به‌صورت عمومی منتشر شوند تا دیگران نیز بتوانند آن‌ها را بررسی کنند. به گفته این شرکت، گروه همچنین تصمیم گرفته است شرح تولیدشده با هوش مصنوعی و اثبات رسمی‌شده با زبان لین (Lean) را در گیت‌هاب منتشر کند.

تمام جزئیات پژوهش فیزیک هنوز منتشر نشده است

اوپن‌ای‌آی نتیجه پژوهش خود در فیزیک را اثباتی ریاضی و دقیق برای وجود برخی نظریه‌های میدان کوانتومی برهم‌کنشی توصیف می‌کند که در چهار بُعد، میدان‌های پیمانه‌ای و فرمیون‌ها را در بر می‌گیرند. این شرکت می‌گوید پژوهش یادشده کرومودینامیک کوانتومی و تکمیل یکپارچه‌ای از مدل استاندارد فیزیک ذرات را نیز شامل می‌شود. به گزارش ورج، هنوز تمام اطلاعات این پژوهش منتشر نشده است.

اوپن‌ای‌آی می‌گوید دیوید گراس هدایت گروهی را بر عهده خواهد داشت که مایکل داگلاس، آرتور جافی، ایگور کلبانوف و نیکیتا نکراسوف نیز در آن حضور دارند. وظیفه این گروه، هدایت بررسی پژوهش فیزیک است. به گزارش ورج، شرکت در اطلاعیه مورد بحث، مجموعه کامل مطالب پژوهشی را ارائه نکرده است.

نحوه انتشار این نتایج نیز به بخشی از بحث‌ها تبدیل شده است. هیئت مشاوران ریاضی اوپن‌ای‌آی با نام AGMAI اعلام کرده که به شرکت‌های هوش مصنوعی توصیه کرده است دسترسی اولیه به نتایج را به افراد منتخب محدود نکنند. به گزارش ورج، این هیئت نگرانی‌هایی مانند نابرابری در دسترسی، بهره‌گیری از اعتبار علمی دیگران و سوگیری در انتخاب افراد را مطرح کرده است.

مشاوران در عوض توصیه کرده‌اند نتایج در مخازن علمی منتشر شوند و اثبات‌های صورت‌بندی‌شده با زبان لین، اطلاعات مربوط به نحوه انتخاب مسائل و بودجه‌ای برای حمایت از افرادی که نتایج را بررسی و درک می‌کنند، نیز در دسترس قرار گیرد. چنین اقداماتی به پژوهشگران کمک می‌کند نه‌فقط ادعای اصلی، بلکه شواهد پشتیبان و روندی را که به آن نتیجه منتهی شده است، ارزیابی کنند.

اوپن‌ای‌آی همچنین نامه‌ای سرگشاده منتشر کرده و در آن از جامعه علمی خواسته است درباره دسترسی زودهنگام به نتایج تولیدشده با هوش مصنوعی، افشای تعارض منافع و استفاده از مطالب منتشرنشده در پژوهش‌های بعدی اظهارنظر کند. این شرکت پرسیده است که در تعیین سهم و اعتبار علمی افراد، چگونه باید علاوه بر کشف نتایج، نقش آن‌ها در بررسی، اصلاح، ساده‌سازی، توضیح و گسترش نتایج نیز در نظر گرفته شود. همچنین درباره راه‌های حمایت از دانشجویان و پژوهشگران در شرایط تغییر روش‌های پژوهشی پرسش‌هایی مطرح کرده است.

این پرسش‌ها برای دانشگاهیان پیامدهای عملی دارند: بررسی مستقل می‌تواند به آزمودن ادعاهای پیچیده کمک کند، اما دسترسی زودهنگام و گزینشی ممکن است فرصت ارزیابی یا توسعه این نتایج را از دیگر پژوهشگران بگیرد. بنابراین، انتشار تازه اوپن‌ای‌آی علاوه بر طرح ادعاهای علمی، بحثی حل‌نشده را نیز پیش می‌کشد: چه کسانی و در چه زمانی باید بتوانند پژوهش‌های تولیدشده با هوش مصنوعی را بررسی کنند.

منبع: وب‌سایت ورج