شرکت OpenAI اعلام کرده است که مدل جدید هوش مصنوعی GPT-5.6 Sol Ultra موفق شده اثبات کاملی برای حدس Cycle Double Cover ارائه دهد؛ مسئله ریاضی مشهوری در نظریه گراف که حدود نیمقرن بدون اثبات باقی مانده بود. به گفته این شرکت، مدل هوش مصنوعی با استفاده از ۶۴ عامل (Subagent) که بهصورت موازی فعالیت میکردند، این اثبات را در کمتر از یک ساعت تولید کرده است. با این حال، این دستاورد هنوز نیازمند بررسی و تأیید کامل جامعه ریاضی است و برخی پژوهشگران، علاوه بر تمجید از کیفیت اثبات، نسبت به نبود ارجاع به تحقیقات پیشین انتقاد کردهاند.
ادامه نوشته
