هوش مصنوعی OpenAI مسئله یک‌میلیون‌دلاری ناویه–استوکس را حل کرد

شرکت OpenAI اعلام کرده است که اخیراً مسئله وجود و همواری ناویه–استوکس را حل کرده است؛ مسئله‌ای که از دیرینه‌ترین چالش‌های حل‌نشده ریاضیات به شمار می‌رود. گفته می‌شود هزینه تولید پاسخ با استفاده از مدل هوش مصنوعی داخلی این شرکت، از جایزه یک‌میلیون‌دلاری مؤسسه ریاضیات کلی برای حل این مسئله بیشتر بوده است.

نوام براون، پژوهشگر شرکت OpenAI، پیش‌بینی می‌کند که ظرف یک سال، هر کسی بتواند با پرداخت ماهانه ۲۰ دلار برای اشتراک ChatGPT به هوش مصنوعی‌ای دسترسی پیدا کند که قادر به حل مسائلی در این سطح باشد. براون در ۸ سپتامبر ۲۰۲۶ گفت: «مقیاس‌دهی گسترده محاسبات در زمان آزمون، چشم‌اندازی از آینده را پیش روی ما می‌گذارد.» این اظهارنظر در جامعه ریاضی دانشگاه کالیفرنیا در برکلی هم هیجان برانگیخت و هم نگرانی‌هایی به وجود آورد.

حل مسئله یک‌میلیون‌دلاری ناویه–استوکس به دست OpenAI، قواعد رایج ریاضیات را به چالش می‌کشد

مدل هوش مصنوعی داخلی OpenAI برای حل مسئله ناویه–استوکس از روشی متفاوت با شیوه‌های سنتی ریاضیات استفاده کرد و حدود ۱۰ هزار عامل هوش مصنوعی را به‌طور موازی به کار گرفت. سرعت دستیابی این شرکت به راه‌حل، جامعه ریاضی را واداشته است تا در برآورد خود از زمان موردنیاز برای چنین پیشرفت‌هایی بازنگری کند.

ریچارد بورچردز، استاد ریاضیات دانشگاه برکلی و برنده مدال فیلدز، از سرعت این پیشرفت ابراز شگفتی کرد. او اعتراف کرد که انتظار نداشته است چنین دستاوردی تا یک دهه دیگر حاصل شود. بورچردز همچنین آینده‌ای را پیش‌بینی کرد که در آن پژوهش ریاضی به دست انسان ممکن است دیگر ضرورتی نداشته باشد؛ دیدگاهی که با شتاب گرفتن توانایی‌های هوش مصنوعی تقویت شده است.

او نگرانی دانشجویان تحصیلات تکمیلی امروز را نیز تأیید کرد و گفت: «دانشجویان تحصیلات تکمیلی احمق نیستند؛ این موضوع به ذهن همه آن‌ها رسیده است و شمار قابل‌توجهی از آن‌ها در حال ترک تحصیل‌اند یا به‌شدت نگران شده‌اند.» بااین‌حال، همه ریاضی‌دانان چنین نگرانی‌ای ندارند. رابین هوانگ، دانشجوی دکتری دانشگاه برکلی، با وجود موفقیت هوش مصنوعی در حل مسئله ناویه–استوکس، همچنان درباره توانایی‌های واقعی آن تردید دارد و این فناوری را «بسیار نادان و بسیار ناکارآمد» توصیف می‌کند.

هوانگ معتقد است تلاش شرکت‌های هوش مصنوعی برای حل مسائل حل‌نشده، فشارهای موجود در جامعه ریاضی را تشدید می‌کند و فضای ترس از پیش‌دستی دیگران در انتشار نتایج پژوهشی را گسترش می‌دهد. با وجود این ملاحظات، او تا حدی به آینده خوش‌بین است و می‌گوید هوش مصنوعی ممکن است ظرف یک سال به ابزاری برای تسهیل یادگیری تبدیل شود.

بورچردز، با وجود اذعان به پیامدهای احتمالی این فناوری، بر اهمیت لذت شخصی از ریاضیات تأکید می‌کند. او گفت: «برخی شکایت می‌کنند که هوش مصنوعی با ارائه یک برهان صوری صد‌هزارخطی برای اثبات یک حدس مهم، میدان را از انسان‌ها می‌گیرد. من واقعاً نمی‌بینم این کار چه آسیبی دارد؛ چون اگر بخواهید، همیشه می‌توانید آن را نادیده بگیرید و در آن صورت، وضعیتتان از قبل بدتر نخواهد بود.»

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

