جاهز للتشغيل
جاهز للتشغيل
أكدت شركة أوبن إيه آي أنها استخدمت نموذجها اللغوي الجديد GPT-5.6 لحل مسألة رياضية استعصى حلها على البشر منذ أكثر من 50 عامًا، وهي فرضية "الحدسية المزدوجة للدورات" المتعلقة بالرسوم البيانية. أظهرت النتائج أن النموذج نجح في إثبات صحة الحدسية، حيث تمكن من إثبات أن أي رسم بياني يمكن تغطيته مرتين باستخدام ما لا يزيد عن ثماني حلقات مختارة، وهو إنجاز غير مسبوق في علم الرياضيات. كان البرهان قصيرًا، ويؤكد أن الذكاء الاصطناعي يُمكن أن يغير قواعد البحث في الرياضيات بشكل كبير، ويعطي أمثلة على قدرة النماذج على التعامل مع مسائل معقدة منذ سنوات طويلة ولم يُتمكن البشر من إثباتها.
تنويه: هذا ملخص تم إنشاؤه بواسطة الذكاء الاصطناعي
التعليقات (0)