حدس جمع و حاصلضرب اردوش با الهام از هوش مصنوعی نقض شد
حدس جمع و حاصلضرب اردوش که نزدیک به نیم قرن یکی از مشهورترین مسائل حلنشده ریاضیات محسوب میشد، اکنون توسط گروهی از پژوهشگران با الهام از روشهای جدید هوش مصنوعی نقض شده است. این اتفاق تنها چند روز پس از آن رخ میدهد که یک مدل پیشرفته توسعهیافته توسط OpenAI موفق شد یکی دیگر از فرضیههای معروف پال اردوش را زیر سؤال ببرد؛ دستاوردی که توجه جامعه علمی جهان را به نقش روزافزون هوش مصنوعی در پژوهشهای ریاضی جلب کرده است.
در سالهای اخیر، ابزارهای هوش مصنوعی فراتر از تولید متن و تصویر حرکت کردهاند و اکنون در حل مسائل پیچیده علمی نیز نقشآفرینی میکنند. نقض حدس جمع و حاصلضرب اردوش را میتوان یکی از مهمترین نمونههای این تحول دانست.
یک موفقیت غیرمنتظره در دنیای ریاضیات
چند روز پیش پژوهشگران اعلام کردند یک مدل هوش مصنوعی توانسته است مسئله مشهور «فاصله واحد» را که توسط پال اردوش مطرح شده بود، با روشی متفاوت بررسی کند.
این مسئله از مهمترین پرسشهای حوزه هندسه گسسته به شمار میرود و دههها ذهن ریاضیدانان را به خود مشغول کرده بود. موفقیت این روش باعث شد پژوهشگران به سراغ حدس جمع و حاصلضرب اردوش بروند و امکان استفاده از همان ایده را بررسی کنند.
این فرضیه چه چیزی را بیان میکند؟
این نظریه که در سال ۱۹۷۶ مطرح شد، یکی از شناختهشدهترین مسائل حوزه ترکیبیات جمعی است.
بر اساس ایده مطرحشده توسط اردوش، اگر اعضای یک مجموعه عددی را دو به دو با هم جمع کنیم و سپس همان اعضا را دو به دو در هم ضرب کنیم، نمیتوان هر دو مجموعه حاصل را بهصورت همزمان کوچک نگه داشت. در واقع فرض بر این بود که دستکم یکی از این دو مجموعه باید رشد چشمگیری داشته باشد.
همین دیدگاه پایه شکلگیری حدس جمع و حاصلضرب اردوش بود و سالها بهعنوان یکی از مسائل مهم ریاضی مورد مطالعه قرار داشت.
الهام از هوش مصنوعی چگونه به کشف جدید منجر شد؟
توماس بلوم و همکارانش در دانشگاه منچستر پس از مشاهده موفقیت روش استفادهشده در مسئله فاصله واحد، تصمیم گرفتند آن را روی این فرضیه نیز آزمایش کنند.
آنها با بهرهگیری از ابزارهای نظریه اعداد جبری ساختارهایی چندبعدی طراحی کردند که پیش از این کمتر مورد توجه قرار گرفته بودند.
نتیجه تحقیقات نشان داد میتوان مجموعههایی ساخت که هم تعداد جمعهای متمایز و هم تعداد ضربهای متمایز آنها کمتر از مقداری باشد که در حدس جمع و حاصلضرب اردوش پیشبینی شده بود. این یافته عملاً نشان داد نسخه کلی این فرضیه در همه شرایط معتبر نیست.
یک مثال ساده برای درک بهتر موضوع
فرض کنید مجموعهای شامل اعداد ۱، ۲، ۳، ۴ و ۵ داشته باشیم. در هنگام جمع کردن این اعداد، خروجیهای تکراری متعددی ایجاد میشود؛ برای مثال ۱+۴ و ۲+۳ هر دو عدد ۵ را تولید میکنند.
اما در هنگام ضرب کردن، تنوع نتایج بیشتر خواهد بود. این تفاوت یکی از دلایلی بود که باعث شکلگیری نظریهای شد که بعدها با نام حدس جمع و حاصلضرب اردوش شناخته شد.
اگر مجموعهای مانند ۱، ۲، ۴، ۸ و ۱۶ را بررسی کنیم، الگوی متفاوتی مشاهده میشود و همین موضوع اهمیت مطالعه چنین ساختارهایی را نشان میدهد.
چرا این کشف اهمیت زیادی دارد؟
نقض این فرضیه تنها یک موفقیت تئوری نیست. بسیاری از پژوهشگران معتقدند این اتفاق میتواند مسیر تازهای برای بررسی مسائل کلاسیک ریاضیات ایجاد کند.
به گفته توماس بلوم، سادگی نسبی ساختار مورد استفاده یکی از جذابترین بخشهای این کشف است. اکنون پژوهشگران درک بهتری از نقاط ضعف حدس جمع و حاصلضرب اردوش دارند و این موضوع احتمالاً در حل مسائل مشابه نیز تأثیرگذار خواهد بود.
آیا ایده اصلی اردوش کاملاً رد شده است؟
با وجود این دستاورد، بسیاری از متخصصان هنوز معتقدند نسخهای محدودتر از این فرضیه ممکن است برای اعداد صحیح برقرار باشد.
ساختارهایی که برای نقض حدس جمع و حاصلضرب اردوش استفاده شدهاند از سیستمهای عددی پیچیدهای بهره میبرند و الزاماً رفتار مشابهی با مجموعههای معمولی ندارند. به همین دلیل تحقیقات درباره این موضوع همچنان ادامه خواهد داشت.
آینده هوش مصنوعی در پژوهشهای ریاضی
هوش مصنوعی در سالهای اخیر در حوزههایی مانند پزشکی، برنامهنویسی و تحلیل داده موفقیتهای چشمگیری به دست آورده است. اکنون ریاضیات نیز به فهرست حوزههایی اضافه شده که بهشدت تحت تأثیر این فناوری قرار گرفتهاند.
نقض حدس جمع و حاصلضرب اردوش نشان میدهد مدلهای هوش مصنوعی میتوانند فراتر از ابزارهای کمکی عمل کنند و حتی در کشف مسیرهای جدید علمی نقش داشته باشند.
بسیاری از کارشناسان معتقدند در سالهای آینده شاهد همکاری عمیقتر میان ریاضیدانان و سامانههای هوش مصنوعی خواهیم بود؛ همکاریای که میتواند به حل مسائل قدیمی و کشف نظریههای جدید منجر شود.