بورچردز حتی معتقد است هوش مصنوعی می‌تواند برای تدریس درس جبر مجرد در مقطع تحصیلات تکمیلی، مدرس مؤثرتری از خود او باشد؛ زیرا این فناوری صبور است و مطالب را روشن توضیح می‌دهد. او می‌گوید هنگام طرح پرسش‌های پیچیده، «پاسخ‌هایی که از آن می‌گیرم بسیار بهتر از پاسخ‌هایی است که از هر ریاضی‌دان انسانی دریافت می‌کند»؛ مقایسه‌ای که به توانایی هوش مصنوعی در پاسخ‌گویی به پرسش‌های دشوار اشاره دارد.

هوانگ، با وجود ارزشمند دانستن جنبه‌های خلاقانه ریاضیات، می‌پذیرد که هوش مصنوعی می‌تواند در انجام کارهای معمول و تکراری کمک‌کننده باشد؛ بااین‌حال، بر اهمیت انجام مستقل تکالیف تأکید می‌کند.

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

هوانگ همچنین معتقد است شرایط کنونی می‌تواند جامعه ریاضی را به بازنگری در معیارها و مشوق‌های خود وادارد. او افزود: «چیزهای دیگری هم در زندگی وجود دارند که مرا خوشحال می‌کنند. حتی اگر ــ که فکر نمی‌کنم چنین اتفاقی بیفتد ــ هوش مصنوعی به‌طور کامل کنترل ریاضیات را در دست بگیرد، باز هم چیزهایی در زندگی هستند که ممکن است تحت تأثیر آن قرار نگیرند و زندگی ادامه خواهد داشت.»

اختلاف‌نظر ریاضی‌دانان دانشگاه برکلی درباره تأثیر هوش مصنوعی بر پژوهش و آینده شغلی

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

او گفت: «اگر تحصیلات تکمیلی ریاضیات را تازه شروع کرده باشید، احتمالاً هوش مصنوعی همیشه در ریاضیات از شما بهتر خواهد بود.» این ارزیابی از دگرگونی اساسی در مفهوم تخصص ریاضی حکایت دارد. چنین نگرانی‌هایی در برنامه دانشگاه برکلی نیز بازتاب یافته و شمار قابل‌توجهی از دانشجویان را به تجدیدنظر در ادامه تحصیلات پیشرفته خود واداشته است.

هوانگ گفت به نظر او، بسیاری از دانشجویان تحصیلات تکمیلی و پژوهشگران پسادکتری ریاضی درباره فرصت‌های شغلی آینده نگران‌اند، اما او همچنان به آینده خوش‌بین است. او توضیح داد که اگر توانایی‌های هوش مصنوعی در یک «خلأ کامل» ثابت بماند و تغییری نکند، خودش می‌تواند چیزهای بسیار بیشتری درباره ریاضیات یاد بگیرد. هوانگ همچنین انگیزه شرکت‌های هوش مصنوعی از تمرکز بر حل مسائل ریاضی برجسته را زیر سؤال برد و گفت این رویکرد رقابت و ترس از پیش‌دستی دیگران را در جامعه ریاضی تقویت می‌کند. او بر جنبه خلاقانه و منحصربه‌فرد ریاضیات تأکید کرد و آن را از علوم تجربی متمایز دانست.

از نظر هوانگ، این جنبه خلاقانه هنوز از توانایی هوش مصنوعی فراتر است؛ زیرا ریاضیات اساساً به پرورش دیدگاه‌های فردی وابسته است. با وجود تردیدهایش، او دانشجویان خود را تشویق می‌کند که از هوش مصنوعی به‌عنوان یک ابزار کمک بگیرند. این رویکرد عمل‌گرایانه نشان می‌دهد که می‌توان با شرایط در حال تغییر سازگار شد و در عین حال، اصول اساسی پژوهش ریاضی را ارزشمند دانست.

منبع: روزنامه دیلی کالیفرنیَن: جامعه ریاضی دانشگاه برکلی پس از اثبات مسئله ناویه–استوکس به دست OpenAI بر سر دوراهی قرار گرفته است