‏ادعای OpenAI: سه کشف تازه تو ریاضی، علوم کامپیوتر و فیزیک

Dan Roberts، پژوهشگر OpenAI، اعلام کرده مدل‌های این شرکت سه نتیجه‌ی جدید تو سه حوزه ساختن و Greg Brockman، رئیس OpenAI، هم اینو نشونه‌ی این دونسته که AI داره به گسترش فهم بشر کمک می‌کنه. طبق مقاله، مهم‌ترین نکته اینه که هر سه فعلاً فقط ادعا هستن و منتظر بررسی متخصص‌های بیرونی.

اولی و عجیب‌ترینش رد exponential time hypothesis (ETH) هست، یعنی این باور که برای یه دسته از مسائل سخت هیچ میان‌بری جز جست‌وجوی تقریباً کامل همه‌ی حالت‌ها وجود نداره. ETH سال ۱۹۹۹ توسط Russell Impagliazzo و Ramamohan Paturi مطرح شد و صدها نتیجه‌ی دیگه روش بنا شده. OpenAI می‌گه روشی پیدا کرده که از اون حد سریع‌تره، هرچند هنوز تو مقیاس روزمره کنده. اثبات با Lean (ابزاری که اثبات‌های ریاضی رو قدم به قدم چک می‌کنه) بررسی شده و Ryan Williams همراه با خود Impagliazzo و Paturi دارن بررسیش می‌کنن.

این با حل مسئله‌ی P در برابر NP فرق داره. خود Brockman گفته P احتمالاً هنوز با NP برابر نیست، یعنی رمزنگاری و امنیت اینترنت تهدید نمی‌شه.

نتیجه‌ی دوم تو آنالیز هارمونیک هست، شاخه‌ای از ریاضی که رفتار موج‌ها رو توصیف می‌کنه و پشت فشرده‌سازی صدا و عکس و بازسازی تصویر MRI قرار داره. OpenAI می‌گه local smoothing conjecture رو (حدسی از سال ۱۹۹۱ درباره‌ی اینکه موج‌ها موقع پخش شدن چقدر صاف می‌شن) همراه با حدس Kakeya، تو همه‌ی ابعاد یک‌جا ثابت کرده. ریاضی‌دان‌ها قبلاً اینا رو بُعد به بُعد حل می‌کردن و حالت سه‌بعدی Kakeya تازه سال ۲۰۲۵ حل شد. این اثبات روی GitHub منتشر شده تا همه بتونن چکش کنن.

نتیجه‌ی سوم به Yang-Mills مربوطه، پایه‌ی ریاضی نیروی هسته‌ای قوی و یکی از هفت مسئله‌ی جایزه‌ی هزاره. این مسئله دو بخش داره: وجود و mass gap. OpenAI فقط بخش وجود رو ادعا کرده، پس جایزه‌ی یک میلیون دلاری هنوز برنده‌ای نداره. این اثبات هنوز عمومی نشده و دست گروهی از فیزیک‌دان‌ها به رهبری David Gross، برنده‌ی نوبل، هست.

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

نکات کلیدی:

• ادعای رد exponential time hypothesis که از سال ۱۹۹۹ پابرجا بوده
• اثبات local smoothing conjecture از سال ۱۹۹۱ تو همه‌ی ابعاد یک‌جا
• فقط بخش «وجود» مسئله‌ی Yang-Mills ادعا شده، نه mass gap؛ جایزه‌ی یک میلیون دلاری هنوز برنده نداره
• اثبات ریاضی روی GitHub منتشر شده ولی اثبات فیزیک هنوز عمومی نیست
• مسئله‌ی P در برابر NP حل نشده و رمزنگاری در خطر نیست