استخدمت شركة أوبن إيه آي نموذجها اللغوي الكبير الجديد GPT-5.6 Sol في "شات جي بي تي" لحل مسألة رياضية استعصى حلها على البشر لأكثر من نصف قرن. وكل ما تطلبه الأمر كان إخبار الذكاء الاصطناعي بألا يستسلم.
وتزامن إعلان الشركة عن إثبات "حدسية الغطاء المزدوج للدورات" (Cycle Double Cover Conjecture) مع الإطلاق العام الكامل للنموذج يوم الجمعة الموافق 10 يوليو. ويُقصد بـ"الحدسية" الادعاء الرياضي الذي يُعتقد أنه صحيح بناءً على أدلة كثيرة لكنه لم يُثبت بعد.
وتزامن إعلان الشركة عن إثبات "حدسية الغطاء المزدوج للدورات" (Cycle Double Cover Conjecture) مع الإطلاق العام الكامل للنموذج يوم الجمعة الموافق 10 يوليو. ويُقصد بـ"الحدسية" الادعاء الرياضي الذي يُعتقد أنه صحيح بناءً على أدلة كثيرة لكنه لم يُثبت بعد.
