أطلقت شركة هارمونيك الناشئة في مجال الذكاء الاصطناعي، والتي شارك في تأسيسها الرئيس التنفيذي لشركة روبنهود فلاد تينيف، النسخة التجريبية من تطبيق الدردشة الذكي الخاص بها على نظامي iOS وأندرويد، والذي يحمل اسم «أرسطو» ويعتمد على نموذج ذكاء اصطناعي صُمم خصيصاً للاستدلال الرياضي الخالي من الأوهام.
وتتميز الشركة، التي جمعت مؤخراً 100 مليون دولار في جولة تمويل من الفئة B بقيمة تقديرية بلغت 875 مليون دولار، عن بقية نماذج الذكاء الاصطناعي السائدة بتركيزها على مفهوم «الذكاء الرياضي الفائق». وعلى عكس النماذج اللغوية الضخمة التقليدية التي تواجه صعوبات في الحسابات المعقدة، تم بناء «أرسطو» من الصفر لضمان الدقة في المجالات الكمية.
وقال تيودور أتشيم، الرئيس التنفيذي والشريك المؤسس لشركة هارمونيك: «أرسطو هو أول منتج متاح للجمهور يقوم بالاستدلال والتحقق الرسمي من النتائج». وأضاف: «ضمن المجالات التي يدعمها أرسطو، وهي مجالات الاستدلال الكمي، نحن فعلياً نضمن عدم وجود أوهام».
ويحقق النظام هذا المستوى المذهل من الدقة عبر عملية من خطوتين: أولاً، يقوم أرسطو بترجمة مسائل الرياضيات المطروحة بلغة طبيعية إلى لغة البرمجة مفتوحة المصدر Lean 4، وهي أداة مساعدة لإثبات صحة التعاريف والنظريات الرياضية. بعد ذلك، وقبل تقديم الإجابات للمستخدمين، يقوم النموذج بمراجعة الحلول من خلال عملية تحقق خوارزمية لا تعتمد على الذكاء الاصطناعي، مشابهة لطرق التحقق المستخدمة في مجالات حساسة مثل الأجهزة الطبية والطيران.
وتؤكد هارمونيك أن «أرسطو» حقق أداءً بمستوى الميدالية الذهبية في أولمبياد الرياضيات الدولي لعام 2025 من خلال اختبارات رسمية، حيث تم تحويل المسائل إلى صيغة قابلة للقراءة الآلية. ويأتي هذا الإنجاز في عام وصلت فيه نماذج الذكاء الاصطناعي من Google DeepMind وOpenAI أيضاً إلى معايير الميدالية الذهبية في الأولمبياد، وإن كان ذلك عبر اختبارات غير رسمية باستخدام اللغة الطبيعية.
وتتجاوز طموحات الشركة مجال الرياضيات، إذ تؤمن هارمونيك بأن الذكاء الرياضي الفائق سيساعد المستخدمين في جميع المجالات التي تعتمد على الاستدلال الرياضي، بما في ذلك الفيزياء والإحصاء وعلوم الحاسوب. وتخطط الشركة مستقبلاً لإطلاق واجهة برمجة تطبيقات (API) للشركات وتطبيق ويب للمستهلكين، ما قد يغير طريقة تعامل القطاعات مع المشكلات التي تتطلب دقة كمية عالية.