"رفتار غارتگرانه": درگیری ریاضیدانان نخبه بر سر "راه حل" OpenAI برای مسئله ریاضی میلیون دلاری

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

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

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

در 8، OpenAI ادعا کرد که 10000 عامل هوش مصنوعی را برای حل مشکل وجود و همواری ناویر-استوکس، یکی از هفت مسئله دشوار جایزه هزاره که توسط موسسه ریاضیات Clay در سال 2000 مطرح شده بود، مستقر کرده است. اکنون). جایزه حل هر یک از این مشکلات یک میلیون دلار است.

نکته مهم این است که ریاضیدانان Tristan Buckmaster و Levent Alpöge تقریبا یک سال روی مسئله Navier-Stokes کار می‌کردند، زمانی که ادعا کردند OpenAI از کار آنها مطلع شده و برای جمع‌آوری آنها تلاش می‌کند و ادعا می‌کند که یک نماینده OpenAI آنها را تهدید کرده است که عمومی نشوند.

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

او گفت: "هیچ مانع قانونی برای نوع رفتار غارتگرانه ای که به ویژه در ماه گذشته شاهد آن بودیم، وجود ندارد، همانطور که در قرن 19 هیچ مانع قانونی برای ... تصاحب خشونت آمیز سرزمین توسط قدرت های استعماری وجود نداشت."

هریس داستان OpenAI Navier-Stokes را در خبرنامه Substack خود Silicon Reckoner بیان کرد، تا حد زیادی آنچه را که او به عنوان یک بحث مهم در ارتباط با نحوه استفاده OpenAI از تحقیقات Buckmaster و Alpöge می‌داند، آشکار کند.

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

گرچه این احساس توسط یکی از اعضای پانل، جوردی ویلیامسون از دانشگاه سیدنی نیز به اشتراک گذاشته شد، جاکوب تسیمرمن، برنده مدال فیلدز در سال 2026، استاد ریاضیات در دانشگاه تورنتو که در ماه جولای به عنوان محقق ایمنی هوش مصنوعی به OpenAI پیوست، مایل بود بزرگی دستاورد مدل های هوش مصنوعی داخلی شرکت را برجسته کند.

او گفت: «من فکر می‌کنم خط برتر کمی در حال دفن شدن است. "هوش مصنوعی یک مشکل [جایزه] هزاره را حل کرده است، و من فکر نمی‌کنم که حداقل به مردم از توانایی‌های هوش مصنوعی اطلاع دهد که قرار بود داشته باشد."

Tsimerman در OpenAI و موسسه غیرانتفاعی مستقل تازه تاسیس خود، Mathematical AI Safety، به شدت بر ایمنی هوش مصنوعی متمرکز است. او معتقد است که اعلان ناویر استوکس OpenAI نقطه عطفی در نحوه انجام ریاضیات و توسط چه کسی است.

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

پیتر شولزه، یکی از مدیران مؤسسه ریاضیات ماکس پلانک در آلمان و برنده مدال فیلدز در سال 2018، دیدگاهی کاملا متفاوت داشت. او با نادیده گرفتن اخبار OpenAI Navier-Stokes به عنوان "نوعی روابط عمومی" اظهار داشت که هدف مسائل جایزه هزاره فقط حل یک مسئله ریاضی نیست، بلکه ارائه دیدگاهی تازه به مجموعه ای از سوالات باز مرتبط است به گونه ای که درک انسان را ایجاد کند - چیزی که یک مدرک طولانی و ماشینی بعید است که ارائه دهد.

داستان های مرتبط

هوش مصنوعی مسائل ریاضی «غیر ممکن» را حل می کند. آیا می تواند بهترین ریاضیدانان جهان باشد؟

نه، مدل‌های OpenAI وقتی وارد Hugging Face شدند «سرکش» نشدند. این چیزی است که واقعا اتفاق افتاده است.

"چرا حرفه خود را خراب می کنید؟": OpenAI ادعا می کند که یکی از بزرگترین مسائل حل نشده ریاضی را شکسته است، اما ریاضیدانان ادعا می کنند که این کار کثیف بوده است.

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

پس این همه ریاضیات و ریاضیدانان را کجا می برد؟ تعدادی از ابتکارات - مانند Proofs and Prompts، Mathematical Discourse، و Association for Human Mathematics - با هدف حفظ هسته ای از ریاضیات انسانی است تا این رشته بتواند همچنان خانه ای برای فرهنگ و درک بشر باشد.

اما برای همه شرکت کنندگان، سرعت تغییر و پیشرفت در هوش مصنوعی به این معنی است که آنها نمی توانند پیش بینی روشنی از تأثیرات این ابتکارات یا اینکه این حوزه در آینده چگونه خواهد بود ارائه دهند.

تسیمرمن گفت: "راستش را بخواهید، هرگاه کسی در مورد 10 سال آینده یا حتی پنج سال آینده صحبت کند ... به نظر می رسد که خیلی دور است." جهان در دو سال آینده بسیار متفاوت از آنچه اکنون است به نظر می رسد.