ریاضیات در آستانه دگرگونی؛ وقتی ماشینها وارد قلمرو نابغهها میشوند
از سال ۲۰۲۲، هوش مصنوعی بهطور جدی وارد دنیای ریاضیات شده؛ حوزهای که مدتها در برابر اتوماسیون مقاوم تلقی میشد. در حالی که مدلهای اولیه در استدلال نمادین ضعف داشتند، نسل جدید AI اکنون میتواند در اثبات قضایا کمک کند، حدسهای جدید بسازد و مسایل پیچیده را تحلیل کند.
یکی از نقاط عطف مهم، موفقیت سیستم هوش مصنوعی Google DeepMind بود که در المپیاد جهانی ریاضی ۲۰۲۵ به «مدال طلا» رسید و ۵ مساله از ۶ مساله را حل کرد؛ برای اولین بار یک ماشین به چنین سطحی رسید. همزمان، پژوهشگران OpenAI نیز اعلام کردند سیستم مشابهی ساختهاند که عملکردی نزدیک به همین سطح داشته، هرچند رسماً در مسابقه شرکت نکرده است.
ریاضیدانان میگویند AI اکنون به بخشی از کار روزمره تبدیل شده است. به گفته پژوهشگران، از جمله کارشناسانی در Indian Institute of Science و متخصصان فناوری، هوش مصنوعی میتواند مسیرهای حل مساله را سریعتر بررسی کند، الگوها را پیدا کند و کارهایی که روزها زمان میبرد را در چند ساعت انجام دهد. این ابزار اکنون بیشتر یک «همکار پژوهشی» است تا یک ماشین محاسبه ساده.
با این حال، همه موافق نیستند که این تحول بینقص است. برخی ریاضیدانان هشدار میدهند که ریاضیات فقط حل مسئله نیست، بلکه «درک عمیق مفاهیم» است. هوش مصنوعی ممکن است مراحل را انجام دهد، اما درک مفهومی هنوز انسانی باقی میماند.
یکی از نگرانیهای جدی، «توهمات AI است؛ جایی که مدلها ممکن است استدلالهای ظاهراً درست اما در واقع نادرست تولید کنند—حتی شامل اثباتهای اشتباه یا ارجاع به مقالات غیرواقعی. این موضوع در ریاضیات خطرناکتر از زبان طبیعی است، چون خطاها میتوانند بسیار قانعکننده به نظر برسند.
با این وجود، برخی متخصصان معتقدند نرخ این خطاها با مدلهای جدید بهطور قابل توجهی کاهش یافته است و بیشتر در مسائل بسیار دشوار رخ میدهد.
در مورد آینده، اجماع کلی این است: هوش مصنوعی جای ریاضیدانان را نمیگیرد، اما تعریف کار آنها را تغییر میدهد. کارهای تکراری به AI سپرده میشود و انسانها بر نظریهپردازی، خلاقیت و کشف مفاهیم تمرکز خواهند کرد.
در نهایت، آینده ریاضیات نه رقابت انسان و ماشین، بلکه همکاری آنهاست. ترکیبی از سرعت ماشین و شهود انسانی.
