پایان عصر قهرمانانه ریاضیات و ورود هوش مصنوعی؛ گچ، هواپیما و بحران معنا در دنیای اثبات‌ها

مقاله «گچ و هواپیما» (The Chalk and the Airplane) نگاهی عمیق و تا حدودی احساسی دارد به تحولی که هوش مصنوعی در علم ریاضیات ایجاد کرده است. در حالی که توسعه‌دهندگان نرم‌افزار و مهندسان به سرعت ابزارهای جدید را می‌پذیرند، جامعه ریاضیات سنتی با چالش‌های ساختاری و روحی شدیدی روبه‌رو شده است.

گذار از کمیابی اثبات به فراوانی اثبات

همان‌طور که Terence Tao در گفتگوهای خود اشاره می‌کند، ما از دوران «کمیابی اثبات» به عصر «فراوانی اثبات» منتقل شده‌ایم. برای قرن‌ها، رسیدن به یک اثبات سخت ریاضی نیازمند تلاش‌های فکری عمیق، درک بالا، مطالعه ادبیات تخصصی و سال‌ها کار فردی بود. این فرآیند سخت بود که به ریاضیات هویت می‌بخشید و آن را ارزشمند می‌کرد. اما اکنون ماشین‌ها میانبرها را پیدا کرده‌اند و ما در انبوهی از اثبات‌ها غرق شده‌ایم، بدون اینکه لزوماً درک شهودی سابق را از آن‌ها به دست آوریم.

این تغییرات واکنش‌های متفاوتی را در میان پژوهشگران برانگیخته است:

• اضطراب و نگرانی شغلی: بسیاری از دانشجویان دکتری و پژوهشگران جوان نگران آینده شغلی، تأمین بودجه و ارزش واقعی کار خود در آینده هستند.
• بحران معنوی: برخی ریاضی‌دانان کشف و اثبات را راهی برای ارتباط با مفاهیم الهی و متعالی می‌دانند و معتقدند خودکارسازی کامل این مسیر، جادو و رازآلودگی را از ریاضیات می‌گیرد.
• شکستن سنت‌ها: درست مانند قضیه چهار رنگ در سال ۱۹۷۶ که برای اولین بار با کمک کامپیوتر اثبات شد و با مقاومت جامعه سنتی ریاضی مواجه گشت، امروز نیز اثبات‌های تولید شده توسط LLMها بحث‌برانگیز هستند.

چرا این موضوع برای مهندسين اهمیت دارد؟

برای یک مهندس نرم‌افزار، استدلال خودکار و مدل‌های زبانی بزرگ بخشی از ابزارهای روزمره هستند. با این حال، تجربه ریاضی‌دانان نشان‌دهنده چشم‌اندازی است که سایر رشته‌ها نیز دیر یا زود با آن مواجه خواهند شد:

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

بحث‌های Hacker News نیز به طنزی جالب درباره واژه Chalk اشاره می‌کند و یادآور می‌شود که تکنولوژی‌های قدیمی همیشه با حسرت و نوستالژی همراه هستند، اما جریان پیشرفت متوقف نمی‌شود.