إيلون ماسك يشيد بـ Grok 4.5 لدحض فرضية عمرها 30 عامًا في نظرية الرسوم البيانية في 8 دقائق؛ GPT-5 حلها أيضًا

أشاد إيلون ماسك، الرئيس التنفيذي لشركة xAI، بنموذج Grok 4.5 لدحض فرضية طويلة الأمد في نظرية المخططات (graph theory) ظلت دون حل لمدة 30 عامًا، حيث أُنجزت المهمة في 8 دقائق فقط بحسب التقارير. كما ذكر ماسك أن نموذج GPT-5 من OpenAI حل المشكلة نفسها بشكل مستقل. يُبرز هذا الإنجاز القدرات المتسارعة لنماذج الذكاء الاصطناعي المتقدمة في التفكير الرياضي وحل المشكلات. لم تُقدم تفاصيل إضافية حول الفرضية أو عملية التحقق.