تقارير الذكاء الاصطناعي · OpenAI · 2026-10-06 · مدونة / تعليق

مشاركة تقدّم الذكاء الاصطناعي في الرياضيات

العنوان الأصلي: Sharing AI progress in mathematics

نشرت OpenAI نتائج جديدة حول مسائل مفتوحة في الرياضيات من نموذج رائد داخلي. كما تشارك صيغ إثبات Lean الشكلية وتفاصيل البحث على GitHub.

اقرأ المصدر الأصلي ↗

جميع تقارير الذكاء الاصطناعي →