الأخبار١٢ دقيقة
OpenAI Astra: ١٠ براهين رياضية، تم التحقق منها في Lean (٢٠٢٦)
حل نموذج Astra غير المصدّر من OpenAI عشر مسائل رياضية ظلت دون حل لفترة طويلة بتكلفة حوالي ٢٬٠٠٠ دولار وقدم شهادات Lean. إليكم ما يجب أن يتعلمه بناة الـ agents من هذه التجربة.