أعلنت شركة Harmonic، الناشئة في مجال الذكاء الاصطناعي التي شارك في تأسيسها الرئيس التنفيذي لمنصة روبن هود فلاد تينيف، عن إطلاق نسخة تجريبية من تطبيق دردشة جديد على منصتي iOS وAndroid. يتيح هذا التطبيق للمستخدمين الوصول إلى نموذج الذكاء الاصطناعي المملوك للشركة والمسمى Aristotle، والذي تدعي الشركة أنه يقدم إجابات دقيقة وخالية من الهلوسة في المسائل التي تتطلب استدلالًا رياضيًا.

يمثل هذا الإعلان أول خطوة عملية نحو توفير نموذج Aristotle للجمهور الواسع، ويأتي في وقت يتزايد فيه التركيز على تطوير نماذج قادرة على التعامل مع المنطق الكمي بدقة فائقة، وسط تحديات كبيرة في موثوقية النماذج الحالية المنتشرة.

رؤية طموحة نحو ذكاء رياضي فائق

تركز Harmonic على تطوير ما تطلق عليه اسم الذكاء الرياضي الفائق أو MSI، وهو نوع من الذكاء الاصطناعي قادر على أداء مهام معقدة في مجالات تعتمد كليًا على التفكير الكمي والمنطقي، مثل الرياضيات والفيزياء والإحصاء وعلوم الحاسوب.

يقول تيودور أتشيم، المدير التنفيذي للشركة وأحد مؤسسيها، إن Aristotle ليس مجرد مساعد رقمي، بل أول منتج متاح للعامة قادر على إجراء استدلالات رياضية دقيقة مع التحقق من صحة الإجابات بطريقة رسمية. ويوضح أن النموذج يعتمد على عملية تحقق حسابية خالية من تدخل الذكاء الاصطناعي، ما يعزز دقة المخرجات ويمنع ظهور الأخطاء التي تعرف باسم الهلوسات.

أداء أولمبياد الذهب في الحسابات الرياضية

يشير الفريق المطور في Harmonic إلى أن نموذج Aristotle حقق أداء بمستوى الميدالية الذهبية في اختبار رسمي يحاكي أولمبياد الرياضيات الدولية لعام 2025، وذلك من خلال تحويل الأسئلة إلى صيغ قابلة للمعالجة آليًا. يُذكر أن شركات مثل جوجل وOpenAI حققت نتائج مماثلة باستخدام اختبارات غير رسمية تعتمد على اللغة الطبيعية، بينما اختارت Harmonic مسارًا أكثر دقة من خلال اختبار قائم على صياغة رياضية قابلة للتحقق.

ورغم هذا الإنجاز، لم تكشف الشركة عن مزيد من المعايير أو اختبارات الأداء التي خضع لها Aristotle، ما يفتح الباب أمام مزيد من الترقب والاختبارات في المستقبل القريب.

اعتماد لغة Lean في توليد الأجوبة

يعتمد Aristotle على لغة Lean مفتوحة المصدر في توليد الأجوبة للمستخدمين، وهي لغة تُستخدم في الأوساط الأكاديمية والصناعية لأغراض الإثباتات الرياضية الرسمية. بعد أن يُنتج النموذج الإجابة، تُراجع النتيجة من خلال خوارزمية تحقق آلي غير مدعومة بالذكاء الاصطناعي، ما يضمن دقة عالية ويقلل من الأخطاء الشائعة التي تعاني منها النماذج الأخرى.

يشير أتشيم إلى أن هذا النوع من المراجعة يُستخدم في مجالات حساسة مثل الأجهزة الطبية والطيران، حيث لا مجال للأخطاء أو الانحرافات في المخرجات.

طموحات مستقبلية متزايدة

تخطط Harmonic لتوسيع نطاق وصول Aristotle من خلال إطلاق واجهة برمجية API مخصصة للمؤسسات، إلى جانب تطوير نسخة ويب للمستخدمين الأفراد. بهذا التوسع، تأمل الشركة في جعل نموذجها عنصرًا أساسيًا في أدوات التعليم، البحث العلمي، وحتى التطبيقات الصناعية التي تعتمد على الحسابات الدقيقة.

ويبدو أن الاستثمارات الضخمة التي حصلت عليها الشركة مؤخرًا تؤكد ثقة المستثمرين في هذا التوجه. فقد جمعت هارمونيك 100 مليون دولار في جولة تمويل من الفئة B، وبلغت قيمة الشركة السوقية نحو 875 مليون دولار، في إشارة إلى طموحات عالية تتجاوز مجرد تطوير تطبيق محادثة.

القضاء على الهلوسات في نماذج الذكاء الاصطناعي

يعاني معظم نماذج الذكاء الاصطناعي اليوم من ظاهرة الهلوسة، حيث تقدم إجابات غير صحيحة أو مختلقة، حتى في المجالات التي يُفترض أن تكون قابلة للتحقق مثل الرياضيات. وتعتبر Harmonic أن هذه المشكلة تمثل عقبة حقيقية أمام الاعتماد الواسع على الذكاء الاصطناعي في المهام الدقيقة.

لكن أتشيم يرى أن تحقيق الأداء الخالي من الهلوسة ممكن ضمن نطاق ضيق إذا تم اعتماد أساليب تحقق رسمية، وهو ما تسعى إليه الشركة من خلال نموذج Aristotle. ومع أن النموذج لا يزال في بداياته، إلا أن الاتجاه نحو «الذكاء الحسابي القابل للتحقق» قد يمثل تحولًا جذريًا في شكل الذكاء الاصطناعي وتطبيقاته.

ذكاء رياضي يقود المستقبل

مع دخول لاعبين جدد إلى ساحة الذكاء الاصطناعي، تبرز Harmonic كمثال على التحول من النماذج العامة إلى النماذج المتخصصة التي تتقن مجالات بعينها. وإذا نجحت الشركة في تقديم نموذج موثوق وخالٍ من الهلوسات في مجال الرياضيات، فقد يكون ذلك تمهيدًا لاستخدامات أكثر تقدمًا في العلوم والهندسة والقطاعات الصناعية.

وقد يكون Aristotle بداية عهد جديد من الذكاء الاصطناعي القائم على العقلانية والتحقق، وليس فقط على اللغة والاحتمالات.