ریاضیدانان از هوش مصنوعی متنفرند. آنها نمی توانند آن را ترک کنند

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

زمانی که او زمان انجام ریاضیات را داشته باشد (که به گفته او نادر است، زیرا ریزش ها او را در کانون توجه قرار داده است)، این ابزار به او کمک می کند تا مراحل منطقی را که ممکن است عوامل OpenAI برای رسیدن از کارهای قبلی او به اثبات نهایی برداشته باشند، درک کند. Buckmaster از Codex و همچنین Claude رقیب Anthropic استفاده کرده بود تا در کنار Levent Alpöge، محقق Anthropic، روی چیزی که به عنوان مشکل وجودی و صاف بودن Navier-Stokes شناخته می شود، کار کند.

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

همچنین OpenAI را وادار کرد تا تحقیقاتی را انجام دهد و اعلامیه خود را در مورد حل Navier-Stokes اصلاح کند تا بگوید "تأیید می کند که درخواست های Buckmaster's Codex در دو ماه قبل از این اعلامیه و مقاله در 8 سپتامبر 2026، نمی تواند به هیچ وجه بر سیستم تأثیر بگذارد، از جمله از طریق آموزش." این شرکت در ایمیلی به اطلاعیه خود به WIRED اشاره کرد. باک مستر می‌گوید نشان دادن اینکه هوش مصنوعی مرزهای ریاضیات را پیش می‌برد، «مهم‌تر از نتیجه» بود.

او می‌گوید، اما یافتن راه‌حل‌هایی برای مسائل ریاضی طولانی‌مدت بدون اعتبار کامل کار انسانی که آنها را در بر می‌گیرد - به‌ویژه پیش از عرضه‌های اولیه عمومی - غیرمسئولانه و «کودکانه» است. دیگر ریاضیدانان نگرانی های مشابهی را مطرح کرده اند. تنها تعداد انگشت شماری از مردم روی کره زمین تکنیک های نظریه گروه هندسی را که آندریاس تام، ریاضیدان آلمانی در دو دهه گذشته به توسعه آن اختصاص داده است، می دانند. بنابراین وقتی OpenAI در ماه آگوست گفت که مدل Astra آن از آنها برای اثبات مشکل طولانی مدتی که او روی آن کار می کرد استفاده کرده است، تام می گوید: «من شگفت زده شدم.

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

او و یکی از همکارانش از ChatGPT برای کمک به کار خود در مورد مشکل در ماه‌های قبل از نتیجه استفاده می‌کردند، اما وقتی از او پرسید که آیا تعاملات آنها به داده‌های آموزشی وارد شده است، تام می‌گوید سلکی پاسخ داد: "این اتفاق نیفتاد." تام به یاد می آورد: «من آن را کنار گذاشتم. من چندان به این مسائل سیاسی علاقه ندارم، می خواهم روی ریاضیات کار کنم. در حالی که تام بیانیه OpenAI را دیده است مبنی بر اینکه اعلان‌های Buckmaster نمی‌تواند بر سیستم تأثیر بگذارد، او می‌گوید به این موضوع اعتماد ندارد و اذعان می‌کند که احتمالا هرگز نخواهد فهمید که آیا کار او واقعا نتیجه را تغذیه کرده است یا خیر. هوش مصنوعی واقعا این موجود را می کشد

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

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

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

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

به‌طور ناگهانی سال‌های کار شما [ممکن است] در داده‌های کاربر غوطه‌ور شود و به یک ریاضی‌دان یا دانش‌آموز دیگر فروخته شود. این چیزی است که فکر می کنم بیشتر ریاضیدانان نگران آن هستند و فکر می کنم این یک مسئله واقعی است. بدون هیچ نظارتی در افق و هوش مصنوعی در این زمینه، برخی از ریاضیدانان می‌خواهند راهی برای حداقل ضربه زدن به ترمز بیابند. این شامل بیش از 2000 نفر با ارتباط با Caltech می شود که از سازمان دهندگان هکاتون ریاضی هوش مصنوعی در مدرسه خواستند تا این رویداد را به حالت تعلیق درآورند.

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

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

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