پیشرفتهای خیرهکننده فناوریهای هوش مصنوعی (AI) این بار به یکی از بنیادینترین علوم بشری یعنی ریاضیات رسیده و موجی از نگرانی و بحثهای جدی را در میان پژوهشگران برانگیخته است. در حالی که مدلهای زبانی بزرگ هنوز در انجام محاسبات ساده ابتدایی دچار چالش هستند، اما در حوزه ریاضیات پیشرفته و انتزاعی نتایج شگفتانگیزی خلق کردهاند. این تناقض عجیب، پرسشهای بنیادینی درباره ماهیت ریاضیات و آینده شغل ریاضیدانان مطرح کرده است.
شرکتهای پیشروی هوش مصنوعی مانند OpenAI اخیراً مجموعهای از راه حلها برای مسائل قدیمی و حلنشده ریاضی منتشر کردهاند که مانند یک بمب در جامعه علمی منفجر شد. مدل پیشرفته این شرکت موسوم به آسترا (Astra) توانسته است در حوزههایی مانند نظریه بازیهای کوانتومی و بستهبندی کرهای در ابعاد بالاتر، به دستاوردهایی برسد که اگر یک انسان آنها را حل میکرد، بیشک جایگاه آکادمیک خود را تثبیت میکرد. با این حال، منتقدان بر این باورند که این مدلها همچنان در شمارش ساده کلمات یا تشخیص زمان دقیق ضعیف عمل میکنند.
تاریخچه تعامل میان فناوری و ریاضیات نشان میدهد که اگر محاسبات با حجم پردازش بالا و منطق اثباتپذیر ترکیب شوند، نتایج چشمگیری به دست میآید. پیش از این نیز بحرانهای مشابهی در حوزه مهندسی نرمافزار رخ داده بود. اما ورود هوش مصنوعی به ریاضیات تئوریک تفاوت عمدهای دارد؛ چرا که این مدلها با تولید استدلالهای منطقی پیچیده، میتوانند اثباتهایی ارائه دهند که دههها ریاضیدانان برتر جهان را به خود مشغول کرده بود.
با وجود موفقیتهای بزرگ، چالشهای مهمی مانند نحوه استناد به پژوهشهای قبلی انسانها و مسائل مربوط به حق نشر وجود دارد. برخی پژوهشگران معتقدند بیانیههای مطبوعاتی شرکتهای فناوری گاهی دستاوردهای واقعی را بزرگنمایی میکنند. از سوی دیگر، زبانهای اثبات رایانهای مانند لین (Lean) تایید کردهاند که این اثباتها از نظر ریاضی کاملاً معتبر و منطقی هستند.
تأثیر بلندمدت این پدیده بر ساختارهای شغلی، بودجههای آکادمیک و سیستمهای آموزشی هنوز در هالهای از ابهام است. اگر مدلهای پیشرو بتوانند به طور خودکار به پاسخ پرسشهای حلنشده برسند، نقش دانشگاهها و نسلهای آینده ریاضیدانان دستخوش دگرگونی عمیقی خواهد شد. با این حال، ریاضیات صرفاً ماشین محاسبه نیست، بلکه فرآیندی خلاقانه است که تعامل انسان و ماشین در آینده آن تعیینکننده خواهد بود.