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