شركة أكس��وم تجمع 200 مليون دولار لتطوير الذكاء الاصطناعي المُتحقق رسمياً
جمعت شركة أكسيوم 200 مليون دولار في جولة تمويل من فئة أ بتقييم 1.6 مليار دولار (بحسب المصدر). وبالتالي تهدف الشركة لتطوير ما تسميه “الذكاء الاصطناعي المُتحقق” الذي ينتج مخرجات قابلة للتحقق رسمياً. كما أن هذا الإنجاز يأتي بعد عام واحد فقط من تأسيسها.
ماذا حدث؟
قادت شركة مينلو فنتشرز جولة التمويل الضخمة لأكسيوم التي تضم حوالي 20 موظفاً فقط (بحسب المصدر). وتجدر الإشارة إلى أن الشركة تركز على بناء أنظمة ذكاء اصطناعي تنتج مخرجات مُتحقق منها رسمياً باستخدام لغة البرمجة لين. في المقابل، تتميز هذه الأنظمة بأن كل خطوة تفكير قابلة للفحص آلياً. بالإضافة إلى ذلك، يتم اكتشاف الأخطاء بشكل حتمي وليس إحصائي. وفضلاً عن ذلك، بدأت الشركة بالتدريب على البراهين الرياضية ثم نقلت هذه المهارة إلى التحقق من الأكواد البرمجية. يمكن متابعة المزيد من موقع أكسيوم الرسمي للتفاصيل التقنية.
السياق والمشهد الأشمل
يأتي هذا التطوير في وقت تتزايد فيه المخاوف حول موثوقية أنظمة الذكاء الاصطناعي التقليدية. ومع ذلك، تواجه الشركات التقنية الكبرى تحديات في ضمان دقة مخرجات نماذجها اللغوية. على سبيل المثال، تعاني أنظمة الذكاء الاصطناعي التوليدي من مشكلة “الهلوسة” حيث تنتج معلومات خاطئة أو مضللة. في حين أن أكسيوم تقترح نهجاً مختلفاً تماماً يعتمد على التحقق الرياضي الصارم. نتيجةً لذلك، قد تكون هذه التقنية ثورية في مجال تطوير البرمجيات والتحقق من صحة الأكواد.
لماذا يهم؟
يمكن لهذا النهج الجديد أن يغير قواعد اللعبة في صناعة البرمجيات والذكاء الاصطناعي. وبالتالي سيستفيد المطورون من أنظمة تضمن ص��ة الأكواد رياضياً قبل التنفيذ. كما أن الشركات ستحصل على مستوى ثقة أعلى في أنظمتها الذكية. في المقابل، قد تؤثر هذه التقنية على معايير السلامة في الصناعات الحساسة مثل الطيران والطب. وفضلاً عن ذلك، قد تساهم في حل مشكلة الثقة الأساسية في أنظمة الذكاء الاصطناعي الحالية.
ما التالي؟
من المتوقع أن تستخدم أكسيوم الأموال المجمعة لتوسيع فريقها وتطوير منتجاتها التجارية. وتجدر الإشارة إلى أن نجاح هذا النهج قد يلهم شركات أخرى لاعتماد تقنيات مشابهة. في حين أن التحدي الأكبر سيكون إثبات قابلية التطبيق على نطاق واسع. يمكن للمهتمين متابعة تطورات هذا المجال من خلال أخبار الذكاء الاصطناعي و النظام البيئي والفرص لفهم التأثيرات المستقبلية على الصناعة.
أبرز النقاط
- جمعت أكسي��م 200 مليون دولار لتطوير الذكاء الاصطناعي المُتحقق رسمياً
- التقنية تضمن دقة المخرجات رياضياً وتحل مشكلة “الهلوسة” في أنظمة الذكاء الاصطناعي
- قد تغير معايير السلامة والموثوقية في تطوير البرمجيات والصناعات الحساسة
