Find XO: نموذج OpenAI ينجح في دحض افتراض أساسي في الرياضيات المتقطعة، والذكاء الاصطناعي يكتشف حقيقة رياضية جديدة
لغة الكتابة: الكورية عرض بلغة الكتابة
الملخص
- أعلنت OpenAI أن نموذجها وجد مثالًا مضادًا يكسر افتراضًا لم يُحل بعد في الرياضيات المتقطعة.
- الأمر ليس مجرد إجراء حسابات سريعة، بل يتعلق باختيار بنية تقوض النظرية وسط عدد هائل من الحالات، ما يجعل طبيعة العمل مختلفة.
- نظرية الرسومات والتركيبات هي أيضًا أساس تصميم الخوارزميات، مما يجعلنا نعيد تقييم مدى الثقة والاعتماد على الذكاء الاصطناعي كأداة بحث.