برای دههها، «مساله فاصله واحد» پال اردوش یکی از مشهورترین مسائل باز ریاضیات بود که ذهن برجستهترین ریاضیدانان جهان را به خود مشغول کرده بود. اکنون یک مدل پیشرفته از شرکت OpenAI موفق شده نهتنها راهحلی برای این مساله ارائه کند، بلکه یکی از حدسهای بنیادی اردوش را نیز رد کند؛ دستاوردی که برخی از بزرگترین ریاضیدانان جهان آن را نقطه عطفی در تاریخ ریاضیات و هوش مصنوعی توصیف کردهاند.
هوش مصنوعی به قلمرو مسائل حلنشده ریاضی وارد شد
در سالهای اخیر پیشرفت مدلهای هوش مصنوعی با سرعتی خیرهکننده ادامه داشته است. اگر تا چند سال پیش این سیستمها در انجام محاسبات ساده دچار اشتباه میشدند، امروز میتوانند در سطح مدال طلای المپیاد جهانی ریاضی ظاهر شوند و حتی به سراغ مسائل حلنشدهای بروند که دههها از دسترس دانشمندان خارج بودهاند.
جدیدترین نمونه این تحول، حل یکی از مسائل مشهور پال اردوش توسط یک مدل تحقیقاتی OpenAI است؛ موفقیتی که بسیاری از پژوهشگران آن را آغاز فصل تازهای در همکاری میان ریاضیات و هوش مصنوعی میدانند.
مساله فاصله واحد چیست؟
پرسشی ساده با پاسخی فوقالعاده پیچیده
در نگاه اول، صورت این مساله بسیار ساده به نظر میرسد:
اگر تعداد مشخصی نقطه روی یک صفحه قرار دهیم، حداکثر چند جفت از این نقاط میتوانند دقیقاً یک واحد از یکدیگر فاصله داشته باشند؟
این سوال در سال ۱۹۴۶ توسط Paul Erdős مطرح شد و به یکی از مشهورترین مسائل هندسه گسسته تبدیل شد.
اردوش نشان داده بود که آرایش نقاط در قالب یک شبکه منظم، تعداد زیادی فاصله واحد تولید میکند و معتقد بود هیچ چینش دیگری نمیتواند عملکرد بهمراتب بهتری داشته باشد. این فرضیه برای حدود ۸۰ سال مبنای تحقیقات بسیاری از ریاضیدانان قرار گرفت.
مدل OpenAI چه چیزی را کشف کرد؟
رد یکی از حدسهای مشهور اردوش
آنچه این دستاورد را استثنایی میکند این است که مدل هوش مصنوعی صرفاً یک اثبات جدید ارائه نکرده، بلکه موفق شده نمونهای پیدا کند که حدس اصلی اردوش را نقض میکند.
به بیان سادهتر:
- ریاضیدانان سالها تلاش میکردند حدس اردوش را اثبات کنند.
- مدل هوش مصنوعی مسیر متفاوتی را انتخاب کرد.
- نتیجه این جستوجو، یافتن آرایشی از نقاط بود که عملکردی بهتر از ساختار پیشنهادی اردوش داشت.
- در نتیجه، فرضیه تاریخی اردوش رد شد.
این اتفاق در ریاضیات اهمیت ویژهای دارد؛ زیرا رد یک حدس قدیمی اغلب به اندازه اثبات یک نظریه جدید ارزشمند تلقی میشود.
واکنش جامعه ریاضی به این کشف
«اگر انسان نوشته بود، آن را منتشر میکردیم»
واکنش ریاضیدانان برجسته جهان به این دستاورد بسیار قابل توجه بوده است.
Timothy Gowers، برنده مدال فیلدز و از چهرههای مطرح ریاضیات معاصر، درباره این اثبات گفته است:
اگر یک ریاضیدان این مقاله را نوشته بود و برای نشریه Annals of Mathematics ارسال میکرد، بدون تردید پذیرش آن را توصیه میکردم.
به گفته او، هیچ اثبات تولیدشده توسط هوش مصنوعی تاکنون به چنین سطحی از کیفیت و عمق علمی نزدیک نشده بود.
چرا هوش مصنوعی موفق شد؟
۱. شکستن پیشفرضهای رایج
یکی از دلایل موفقیت مدل OpenAI این بود که برخلاف اغلب پژوهشگران، تلاش نکرد فرضیه اردوش را اثبات کند.
در واقع مدل بدون تعصب نسبت به باورهای رایج، مسیرهای غیرمتعارف را نیز بررسی کرد و در نهایت به نتیجهای رسید که بسیاری از ریاضیدانان هرگز به دنبال آن نرفته بودند.
۲. ترکیب حوزههای مختلف دانش
ریاضیدانان معمولاً در شاخههای تخصصی فعالیت میکنند، اما مدلهای هوش مصنوعی قادرند دانش حوزههای مختلف را همزمان ترکیب کنند.
در این پروژه، مدل OpenAI از مفاهیم:
- هندسه گسسته
- نظریه جبری اعداد
- تحلیل ساختارهای ریاضی
بهصورت همزمان استفاده کرده است.
همین توانایی ایجاد ارتباط میان شاخههای مختلف دانش، یکی از مزیتهای کلیدی هوش مصنوعی محسوب میشود.
۳. صبر و جستوجوی بیوقفه
بسیاری از ایدههای ریاضی در مراحل اولیه شکست میخورند و پژوهشگران آنها را کنار میگذارند.
اما هوش مصنوعی:
- خسته نمیشود
- تمرکز خود را از دست نمیدهد
- هزاران مسیر مختلف را آزمایش میکند
- و میتواند مدت طولانی روی فرضیههای کماحتمال کار کند
این ویژگی در حل مساله فاصله واحد نقش مهمی داشته است.
آیا دوران جدیدی در ریاضیات آغاز شده است؟
از ابزار کمکی تا شریک پژوهشی
تا چند سال پیش، بسیاری از ریاضیدانان هوش مصنوعی را صرفاً ابزاری برای کمک به محاسبات میدانستند. اما اکنون شرایط در حال تغییر است.
این موفقیت نشان میدهد مدلهای هوش مصنوعی میتوانند:
- حدسهای جدید ارائه کنند
- مسیرهای اثبات را کشف کنند
- نظریههای موجود را به چالش بکشند
- و حتی در تولید دانش ریاضی مشارکت داشته باشند
به همین دلیل برخی پژوهشگران معتقدند آینده ریاضیات به همکاری نزدیک انسان و AI گره خورده است.
آیا هوش مصنوعی جای ریاضیدانان را میگیرد؟
پاسخ کوتاه احتمالاً «خیر» است، اما نقش ریاضیدانان بهتدریج تغییر خواهد کرد.
در آینده، پژوهشگران بیشتر بر:
- تعریف مسائل مهم
- ارزیابی صحت نتایج
- توسعه چارچوبهای نظری
- و تفسیر کشفیات
تمرکز خواهند کرد؛ در حالی که بخش قابل توجهی از جستوجوی ریاضی میتواند توسط سیستمهای هوش مصنوعی انجام شود.
چشمانداز و نتیجهگیری
حل مساله فاصله واحد اردوش توسط مدل OpenAI را میتوان یکی از مهمترین دستاوردهای تاریخ هوش مصنوعی در حوزه علوم پایه دانست. این موفقیت نشان میدهد AI دیگر تنها ابزاری برای پردازش داده یا تولید متن نیست، بلکه میتواند وارد قلمرو کشف علمی و تولید دانش شود.
اگر روند فعلی ادامه پیدا کند، شاید در آینده نزدیک شاهد مشارکت مستقیم هوش مصنوعی در حل برخی از بزرگترین مسائل حلنشده ریاضیات باشیم؛ اتفاقی که میتواند مرز میان «ابزار» و «همکار علمی» را برای همیشه تغییر دهد.