براهين Lean
الذكاء الاصطناعي والأتمتة
Astra من OpenAI: كيف حلّ نموذج غير منشور 10 مسائل رياضية مقابل 2,000 دولار
ALGERIATECH Editorial
أغسطس 21, 2026
نموذج Astra غير المنشور من OpenAI حل 10 مسائل رياضية عمرها عقود مقابل 2000 دولار، وبراهين Lean بلا ثغرات أقرّها حائز ميدالية فيلدز.
