3 نتیجه بیشتر ریاضی و علمی OpenAI Trumpet به همراه طرحی جدید برای انتشار آنها

نگاه کنید، همه ما کاملا مطمئن هستیم که 3-SAT را نمی توان در زمان چند جمله ای حل کرد. بنابراین وقتی این اتفاق می افتد - همانطور که چندین بار در روز اتفاق می افتد - همه ما می دانیم به کجا مراجعه کنیم. با من بگو: فرضیه زمان نمایی (ETH). منظورم این است که مطمئنا این نیز اثبات نشده است، اما به همه ما ایده خوبی از زمان غیر چندجمله‌ای بودن چیزی می‌دهد.

یا داره؟؟؟ زیرا OpenAI ادعا می کند که کل ETH را رد کرده است. بازگشت به تابلوی نقاشی همه!

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

علاوه بر این که معتقد است مدل‌های هوش مصنوعی آن ETH را رد کرده‌اند، OpenAI ادعا می‌کند که با یافتن یک دلیل جدید برای همه ابعاد در چیزی به نام «حدس هموارسازی محلی» چیزی را از مطالعه امواج و هارمونیک‌ها به نام «حدس کاکیا» حل کرده است.

اما با فکر کردن در مورد همه آن امواج صاف، خیلی راحت نباشید، زیرا در فیزیک، OpenAI همچنین فکر می‌کند که اثباتی برای «تئوری‌های میدان کوانتومی متقابل خاص شامل میدان‌های گیج و فرمیون‌ها در چهار بعد، از جمله کرومودینامیک کوانتومی (QCD) و تکمیل یکپارچه مدل استاندارد فیزیک ذرات است. بله، درست خواندید: میدان ها و فرمیون ها را اندازه گیری کنید!

هنگامی که OpenAI در ابتدای این ماه 377 نتیجه ریاضی را در GitHub منتشر کرد، پست وبلاگ آن شامل بخش‌هایی بود که کمی دفاعی به نظر می‌رسید، از جمله زبانی در مورد اینکه چگونه OpenAI «دانشمندان را با قابلیت‌های پیشرفته توانمند می‌کند» و کار می‌کرد تا «مسئولانه مدلی را منتشر کند که این نتایج را ایجاد می‌کند». یک گروه مشاوره که با آن کار کرده بود قبلا علیه یک شرکت خصوصی که از مدل‌های هوش مصنوعی داخلی منتشر نشده برای دستیابی به نتایج موفقیت‌آمیز استفاده می‌کرد صحبت کرده بود و OpenAI ظاهرا این کار را انجام داده بود.

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

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

OpenAI می‌گوید که نتایج ریاضی در Lean «رسمی» یا «تأیید» شده‌اند، یک ابزار دستیار اثبات برای کاهش نیاز به بررسی و بررسی مجدد کار. اتکای ناب قبلا یک مسئله برای OpenAI بوده است، زیرا خوانندگان انسانی که در راه حل تأیید شده OpenAI - ظاهرا - برای مشکل هزاره ناویر استوکس جستجو می کردند، نگران شدند که Lean ادعای ضعیف تری نسبت به آنچه در ابتدا در آنچه OpenAI منتشر شده بود تأیید کرد.

در میان این دردسرهای فزاینده، OpenAI می‌گوید که قبلا «با متخصصان خارجی» - اغلب همان دانشمندانی که مدل‌ها بر اساس کارشان ساخته‌اند - تماس گرفته است و می‌گوید از آنها می‌خواهد به‌عنوان «چوپان» عمل کنند، که گروه‌هایی را گرد هم می‌آورند که سپس این خروجی‌های هوش مصنوعی را به دانش جدید انسانی تبدیل می‌کنند. اگرچه در پست وبلاگ، OpenAI اذعان می‌کند که «انتخاب چوپان‌های اولیه لزوما مشخص می‌کند که چه کسی ابتدا درگیر می‌شود و عدم تقارن اطلاعات را ایجاد می‌کند».

با توجه به ارزش آن، برخی از اطلاعات «خام» اکنون در GitHub هستند - اما نه همه آنها. به‌عنوان مثال، گروهی که روی فیزیک کار می‌کنند، OpenAI می‌گوید: «از انتشار مصنوعات تولید شده توسط هوش مصنوعی خودداری کنند و در عوض خودشان روی نوشتن آن کار کنند.»