أعلنت شركة لوجيكال إن텔يجنس، المتخصصة في تطوير نماذج ذكاء اصطناعي تعتمد على نموذج الطاقة (EBM)، عن إطلاق نسخة أولى من نموذجها المُسمّى "كونا 1.0"، وهو أول نموذج للذكاء الاصطناعي يعتمد على منطق الطاقة في التفكير، وسيبدأ اختباره مع شركاء مختارين في قطاعات الطاقة والإنتاج المتقدم وتصنيع الرقائق الإلكترونية خلال الربع الحالي. كما أطلقت الشركة عرضًا تجريبيًا مباشرًا لكونا 1.0 على موقعها، يبدأ بتحديات سودوكو ضد نماذج لغة كبيرة (LLM) رائدة، مع خطط لعرض تجارب في الألعاب مثل الشطرنج وغوه. تؤكد إيفر بودنيا، المؤسسة والرئيسة التنفيذية للشركة، أن كونا يتعلم من خلال اكتشاف أخطائه وتصحيحها، بدلًا من تخمين الإجابة الأكثر احتمالاً، وهو ما يمثل خطوة أولية واقعية نحو الذكاء العام (AGI). وتشير إلى أن الذكاء العام لن يُبنى من نموذج واحد، بل من نظام متكامل يضم نماذج الطاقة، ونماذج اللغة الكبيرة، ونماذج العالم، تعمل معًا. عينت الشركة يان لكون، الخبير العالمي في الذكاء الاصطناعي والرئيس السابق لقسم الذكاء الاصطناعي في ميتا، كرئيس تأسيسي لمجلس الأبحاث التقنية، وبيتر هيلمان، الذي شغل مناصب قيادية في جنرال إلكتريك وبيانس، كمدير استراتيجي. يُكمل الفريق القيادي أيضًا مايكل فريدمان، الحائز على جائزة فيلدز، كرئيس للرياضيات، وفلاد إيسينبايف، بطل العالم في مسابقة ICPC ومتخصص في الذكاء الاصطناعي، كرئيس للذكاء الاصطناعي. يوضح لكون أن التفكير الحقيقي يجب أن يُصاغ كمشكلة تحسين، وهو ما يُمثّل أساس نماذج الطاقة التي يُطلق عليها "الطاقة المنخفضة" لاستنتاج الاستنتاجات. ويؤكد أن لوجيكال إن텔يجنس هي أول شركة تحول هذا المفهوم من بحث نظري إلى منتجات قابلة للتطبيق، مما يفتح الباب لنماذج ذكاء اصطناعي أكثر موثوقية. تم تصميم أنظمة الشركة لتطبيقات حساسة تتطلب دقة مثبتة وليس مجرد احتمالات إحصائية، مثل التحقق من صحة البرمجيات في البيئات المُراقبة أو المُعرضة للهجمات، أو في أنظمة الطاقة والروبوتات. على عكس نماذج اللغة التي تعتمد على التخمين، تعمل نماذج الطاقة على تحديد الحدود المسموح بها، ثم العثور على حلول تبقى ضمنها. هذا يسمح بضمانات صحة مستمرة حتى مع تطور الأنظمة. يُذكر أن كونا 1.0 يُمتد من أعمال الشركة السابقة في التحقق الرمزي وكتابة الشفرات الموثقة، لكنه يمتد الآن لتحليل الأنظمة بأكملها، وليس فقط الوظائف المنعزلة. ويشير هيلمان إلى أن الذكاء الاصطناعي ينتقل الآن إلى مجالات يترتب عليها عواقب مادية، وتصبح الشهادات والقدرة على الدفاع عن الأنظمة مطلوبة بجانب الأداء. تُعد لوجيكال إن텔يجنس شركة رائدة في تطوير نماذج ذكاء اصطناعي تُستخدم في البيئات الحيوية، مثل الطاقة والإنتاج الصناعي والتصميم النصفي. وتوفر منتجها "أليف" اليوم أدوات للتحقق الرمزي وإنشاء شفرات آمنة مع إثباتات قابلة للتحقق آليًا، بينما تُعد منصة كونا القادمة خطوة نحو نماذج تفكير متكاملة قابلة للتحقق باستمرار.