تضيف Amazon Web Services ميزة إلى أداة التشفير Kiro AI الخاصة بها والمصممة لإثبات رياضيًا أن متطلبات البرامج خالية من التناقضات والثغرات قبل كتابة أي رمز، مما يعالج أحد المخاطر الرئيسية لتطوير البرامج بمساعدة الذكاء الاصطناعي.
تم تصميم ميزة تسمى تحليل المتطلبات لاكتشاف الأخطاء التي غالبًا ما يكون من الصعب تحديدها والأكثر تكلفة لإصلاحها – المشكلات التي لا تبدأ في الكود الناتج ولكن في المتطلبات الأولية التي تحدد ما يجب أن يفعله البرنامج.
ويأتي هذا الإعلان صباح الثلاثاء بعد ثلاثة أشهر من نفي أمازون علنًا لتقرير لصحيفة فاينانشيال تايمز يفيد بأن أدوات ترميز الذكاء الاصطناعي الخاصة بها ساهمت في انقطاع خدمة AWS، وهي حلقة سلطت الضوء على مخاطر منح عملاء الذكاء الاصطناعي قدرًا كبيرًا من الاستقلالية في تطوير البرمجيات.
ويأتي هذا أيضًا بعد يوم واحد من تعيين AWS لمدير تنفيذي سابق في Microsoft شون بيس العودة إلى أمازون في منصب نائب رئيس خدمات الذكاء الاصطناعي، وقيادة مجموعة الاستدلال الآلي، وهو الفريق الذي يقف وراء الميزة الجديدة. سيقدم بايس تقاريره إلى سوامي سيفاسوبرامانيام، نائب رئيس أمازون للذكاء الاصطناعي الوكيل.
يجمع تحليل المتطلبات بين نماذج اللغة الكبيرة ومحرك منطقي آلي يسمى SMT حلالا. LLM يترجم متطلبات اللغة الطبيعية إلى منطق رسمي.
يقوم الحل بعد ذلك بالتحقق من هذه المتطلبات من خلال إثبات ما إذا كانت تتعارض مع بعضها البعض أو تترك فجوات يمكن ملؤها عن طريق الخطأ بواسطة أدوات ترميز الذكاء الاصطناعي – وهي مشكلة شائعة لأن الذكاء الاصطناعي ينشئ البرامج بشكل أسرع مما يستطيع المطورون مراجعته.
وكتب علماء السلوك في AWS: “تولد كل إشارة غامضة مواصفات أو خطة غامضة، ويقوم وكيل الذكاء الاصطناعي الذي ينفذ تلك المواصفات بإنتاج كود مليء بقرارات غير معروفة تم اتخاذها نيابة عنك، دون وعيك أو موافقتك”. مشاركة مدونة مع الأخبار.
يتنافس Kiro في سوق مزدحم وسريع النمو لأدوات ترميز الذكاء الاصطناعي التي تشمل Cursor وGitHub Copilot وAnthropic’s Cloud Code وGoogle’s AntiGravity وOpenAI’s Codex.
في حين أن هذه الأدوات تجمع بشكل متزايد بين إنشاء التعليمات البرمجية بالإضافة إلى التخطيط وسير عمل الوكيل، فقد قامت Kiro ببناء هويتها حول نهج المواصفات أولاً والذي يتطلب من المطورين إضفاء الطابع الرسمي على نواياهم قبل البدء في بناء الذكاء الاصطناعي.
أوس أيضا أعلن تم تصميم ميزتين أخريين من Kiro لتسريع عملية التطوير.
- وفقًا للشركة، يؤدي تنفيذ المهام المتوازية إلى تشغيل مهام ترميز مستقلة بشكل متزامن وليس تسلسليًا، مما يقلل وقت التنفيذ بحوالي 75 بالمائة للمشاريع الكبيرة.
- تقول AWS إن وضع التخطيط المتسارع الجديد يتيح للمطورين تخطي عملية الموافقة خطوة بخطوة للميزات المفهومة جيدًا، مما يؤدي إلى إنشاء المجموعة الكاملة من المتطلبات والتصميم والوظائف دفعة واحدة.
أولاً: نجاح أمازون المستقل المفاجئ: تم إطلاق Kiro على نطاق واسع لإعادة تشكيل تطوير البرامج التي تعمل بالذكاء الاصطناعي
