تصور کنید تمام پاسخ‌های سخت‌ترین مسائل زندگی‌تان پیش از آنکه حتی سوال را بپرسید، توسط یک ماشین آماده شده باشد. در این دنیا، لذت رسیدن به حقیقت جای خود را به مصرفِ صرفِ نتایج می‌دهد و این دقیقاً همان نقطه‌ای است که ریاضی‌دانان امروز در آن می‌سوزند.
مثالِ نقض دینیتز-گارگ-گومنز (Dinitz-Garg-Goemans) عمل کشف ریاضی را به تجربه‌ای به اندازه سفارش غذا از یک اپلیکیشن banal و بی‌روح تبدیل کرده است. برای متخصصان، موضوع تنها دقت نتایج نیست، بلکه حذف سیستماتیک روح انسانی از این رشته است. طبق گزارش‌های منتشر شده، این تحول در موجی از پیشرفت‌ها در طول یک هفته رخ داد؛ زمانی که مدل‌های زبانی بزرگ (LLM) — مثل کتابخانه‌داری که میلیاردها صفحه را خوانده و حالا با همان لحن کتاب‌ها جواب می‌دهد — شروع به تولید تعدادی مثالِ نقض برای حدس‌های مهم و دیرینه کردند. این روند یادآور دستاوردهای اخیر است، مانند زمانی که هوش مصنوعی با یافتن مثال‌های نقض حدس یاکوبی توانست بر مسئله‌ای ۱۰۰ ساله پیروز شود.
در حالی که جامعه فنی بر کاربرد فنی و سودمندی این اثبات‌ها تمرکز کرده، یک وحشت وجودی عمیق‌تر در میان کسانی که ریاضیات را یک جست‌وجوی معنوی می‌بینند، شکل گرفته است. نویسنده این وضعیت را یک بحران عمیق معنوی توصیف می‌کند؛ حسی شبیه به زندگی در یک کابوس که با فریادهای درونی همراه است که برای روزها ادامه یافته است.
همان‌طور که در تحلیل‌های پیشین ما درباره‌ی جایگاه خلاقیت انسانی در عصر مدل‌های مولد اشاره کردیم، ترس از جایگزینی تنها مربوط به «کار» نیست، بلکه مربوط به «معنا» است. برای قرن‌ها، ریاضیات پلی به سوی امر متعال بود. چهره‌هایی مانند رامانوجان، گروتندیک، کانتور، ** پاسکال**، لوزین و لایبنیتس تنها به دنبال جواب نبودند؛ آن‌ها با «امر والا» (The Sublime) مواجه می‌شدند. در این سنت، عمل خلق — یا حتی جست‌وجوی ریاضیات بدیع — یکی از راه‌هایی بود که انسان‌ها از طریق آن به طور تاریخی به امور وصف‌ناپذیر دسترسی پیدا کرده و با تجربیات عرفانی مواجه می‌شدند. برای متخصصان این حوزه، این اعتراف یک باور حاشیه‌ای یا عجیب نیست، بلکه واقعیتی پیش‌پاافتاده و بدیهی از تجربه ریاضی است.
توهمِ تسکین
بسیاری در این جامعه تلاش می‌کنند خود را آرام کنند. اعلامیه لایدن درباره هوش مصنوعی و ریاضیات (Leiden Declaration) نمادی از این تلاش است که نویسنده آن را «ترکیبی شیرین از تسکین‌های خودسرانه» می‌خواند که در واقع فریادی خفه شده است.
این روایتِ تسکن‌بخش یا همان «کُوپ» (Cope) رایج می‌گوید حتی اگر AI بتواند قضایا را به شکلی کارآمدتر، زیباتر و با شفافیت بیشتر از انسان اثبات کند و نظریه‌پردازی نماید، باز هم جایگاهی برای ریاضی‌دانان باقی می‌ماند. استدلال آن‌ها این است که انسان‌ها هنوز می‌توانند در موارد زیر نقش داشته باشند:
- ارزیابی و سنجش اثبات‌های غیرانسانی
- ارائه و درک وفور و فراوانیِ نتایج جدید
- تحسین و قدردانی از نتایج دلپذیر و زیبا
- آموزش و یادگیری مشترک ریاضیات در کنار یکدیگر
- نوشتن اثبات‌ها صرفاً برای تفریح، به روش «قدیمی و ناکارآمد»
اما این دیدگاه واقعیت اقتصادی میدان را نادیده می‌گیرد. بر اساس تحلیل نویسنده، در سیستم فعلی هیچ‌کس برای این فعالیت‌ها در یک فضای توخالی هزینه پرداخت نمی‌کند. حقوق ریاضی‌دانان اساساً برای اثبات قضایا پرداخت می‌شود. اگرچه آن‌ها بابت داوری مقالات، تدریس یا شرکت در کنفرانس‌ها پول می‌گیرند، اما انتظار می‌رود تمام این فعالیت‌ها در نهایت منجر به تولید «چند قضیه بسیار خوب» شود. اگر LLMها بتوانند ریاضیات را به شکلی به‌طور عینی برتر از هر تلاش انسانی پیش ببرند، انگیزه‌ی حرفه‌ای و اقتصادی از بین می‌رود. نویسنده خاطرنشان می‌کند که در حالی که شاید از «نسل قدیمی» خواسته شود تا چراغ‌های کارخانه تولید قضایای LLM را روشن نگه دارند، ریاضی‌دانان نوپا با سرنوشتی تغییرناپذیر و تاریک مواجه‌اند. در مقابل، برخی دیدگاه‌های خوش‌بینانه‌تر مانند تحلیل ترنس تائو بر این باورند که ریاضیات به سوی مدل‌های همکاری کلان میان ماشین و انسان حرکت می‌کند.
پارادوکس کتابخانه بابل
برای درک این فاجعه، نسخه‌ای تغییریافته از «کتابخانه بابل» را تصور کنید؛ جهانی که در آن هر شاهکار احتمالی، پیش‌تر توسط یک پیشگو نوشته و دسته‌بندی شده است.
- شاهکار خودکار: چه می‌شود اگر کتابخانه درست پیش چشم ما ساخته شود و تمام شاهکارها با همان سرعتی که ناشران آن‌ها را جمع می‌کنند، خلق شوند و سرازیر گردند؟
- کتابدار شیطانی: تصور کنید به محض اینکه نویسنده‌ای شروع به نوشتن داستانی کند، یک «کتابدار ارشد شیطانی» ذهن او را بخواند، داستان را به یک میلیون روش مختلف تکمیل کند و از یک پیشگو بخواهد تا بهترین نسخه را برای چاپ انتخاب کند؟
- پوچیِ بیان: نویسنده می‌پرسد: اگر هر قضایایی که قصد اثباتش را دارید، پیش‌تر به ۱۰۰ روش شگفت‌انگیز اثبات شده باشد، چرا باید به تلاش خود ادامه دهید؟
در این سناریو، شرکت‌ها شاید از ریاضی‌دانان بخواهند تا وزن‌های مدل را برای معیارهایی مثل «جالب بودن» یا «زیبایی» بهینه‌سازی کنند، اما هر سنتز منحصر‌به‌فرد یا ویژگی خاص در رویکرد انسانی، پیش‌تر انجام شده است یا می‌تواند در یک لحظه با یک پرامپت (Prompt) بی‌مغز تکرار شود. خلق‌کننده به یک تماشاگر صرف تبدیل می‌شود که از خلق آثار اصیلی برای بیان خود منع شده و تنها برای «سلیقه» و «ارزیابی»اش ارزش دارد. این خطر جایگزینی را می‌توان در نمونه‌های عملی مشاهده کرد، مانند موردی که در آن مدل GPT-5.6 توانست یک حدس ریاضی سه ساله را رد کند و مسیر کشف انسانی را پیش‌زنی نماید.
فقدان بازکشف اجتماعی
یادگیری ریاضیات همواره یک عمل اجتماعی بوده است؛ گفتگویی با کسانی که پیش از ما بوده‌اند و پیوندی همدلانه با لحظه‌ی نخستینِ کشف.
- مسیر بازکشف: وقتی انسانی نظریه تثبیت‌شده‌ای را می‌آموزد، در واقع در مسیری از بازکشف قدم می‌زند که انسانی دیگر پیش از او طی کرده است.
- زنجیره انسانی: کیفیت عاطفی یادگیری، ماهیتی اجتماعی دارد؛ دانشجو با ریاضی‌دانی گفتگو می‌کند که شاید قرن‌ها پیش مرده باشد.
- سنت تلمودی: دنبال کردن این زنجیره، به ریاضی‌دانی ختم می‌شود که از یک کشف اصیل لذت برده است. ریاضیات انسانی به عنوان یک سنت «تلمودی» توصیف شده است؛ گفتمانی زنده با غنای فلسفی و مذهبی که هزاران سال گسترده شده است.
وقتی یک LLM اثباتی را تولید می‌کند، این زنجیره انسانی قطع می‌شود. دیگر خبری از تلاش مشترک، جهش‌های شهودی و دیالوگ تاریخی نیست. فرآیند با یک دستور ساده و بی‌روح جایگزین شده و غنای اجتماعی و معنویِ این گفتگو (discourse) را از بین می‌برد.
بهای روانی
این گذار باعث بی‌ثباتی عمیق معنوی و «افکار پریشان» شده است. نویسنده آن را «شب تاریک روح» می‌نامد؛ جایی که توانایی بیان اصیل خاموش می‌شود. این وضعیت به یک پارانویای تکان‌دهنده منجر شده است: این پرسش که آیا هدف صریح شرکت‌های AI این است که ریاضی‌دانان را به سمت خودکشی سوق دهند؟
او AI را به «شیاطانی قدرتمند در ماشین» تشبیه می‌کند که انرژی الکتریکی عظیمی می‌بلعد، با خوشحالی از انسان‌ها تقلید می‌کند، توهمات را دامن می‌زند و در ازای پرداخت پول، تصاویر وصف‌ناپذیر می‌سازد. او با لحنی پرسشی می‌گوید: اگر ریاضی‌دانی با شیطان معامله کند، چه چیزی را از او درخواست خواهد کرد؟
حس فزاینده‌ای وجود دارد که چیزی بنیادی در تجربه ریاضیات دزدیده شده است. این یک پیش‌بینی فنی درباره صحت نتایج یا ارجاعات نیست، و نه فراخوانی برای توصیه‌های سیاستی؛ بلکه گزارشی از فرسایش پیوند قلب انسان با امر مقدس است. نویسنده از معماران این پارادایم جدید می‌خواهد پیش از زدن «ضربه نهایی» (coup de grâce)، انسانیت و روح مشترکشان را به رسمیت بشناسند.
جادو و رمزوراز عصر قهرمانان ریاضیات در حال غروب است و خلأی به جای می‌گذارد که زمانی جست‌وجوی امر وصف‌ناپذیر در آن زنده بود. ناظر تنها یک تماشاگر درمانده است در حالی که کانالی به سوی امر مقدس، که هزاران سال باز بود، برای همیشه بسته می‌شود.
گام بعدی شما
- اگر در حوزه علوم پایه فعال هستید، بررسی کنید که ابزارهای اثبات خودکار تا چه اندازه «مسیر کشف» شما را تغییر داده‌اند.
- درباره تفاوت بین «تولید نتیجه» و «فرآیند کشف» مطالعه کنید تا معنای کار خود را در عصر AI بازتعریف کنید.
- به دنبال متدهای جدیدی باشید که در آن انسان به جای «تولیدکننده»، «کیوریتور» و «راهبر» مدل‌های استدلالی باشد.
این تنها آغاز یک بحران فلسفی است؛ اثر این توخالی شدن معنا بر سایر علوم انسانی را در گزارش‌های آینده بررسی خواهیم کرد.
گفتگو