OpenAI Astra: ١٠ براهين رياضية، تم التحقق منها في Lean (٢٠٢٦)
٣ أغسطس ٢٠٢٦
حل نموذج Astra غير المصدّر من OpenAI عشر مسائل رياضية ظلت دون حل لفترة طويلة بتكلفة حوالي 2,000 دولار وقدم شهادات Lean. إليكم ما يجب أن يتعلمه بناة الـ agents من هذه التجربة.
#gpt-56-sol
GPT-5.6 Sol: العرض المسبق من OpenAI المقيد حكومياً (2026)
٢٩ يونيو ٢٠٢٦
OpenAI قدمت عرضاً مسبقاً لـ GPT-5.6 Sol و Terra و Luna في ٢٦ يونيو ٢٠٢٦ — ولكن فقط للشركاء المعتمدين من الحكومة، عبر API و Codex، بموجب الأمر التنفيذي السيبراني رقم ١٤٤٠٩.