تصور کنید دنیایی را که در آن پیچیده‌ترین معادلات ریاضی نه توسط ذهن انسان، بلکه توسط موتورهای استدلالی ماشین حل شوند و ما فقط تماشاگر باشیم. این سناریو دیگر یک پیش‌بینی نیست، بلکه استراتژی جدید پکن برای تسلط بر یکی از بنیادی‌ترین علوم بشری است.
در ۱۲ اکتبر ۲۰۲۶، شینگ-تانگ یائو، برنده مدال فیلدز، «اتحاد آزمایشگاه یائو برای ریاضیات و هوش مصنوعی» را در پکن راه‌اندازی کرد. این حرکت در حالی صورت می‌گیرد که شکاف ایدئولوژیک عمیقی میان شرق و غرب شکل گرفته است. در حالی که در آمریکا و اروپا، بسیاری از ریاضیدانان نخبه، هوش مصنوعی را تهدیدی برای دقت شناختی می‌بینند، چین تصمیم گرفته است ریاضیاتِ مبتنی بر هوش مصنوعی را به عنوان یک اولویت رقابتی ملی تعریف کند.
همان‌طور که در تحلیل‌های پیشین ما درباره‌ی هوش مصنوعی حاکمیتی (Sovereign AI) اشاره کردیم، تمرکز بر زیرساخت‌های بومی برای کاهش وابستگی به فناوری‌های غربی، اکنون به حوزه علوم پایه نیز سرایت کرده است.
به گزارش ساوت چاینا مورنینگ پست (South China Morning Post)، این اتحاد هشت مؤسسه را گرد هم آورده تا شبکه‌ای از بیش از ۱۰۰۰ پژوهشگر ایجاد کند. این ابتکار بر سه ستون فنی متمرکز است:
- توسعه مدل‌های استدلالی (Reasoning Model) — شبیه شطرنج‌بازی که قبل از هر حرکت، چندین گام جلوتر را می‌بیند — که به‌طور اختصاصی برای منطق ریاضی بهینه شده‌اند. این رویکرد در راستای پاسخ به این پرسش است که آیا مدل‌های زبانی پیشرفته واقعاً توانایی حل مسائل باز ریاضی را دارند یا صرفاً الگوهای موجود را تکرار می‌کنند.
- ایجاد اثبات‌های قابل تأیید توسط ماشین برای تضمین صحت نتایج.
- ساخت مسیرهای استدلال شفاف برای عبور از مشکل «جعبه سیاه» (Black Box).
در مقابل، در غرب بدبینی به نقطه جوش رسیده است. طبق گزارش‌های منتشر شده، ۲۵ برنده مدال فیلدز، از جمله ترنس تائو و پیتر شولتزه، ابراز نگرانی کرده‌اند که اثبات‌های خودکار، درک واقعی از مفاهیم را از بین می‌برد. برخی از اعضای این جامعه حتی خواستار تحریم کامل مقالاتی شده‌اند که توسط هوش مصنوعی تولید شده‌اند، زیرا حجم این مقالات توان پردازش انسانی را از بین برده است.
این تضاد، یک قمار بزرگ است. اگر چین بتواند یک موتور استدلال قابل تأیید بسازد، سرعت اکتشافات ریاضی را به سطحی می‌برد که آزمایشگاه‌های انسان‌محور غرب قادر به رقابت با آن نیستند. اما اگر هشدار غربی‌ها درست باشد، پکن در حال ساخت زیرساختی عظیم بر پایه الگوهای سطحی و «زور محاسباتی» است، نه بینش واقعی.
گام بعدی شما
- دنبال کردن نخستین اثبات‌های ریاضیِ داوری‌شده‌ای که از آزمایشگاه یائو منتشر می‌شود تا میزان نوآوری آن‌ها سنجیده شود.
- بررسی تفاوت میان «اثبات ماشینی» و «درک ریاضی» در مقالات اخیر ترنس تائو.
- تحلیل اثر ادغام مدل‌های استدلالی در نرم‌افزارهای مهندسی پیشرفته.
اما نبرد واقعی در لایه سخت‌افزاری رخ می‌دهد؛ برای درک اینکه این مدل‌های ریاضی روی چه تراشه‌هایی اجرا می‌شوند، به تحلیل ما درباره‌ی شتاب‌دهنده‌های جدید انویدیا مراجعه کنید.
گفتگو