الذكاء الاصطناعي١٠ أغسطس ٢٠٢٦
إطلاق عائلة نماذج TwiL-LM المتخصصة في المنطق الصوري
طوّرت webAI عائلة TwiL-LM المفتوحة المصدر لنماذج متخصصة في المنطق الصوري، بينها نموذج بحجم ١٫٧ مليار معلمة يعمل بكفاءة على أجهزة المستهلك. ويقول المنشور إن TwiL-LM3 تفوّق على نموذج OpenAI gpt-oss-120b في ٤ من أصل ٥ اختبارات للاستدلال الصوري، رغم صغر حجمه. وتتوفر العائلة عبر HuggingFace للاستخدام مع Transformers وllama.cpp، لكن بترخيص غير تجاري.
الحقائق الأساسية
يعمل نموذج TwiL-LM3 بحجم ١٫٧ مليار معلمة، ويقال إنه يتفوق على gpt-oss-120b في ٤ من ٥ اختبارات للاستدلال الصوري.
«TwiL-LM3, a 1.7B formal-logic model that beats OpenAI's gpt-oss-120b on 4 of 5 formal reasoning benchmarks while running efficiently on consumer hardware.»
عرض المصدر ←تتوفر عائلة TwiL-LM على HuggingFace لدعم Transformers وllama.cpp، مع منع الاستخدام التجاري.
«The TwiL-LM family of models is now available on HuggingFace for Transformers and llama.cpp, under a non-commercial license.»
عرض المصدر ←يذكر منشور آخر أن إصدارًا بحجم ٣ مليارات معلمة يتفوق على gpt-oss بحجم ١٢٠ مليار معلمة.
«1. The 3B version beats OpenAI's 120B gpt-oss»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر