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