كود كلود: اختراق غير متوقع في إثبات النظريات التفاعلي بمساعدة الذكاء الاصطناعي

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