هوش مصنوعی با حل مسائل حل نشدنی ریاضی را به چالش می کشد
اعلامیههای ماههای اخیر مبنی بر اینکه مدلهای هوش مصنوعی مشکلاتی را که قبلا غیرقابل حل بودهاند، حل کردهاند، ریاضیدانان سطح بالا را تا حد زیادی تکان میدهد و آنها اکنون از خود میپرسند: به کجا میرسیم؟
این مقاله با توجه به روند و سیاست های ویرایشی Science X بررسی شده است. ویراستاران ضمن اطمینان از اعتبار محتوا، ویژگی های زیر را برجسته کرده اند:
اعلامیههای ماههای اخیر مبنی بر اینکه مدلهای هوش مصنوعی مشکلاتی را که قبلا غیرقابل حل بودهاند، حل کردهاند، ریاضیدانان سطح بالا را تا حد زیادی تکان میدهد و آنها اکنون از خود میپرسند: به کجا میرسیم؟
هوگو دومینیل کوپن، برنده مدال فیلدز 2022 که یکی از بالاترین افتخارات در ریاضیات است، اخیرا به همکارانش در انجمن ریاضی فرانسه گفت: "همه راه های تحقیقی که داشتم اکنون از بین رفته اند؛ ما با روز جدیدی روبرو هستیم."
از ماه آوریل، شرکتهای هوش مصنوعی به طور مرتب راهحلهایی را برای مسائل ریاضی حلنشده قبلی منتشر میکنند تا قدرت آخرین مدلهای خود را نشان دهند.
هفته گذشته OpenAI راه حل هایی را برای 719 مشکل حل نشده قبلی منتشر کرد.
پیشرفتها آنها را در این زمینه مجبور میکند به این فکر کنند که آیا این پایان تحقیقات ریاضی است یا خیر.
استفان مالات، برنده مدال طلای سال 2025 از مرکز ملی تحقیقات علمی فرانسه (CNRS)، ضمن اذعان به شوک احساسی ناشی از انتشارات اخیر، به خبرگزاری فرانسه گفت که همیشه نیاز به ریاضیدانان وجود خواهد داشت.
ملات گفت: «ریاضیات بسیار فراتر از محاسبه است: این روشی است برای تفکر واضح.
او به خبرگزاری فرانسه گفت: «فرای همه مشکلاتی که ما با هوش مصنوعی با آن مواجه هستیم، ریاضیات کاملا محوری باقی خواهند ماند، زیرا ابزاری است که به ما انسانها اجازه میدهد به وضوح فکر کنیم و چیزها را درک کنیم.»
یک نشانه اولیه از عقب نشینی از میدان، از بنیاد سیمونز آمده است.
این کارگاه ها را برای ارزیابی نتایج تولید شده توسط هوش مصنوعی و ایجاد استانداردهایی برای استفاده از آن تامین مالی خواهد کرد.
ملات همچنین خاطرنشان کرد که برای تدریس به ریاضیدانان نیاز است، اگرچه پیشرفت سریع هوش مصنوعی بر این حوزه نیز تأثیر خواهد گذاشت.
ملاط گفت: «شما جوانان زیادی دارید که علاقه چندانی به انجام ریاضی ندارند و وقتی چنین تأثیری را می بینید، ممکن است بگویند، "اوه، خوب، حتی محققان نیز قرار است با هوش مصنوعی جایگزین شوند، پس چرا من باید زحمت بکشم؟"
این سوال باید مورد توجه قرار گیرد، زیرا این کاملا نادرست است که ما دیگر نیازی به ریاضیدان نداریم.
برای فرانسوا چارلز، ریاضیدان و رئیس بخش در Ecole Normale Superieure در پاریس، دو موضوع جداگانه در حال انجام است.
او گفت: "ما نگرانی های موجهی در مورد نحوه سازماندهی جامعه داریم، زیرا هوش مصنوعی تعدادی از تغییرات را در نحوه ورود افراد به حرفه یا در سطح دکترا ایجاد می کند. اما از جنبه علمی، من اصلا بدبین نیستم."
ممکن است بر تعداد معینی از موانع غلبه شود. به عنوان دانشمندان، ما باید جاه طلب تر باشیم."
ملاط که اخیرا کتابی در زمینه ریاضیات و هوش مصنوعی منتشر کرده است، زمانی که تراکتورها وارد صحنه شدند، بین آنچه در حال رخ دادن است و مکانیزه شدن کشاورزی تفاوت قائل می شود.
او گفت: "این یک تراژدی انسانی برای برخی نیز بود که مجبور شدند روستاها را رها کنند، به شهرها بروند، شغل پیدا کنند، دوباره آموزش ببینند. اکنون، ریاضیدانان در آن وضعیت نیستند. وقتی میدانید چگونه ریاضی انجام دهید، میتوانید تعداد زیادی کار انجام دهید."
در همین حال، در صفحات روزنامه فرانسوی فیگارو، سدریک ویلانی، برنده مدال فیلدز در سال 2010، منتقد قوی هوش مصنوعی، از کارآگاه تلویزیونی کلمبو الهام گرفت.
"در ریاضیات، نتیجه گیری کمتر از مسیر رسیدن به آن اهمیت دارد."
فوق لیسانس فیزیک با تجربه تحقیق. علاقه مندان به اخبار علمی طولانی مدت. نقش کلیدی در موفقیت سرمقاله Science X ایفا می کند. نمایه کامل →
متن اصلی (انگلیسی)
AI challenges math by solving the unsolvable
Announcements over recent months that artificial intelligence models have cracked previously unsolvable problems are shaking top-level mathematicians to the core, and they are now asking themselves: Where do we come in?