محققان در یک آزمایش جذاب، قدرت «Claude» را در حل مسائل کلاسیک برنامهنویسی پرولوگ (P-99) محک زدند. نکته جالب اینجاست که آنها فقط به تولید کد توسط هوش مصنوعی اکتفا نکردند؛ بلکه با استفاده از ابزار LPTP، بهصورت خودکار درستی کدها، پایانپذیری و حتی منطق آنها را اثبات کردند.
این تحقیق نشان میدهد که دنیای «Vibe-coding» (کدنویسی بر اساس شهود مدل) در حال پیوند خوردن با «Vericoding» (کدنویسی تاییدشده و دقیق) است تا هوش مصنوعی نه تنها سریعتر کد بزند، بلکه کدهای خروجیاش از نظر منطقی کاملاً قابل اعتماد باشد. آیندهای که در آن هوش مصنوعی خودش کد مینویسد و خودش هم آن را اثبات میکند، دیگر دور از انتظار نیست! 🧬💻
منبع: arXiv AI