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

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

لغة المصدر الأصلي · الإنجليزية

تم التحقق · 10 أكتوبر 2026