خانه
دسته بندی ها
اخبار
هوش مصنوعی OpenAI معمای 80 ساله «اردوش» را با مدل استدلال عمومی خود شکست!

هوش مصنوعی OpenAI معمای 80 ساله «اردوش» را با مدل استدلال عمومی خود شکست!

اشتراک

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

حالا برای اولین بار، یک مدل هوش مصنوعی توانسته است بدون هیچ کمکی از سوی انسان، یک قضیه ریاضی کاملاً باز و حل‌نشده را اثبات کند. و نه یک قضیه ساده، بلکه یکی از معروف‌ترین مسائل حل‌نشده در هندسه ترکیبیاتی که تقریباً ۸۰ سال ذهن بزرگ‌ترین ریاضیدانان جهان را به خود مشغول کرده بود .

OpenAI رسماً اعلام کرده است که مدل استدلال داخلی و عمومی آن (که حدس زده می‌شود GPT-5.6 باشد) ، موفق به رد فرضیه «مسئله فاصله واحد» (Unit Distance Problem) شده است؛ مسئله‌ای که توسط ریاضیدان افسانه‌ای پاول اردوش در سال ۱۹۴۶ مطرح شده بود و اکنون توسط یک ماشین، با استفاده از ابزارهای شگفت‌انگیز از دل نظریه اعداد جبری، سرنگون شده است .

در این خبر، شما را با جزئیات این دستاورد تاریخی، واکنش شگفت‌زده برندگان مدال فیلدز و تحلیل چرایی اهمیت این رویداد فراتر از خود ریاضیات آشنا می‌کنیم.

معمای «واحد» که ۸۰ سال دوام آورد!

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

حدس اردوش: ریاضیدانان تقریباً متقاعد شده بودند که بهترین چیدمان، چیزی شبیه به یک شبکه مربعی (Square Grid) است. یعنی تعداد این جفت‌ها فقط کمی بیشتر از تعداد خود نقطه‌ها (n) می‌شود .
واقعیت: مدل OpenAI نشان داد که این حدس اشتباه بوده است. این مدل یک ساختار کاملاً جدید و انتزاعی کشف کرد که برخلاف شبکه مربعی عمل می‌کند و تعداد جفت‌های واحد را به طور قابل توجهی بیشتر می‌کند .

به گفته OpenAI، این مدل از یک «مدل استدلال عمومی» استفاده کرد و برای اثبات کار خود، نزدیک به ۱۲۵ صفحه استدلال منطقی تولید کرد . هزینه انجام این محاسبات کمتر از ۱۰۰۰ دلار و زمان آن کمتر از ۳۲ ساعت تخمین زده شده است .

«لحظه صفحه ۳۹» و هنر اعداد جبری

نکته شگفت‌انگیزتر از خود نتیجه، روش رسیدن به آن است. هوش مصنوعی برای حل یک مسئله هندسی ساده (چیدن نقطه روی صفحه)، به سراغ پیچیده‌ترین شاخه‌های ریاضیات محض رفت: نظریه اعداد جبری و برج‌های میدان کلاس بینهایت (Infinite Class Field Towers) .

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

در میان صفحات ۱۲۵ گانه خروجی، یک لحظه خاص توجه محققان را جلب کرد. در صفحه ۳۹، مدل این ساختار را “ترسناک” (frightening) توصیف کرد . این نوع زبان، نشان‌دهنده درک شهودی یا حداقل شبیه‌سازی شده از پیچیدگی مسئله توسط هوش مصنوعی است.

تأییدیه قاطعی که تاریخ‌ساز شد

این بار، بر خلاف جنجال‌های تبلیغاتی گذشته ، OpenAI این خبر را بدون ارائه شواهد رها نکرد. این شرکت یک مقاله همراه با تحلیل‌های ۹ ریاضیدان برجسته جهانی منتشر کرد .

واکنش جامعه علمی به این رویداد، صرفاً یک «تبریک» ساده نبود، بلکه یک شوک عمیق بود:

تیموتی گاورز (برنده مدال فیلدز): او که یکی از بزرگ‌ترین ریاضیدانان زنده است، گفت:

«اگر این مقاله با نام یک انسان به مجله Annals of Mathematics (معتبرترین مجله ریاضی) ارسال می‌شد، بدون تردید توصیه به پذیرش آن می‌کردم. هیچ اثبات تولید شده توسط AI قبلی به این سطح نزدیک نشده است» .

توماس بلوم (ریاضیدان منتقد OpenAI): جالب است بدانید که توماس بلوم همان کسی است که ۷ ماه قبل ادعای مشابه قبلی OpenAI را «تحریف عمدی» خوانده بود و باعث شد OpenAI آن پست را حذف کند. او این بار با تعجب گفت:

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

آرول شانکار (نظریه‌پرداز اعداد): او تأکید کرد که «مدل‌های هوش مصنوعی فراتر از کمک‌رسان صرف هستند؛ آنها قادر به داشتن ایده‌های مبتکرانه و اصلی هستند و آن را تا انتها پیش می‌برند» .

اهمیت تاریخی: از «بازی» به «علم واقعی»

چرا این دستاورد از پیروزی AlphaGo بر لی سدول مهم‌تر است؟

پاسخ در ماهیت اکتشاف نهفته است. AlphaGo یک بازی با قوانین بسته را برد، اما این مدل OpenAI یک مسئله باز و حل‌نشده در علم را کشف کرد.

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

ما شاهد تولد یک همکار جدید برای دانشمندان هستیم؛ همکاری که خسته نمی‌شود، در هزاران بعد محاسبه می‌کند و از آزمون و خطا در فضایی که برای ذهن انسان دست نیافتنی است، هراسی ندارد.

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

رأی مثبت0امتیازاترأی منفی

0 آرا: 0 موافق, 0 مخالف (0 امتیاز)