OpenAI تنشر نتائج بحثية جديدة في الرياضيات باستخدام نموذج حدودي داخلي
نشرت OpenAI نتائج بحثية جديدة حول مسائل رياضية مفتوحة باستخدام نموذج حدودي داخلي، مع إتاحة إثباتات Lean الصورية وتفاصيل البحث على GitHub بالتشاور مع المجموعة الاستشارية للرياضيات والذكاء الاصطناعي.
المصدر الرسميopenai.comتحقّق من المصدر الأصلي ↗
