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










