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

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

تمت دراسة الترجمة عبر رسم بياني، حيث تواجد العديد من اللغات وقليل من أهداف التفكير، مع طرق مستقلة تم بناؤها بطرق مختلفة من حيث الموثوقية. وقد أعد فريق البحث حسابات معقدة للأزواج من اللغات القريبة ذات المربعات التبادلية الاتجاهية، التي تتيح التحقق من كل برنامج.

عبر تكنولوجيا مُعَقدة، تقوم الفكرة على ترتيب ثقة بأن الإجابات حاملة الشهادات هي ذاتية الشهادة عند عودتها إلى المصدر، بينما تعتمد الإجابات العالمية على درجات معينة، فروع مستقلة، وشهادات تم التحقق منها، مما يسهم في تحديد تكلفتها.

تستند النواة التركيبية، بما في ذلك التلسكوب الواسع، إلى آليات متقدمة تم تنفيذها في لغة Lean 4. حيث ينقسم النظام إلى طائرتين: واحدة تتحقق من البيانات وتنتج إجابات حاملة للأدلة، بينما تشير الطائرة الأخرى إلى كيفية تطوير الرسم البياني.

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