شرکت OpenAI به تازگی اعلام کرده است که مدل استدلالی جدید این شرکت توانسته است یک حدس معروف و حلنشده در علم هندسه را که ۸۰ سال پیش مطرح شده بود، با موفقیت رد کند و یک اثبات ریاضی کاملاً جدید و بیسابقه ارائه دهد.
براساس گزارش OpenAI، حدود هفت ماه پیش، معاون سابق این کمپانی ادعا کرده بود که مدل GPT-5 راهحلهایی برای ۱۰ مسئله حلنشده از مسائل «پل اردیش» پیدا کرده است. اما اندکی بعد مشخص شد که این راهحلها پیش از این در مقالات علمی و ادبیات ریاضی وجود داشته است.
پس از آن اتفاق و انتقادهای رقبایی مانند مدیرعامل گوگل دیپمایند (Google DeepMind)، اکنون به نظر میرسد OpenAI اشتباه گذشته را تکرار نکرده است. در کنار این اعلامیه جدید، ریاضیدانان برجستهای نیز این دستاورد را به صورت رسمی تایید کردهاند و آن را یک پیشرفت واقعی دانستهاند.
حل مستقل یک مسئله پیچیده توسط هوش مصنوعی
این مسئله ریاضی اولین بار در سال ۱۹۴۶ توسط ریاضیدان معروف، پل اردیش (Paul Erdős) مطرح شده بود. برای حدود ۸۰ سال، دانشمندان علم ریاضیات بر این باور بودهاند که بهترین راهحلهای ممکن برای این مسئله، ساختارهایی شبیه به شبکههای مربعی دارند. اما مدل استدلالی OpenAI این باور تاریخی را به طور کامل رد کرده است و خانواده کاملا جدیدی از ساختارها را کشف کرده است که عملکرد بسیار بهتری دارند.

شرکت OpenAI تاکید کرده است که این اتفاق، اولین باری است که هوش مصنوعی توانسته است به صورت کاملاً مستقل یک مسئله باز و کلیدی را در علم ریاضیات حل کند. نکته قابل توجه این است که این اثبات توسط یک مدل استدلالی همهمنظوره به دست آمده است، نه سیستمی که صرفا برای حل مسائل ریاضی طراحی شده باشد.
این پیشرفت شگرف نشان میدهد که سیستمهای هوش مصنوعی اکنون توانایی بسیار بالاتری برای حفظ زنجیرههای استدلالی طولانی و پیچیده دارند و میتوانند ایدههای مختلف را در زمینههای گوناگون به یکدیگر متصل کنند. دانشمندان معتقدند که این سطح از استدلال عمیق، در آینده تاثیرات شگرفی بر حوزههای زیستشناسی، فیزیک، مهندسی و پزشکی خواهد داشت.
تولید آهنگهای ۶ دقیقهای با هوش مصنوعی دیگر یک رویا نیست؛ با رونمایی مدل استیبلآدیو ۳.۰ از کمپانی Stability AI امکان ساخت آهنگ بهصورت آفلاین هم وجود دارد.