شرکت OpenAI بار دیگر ادعای بزرگی در جهان هوش مصنوعی و ریاضیات مطرح کرده است. به گفته این شرکت، یکی از جدیدترین مدلهای استدلال هوش مصنوعی، مسئله معروف هندسه را حل کرده است که نزدیک به ۸۰ سال بدون جواب باقی مانده بود. این مسئله در سال ۱۹۴۶ توسط «پل اردوش» (Paul Erdos)، ریاضیدان افسانهای، مطرح شده بود.
این اطلاعیه به ویژه جالب است زیرا OpenAI حدود هفت ماه پیش نیز ادعای مشابهی کرده بود. در آن زمان، کوین ویل، معاون سابق OpenAI، در پستی در شبکه اجتماعی ایکس اعلام کرد که مدل GPT-5 چندین مسئله حلنشده اردوش را حل کرده است. اما بعداً مشخص شد هوش مصنوعی فقط راهحلهایی را بازکشف کرده بود که قبلاً در مقالات تحقیقاتی ریاضی وجود داشت. این ادعای قبلی منجر به انتقاد محققان برجسته هوش مصنوعی مانند «یان لکون» (Yann LeCun) و «دمیس هاسابیس» (Demis Hassabis) شد. ویل بعداً پست خود را حذف کرد.
جزئیات ادعای جدید
این بار، OpenAI به نظر میرسد پیش از اعلام عمومی، دقت بیشتری به خرج داده است. این شرکت همچنین نظرات حمایتی از ریاضیدانان معتبری مانند «نوگا آلون» (Noga Alon)، «ملانی وود» (Melanie Wood) و «توماس بلوم» (Thomas Bloom) به اشتراک گذاشته است. OpenAI در پستی در شبکه اجتماعی ایکس نوشت: «تقریباً ۸۰ سال، ریاضیدانان بر این باور بودند که بهترین راهحلهای ممکن تقریباً شبیه شبکههای مربعی هستند. یک مدل OpenAI اکنون این باور را رد کرده و خانواده کاملاً جدیدی از ساختارها را کشف کرده است که عملکرد بهتری دارند.»
OpenAI میگوید این «اولین باری است که هوش مصنوعی به طور خودمختار یک مسئله باز برجسته را حل کرده است که برای یک حوزه ریاضی مرکزی محسوب میشود.» این شرکت همچنین توضیح داد که این اثبات توسط یک مدل استدلال همهمنظوره (general-purpose) تولید شده است، نه سیستمی که به طور ویژه برای حل مسائل ریاضی ساخته شده باشد.
به گفته OpenAI، این نشان میدهد چگونه سیستمهای هوش مصنوعی مدرن در مدیریت زنجیرههای طولانی و دشوار استدلال بهتر میشوند. بلوم در وبلاگ OpenAI گفت: «هوش مصنوعی به ما کمک میکند کلیسای ریاضیات را که در طول قرنها ساختهایم، به طور کاملتر کشف کنیم. چه شگفتیهای نادیده دیگری در انتظار هستند؟»
