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