ادعای تازه OpenAI درباره حل یک مسئله ۵۰ساله ریاضی با GPT-5.6

ادعای تازه OpenAI درباره حل یک مسئله ۵۰ساله ریاضی با GPT-5.6

شرکت OpenAI اعلام کرده است مدل GPT-5.6 Sol Ultra توانسته در کمتر از یک ساعت، اثباتی برای حدس Cycle Double Cover ارائه کند؛ مسئله ای شناخته شده در نظریه گراف که از دهه ۱۹۷۰ میلادی تاکنون حل نشده باقی مانده است. این ادعا هنوز به طور کامل توسط جامعه ریاضی بررسی همتا به همتا نشده و بنابراین نمی توان آن را در حال حاضر یک حل قطعی و پذیرفته شده دانست.

بر اساس توضیحات OpenAI، این مدل از حالت Ultra و ۶۴ عامل موازی استفاده کرده است. خروجی اعلام شده، یک اثبات سه صفحه ای است که مسئله را ابتدا به گراف های مکعبی کاهش می دهد، سپس از قضیه ۸-flow بهره می گیرد و در ادامه با استدلال جبر خطی روی یک میدان متناهی، راه حل پیشنهادی را تکمیل می کند.

حدس Cycle Double Cover چیست؟

این حدس می گوید هر گراف بدون پل، مجموعه ای از چرخه ها دارد که در آن هر یال دقیقا دو بار ظاهر می شود. صورت مسئله در نگاه نخست ساده به نظر می رسد، اما دشواری اثبات آن باعث شده بیش از پنج دهه در شمار مسائل باز ریاضیات باقی بماند. این حدس به George Szekeres و Paul Seymour نسبت داده می شود.

اثبات منتشر شده هنوز نیازمند بررسی مستقل است

OpenAI اعلام کرده سند اثبات، پرامپت کامل مورد استفاده و نسخه فرمالیزه شده آن با Lean را عمومی کرده است. Thomas Bloom، ریاضیدان دانشگاه منچستر، این اثبات را «بسیار زیبا و elementary» توصیف کرده و گفته است چنین راه حلی می توانست در دهه ۱۹۸۰ کشف شود، اما این اتفاق رخ نداده بود.

با وجود انتشار این اسناد، اعتبار نهایی ادعا به بررسی دقیق متخصصان و تکرارپذیری استدلال وابسته است. در مسائل ریاضی، تولید یک مسیر اثباتی از سوی مدل هوش مصنوعی با پذیرش آن از سوی جامعه علمی تفاوت دارد؛ به ویژه زمانی که ادعا درباره مسئله ای چند دهه ای مطرح می شود.

در صورت تایید این اثبات، دستاورد GPT-5.6 Sol Ultra می تواند نشانه ای از افزایش توانایی مدل های هوش مصنوعی در پژوهش های نظری باشد و مسیر استفاده از آن ها را در ریاضیات، فیزیک و علوم دیگر تغییر دهد. با این حال، متن خبر نیز تاکید می کند که بررسی کامل جامعه ریاضی هنوز انجام نشده است.