هوش مصنوعی GPT-5.6 Sol، مسئله بسیار پیچیده ریاضی را حل کرد

یک دانشجوی دکترا ادعا کرد که با استفاده از هوش مصنوعی GPT-5.6 Sol و ابزار Codex موفق شد طی تنها ۵ روز، ۶ مسئله‌ی باز از سری مسائل پال اردوش را حل کند. این ادعا هنوز در مجامع دانشگاهی داوری و تأیید نشده؛ اما بار دیگر توجه‌ها را به نقش فزاینده‌ی هوش مصنوعی در پژوهش‌های ریاضی جلب کرد.

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

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

پژوهشگر می‌گوید از GPT-5.6 Sol با حالت Ultra Reasoning استفاده کرده؛ مدلی که به گفته‌ی کاربران، نسبت‌به نسل‌های قبلی توانایی بیشتری در حفظ زنجیره‌های استدلال طولانی، تحلیل دقیق و انجام جست‌وجوهای پیچیده دارد.

در ماه‌های اخیر، ابزارهایی مانند OpenAI Codex و Kimi K3 و Qwen 3.8 Max و برخی مدل‌های جدید دیگر نشان داده‌اند که هوش مصنوعی به‌سرعت در حال تبدیل‌شدن به ابزاری جدی برای پژوهش، برنامه‌نویسی و حتی حل مسائل پیشرفته‌ی علمی است. با این حال، همانند سایر دستاوردهای پژوهشی، ادعاهای مربوط به حل مسائل باز ریاضی تنها پس از بررسی و تأیید مستقل جامعه‌ی علمی اعتبار قطعی پیدا خواهند کرد.