1. وقتی هوش مصنوعی OpenAI یک معمای ۸۰ ساله هندسه را شکست
گاهی یک مسئلهی ریاضی دههها بدون پاسخ باقی میماند؛ نه به این دلیل که غیرقابلحل است، بلکه چون مسیر درست برای نگاه کردن به آن هنوز پیدا نشده است. «مسئله فاصله واحد» دقیقاً چنین وضعیتی داشت. معمایی که از دهه ۱۹۴۰ ذهن بسیاری از ریاضیدانها را درگیر کرده بود.
حالا ماجرا شکل تازهای پیدا کرده است. هوش مصنوعی OpenAI با رویکردی متفاوت توانسته راهی تازه برای بررسی این مسئله پیدا کند؛ روشی که نهتنها نتیجهی قبلی را به چالش میکشد، بلکه مسیر جدیدی برای تحلیل چنین مسائل هندسی باز میکند.
جالب اینجاست که شگفتی اصلی فقط پاسخ نیست. مسیر رسیدن به پاسخ همان چیزی است که بسیاری از پژوهشگران ریاضی را واقعاً غافلگیر کرده است.
2. مسئله فاصله واحد؛ معمایی ساده اما سرسخت
ریشه این مسئله به سال ۱۹۴۶ برمیگردد؛ زمانی که ریاضیدان مشهور مجارستانی پال اردوش پرسشی به ظاهر ساده مطرح کرد: اگر مجموعهای از نقاط روی یک صفحه دوبعدی قرار بگیرند، بیشترین تعداد جفتنقطهای که دقیقاً فاصلهی یک واحد از هم دارند چقدر میتواند باشد؟
این سؤال که به نام مسئله فاصله واحد شناخته میشود، به سرعت به یکی از چالشهای مهم در شاخهای از ریاضیات به نام هندسه ترکیبیاتی تبدیل شد. ظاهر مسئله ساده است؛ چند نقطه و فاصله میان آنها. اما وقتی تعداد نقاط افزایش پیدا میکند، ساختارهای پیچیدهای شکل میگیرد که تحلیل آنها بسیار دشوار است.
به همین دلیل طی دههها، این مسئله به یکی از نمونههای کلاسیک در پژوهشهای ریاضی تبدیل شد؛ نمونهای که نشان میدهد حتی سادهترین پرسشها هم میتوانند سالها بدون پاسخ بمانند.
3. چرا این مسئله دههها حل نشد؟
برای مدت طولانی بسیاری از ریاضیدانها تصور میکردند بهترین چیدمان نقاط روی صفحه، الگوهایی شبیه شبکه مربعی است. در این الگوها نقاط در ساختاری منظم قرار میگیرند و فاصلههای یکسان زیادی ایجاد میشود.
پال اردوش حدس میزد تعداد جفتنقطههایی که فاصلهی واحد دارند فقط کمی سریعتر از رشد خطی افزایش پیدا میکند. این فرضیه سالها مبنای تحقیقات بعدی قرار گرفت.
نسلهای مختلفی از پژوهشگران تلاش کردند این حدس را اثبات یا رد کنند. برخی توانستند حدهای بالاتر یا پایینتری برای این مقدار پیدا کنند، اما تصویر کامل مسئله همچنان مبهم باقی ماند.
4. ورود هوش مصنوعی OpenAI به ماجرا
در پژوهشی تازه، هوش مصنوعی OpenAI به بررسی ساختارهای مختلف چیدمان نقاط پرداخت و الگوهایی را شناسایی کرد که پیش از این چندان مورد توجه قرار نگرفته بودند.
به گفته پژوهشگران، این مدل توانسته خانوادهای بینهایت از چیدمانهای نقطهای را پیدا کند که در آنها تعداد فاصلههای واحد بیشتر از الگوهای کلاسیک شبکه مربعی است.
این نتیجه به این معناست که برخی از فرضیات قدیمی درباره بهترین ساختار ممکن احتمالاً کامل نبودهاند.
جزئیات این پژوهش و فعالیتهای تحقیقاتی این شرکت در حوزه مدلهای پیشرفته را میتوان در سایت رسمی
OpenAI مشاهده کرد.
5. نقش ریاضیدانان در تکمیل نتیجه
پس از ارائه نتایج اولیه، ریاضیدانها شروع به بررسی دقیقتر این ایده کردند. ویل ساوین از دانشگاه پرینستون توانست نتیجه ارائهشده را تقویت کند و نشان دهد که افزایش تعداد فاصلههای واحد را میتوان با یک توان ثابت توصیف کرد.
اطلاعات بیشتر درباره فعالیتهای علمی این دانشگاه در حوزه ریاضیات و علوم پایه در سایت
Princeton University قابل مشاهده است.
این همکاری میان تحلیل انسانی و خروجی هوش مصنوعی نمونه جالبی از شیوه جدید انجام پژوهشهای علمی محسوب میشود.
6. روش حل؛ بخش واقعاً شگفتانگیز ماجرا
نکتهای که بسیاری از متخصصان را شگفتزده کرد، فقط نتیجه نهایی نبود. روش رسیدن به پاسخ نیز کاملاً غیرمنتظره بود.
بهجای استفاده از تکنیکهای رایج هندسه ترکیبیاتی، هوش مصنوعی OpenAI مسئله را به شاخهای دیگر از ریاضیات یعنی نظریه جبری اعداد مرتبط کرد.
این حوزه از ریاضیات معمولاً برای بررسی ساختارهای عددی پیچیدهتر از اعداد صحیح به کار میرود. ارتباط دادن آن با مسئله فاصله واحد ایدهای بود که بسیاری از پژوهشگران پیشتر به آن فکر نکرده بودند.
استفاده از تقارنهای پنهان
در عمل، مدل هوش مصنوعی توانست از تقارنهای موجود در ساختارهای عددی پیچیده استفاده کند تا چیدمانهایی طراحی کند که در آنها تعداد فاصلههای واحد بیشتری میان نقاط ایجاد میشود.
به بیان سادهتر، الگوریتم راهی پیدا کرد تا از ساختارهای عمیق ریاضی برای ساخت الگوهای هندسی کارآمدتر استفاده کند. همین ارتباط غیرمنتظره باعث شد بسیاری از ریاضیدانها نسبت به نتیجه کنجکاو شوند.
7. واکنش جامعه علمی
پس از انتشار این نتایج، گروهی از ریاضیدانان اثبات ارائهشده را بررسی کردند و مقالهای جداگانه درباره اهمیت آن منتشر شد.
«تیم گاورز» برنده مدال فیلدز این دستاورد را نقطه عطفی در پژوهشهای مبتنی بر هوش مصنوعی توصیف کرده است. از نگاه بسیاری از متخصصان، این اتفاق نشان میدهد هوش مصنوعی میتواند در کشف ایدههای تازه در ریاضیات نقش مهمی ایفا کند.
8. آینده همکاری انسان و هوش مصنوعی در ریاضیات
با وجود این پیشرفت، بیشتر پژوهشگران معتقدند هوش مصنوعی قرار نیست جای ریاضیدانها را بگیرد. در عوض، نقش آن بیشتر شبیه یک همکار خلاق است؛ سیستمی که میتواند الگوهای جدید را کشف کند و مسیرهای غیرمنتظرهای پیشنهاد دهد.
در ادامه، ریاضیدانها این ایدهها را بررسی میکنند، آنها را دقیقتر میکنند و در نهایت به اثباتهای رسمی تبدیل میکنند.
نمونه اخیر نشان میدهد همکاری میان انسان و هوش مصنوعی میتواند حتی قدیمیترین مسائل حلنشده ریاضیات را هم دوباره وارد میدان پژوهش کند.
9. سوالات متداول
مسئله فاصله واحد چیست؟
این مسئله در هندسه ترکیبیاتی میپرسد در یک مجموعه از نقاط روی صفحه، حداکثر چند جفت نقطه میتوانند دقیقاً فاصله یک واحد از هم داشته باشند.
چه کسی این مسئله را مطرح کرد؟
پال اردوش، ریاضیدان مشهور مجارستانی، این مسئله را در سال ۱۹۴۶ مطرح کرد.
نقش هوش مصنوعی OpenAI در این کشف چه بود؟
این مدل توانست الگوهای جدیدی برای چیدمان نقاط پیدا کند که تعداد فاصلههای واحد بیشتری نسبت به ساختارهای کلاسیک ایجاد میکنند.
جمعبندی
گاهی پیشرفت علمی نه با یک پاسخ ساده، بلکه با تغییر زاویه نگاه اتفاق میافتد. ماجرای اخیر نشان میدهد هوش مصنوعی میتواند در پیدا کردن همین زاویههای تازه نقش مهمی داشته باشد.
مسئلهای که نزدیک به ۸۰ سال در چارچوبهای مشخص بررسی میشد، حالا با یک مسیر غیرمنتظره دوباره زنده شده است. اگر این روند ادامه پیدا کند، احتمالاً در سالهای آینده شاهد نمونههای بیشتری خواهیم بود که در آنها هوش مصنوعی جرقهی ایده را میزند و پژوهشگران انسانی آن را به یک کشف علمی کامل تبدیل میکنند.
