خرجت للتو من العمل وجربت Grok-4 في مشكلة طوبولوجيا البكالوريوس. استغرق الأمر 9 دقائق للتفكير ثم أعطى بثقة إجابة 😅 نظيفة ومعقولة ولكنها خاطئة تماما لا تعتقد أن هذا الشخص مؤهل على أنه "عدائي بمهارة". نماذج الذكاء الاصطناعي هي معايير ساحقة - ولكنها لا تزال أمامها طريق طويل بالنسبة ل AGI الرياضيات الحقيقية.