یکی از بزرگترین چالشهای هوش مصنوعی در کدنویسی، بحث «تضمین کیفیت» است. حالا محققان سیستم جدیدی به نام Formal Disco معرفی کردهاند که به جای نوشتن کدهای معمولی، روی تولید «برنامههای تایید شده» (Formally Verified) تمرکز دارد.
این سیستم با استفاده از یک شبکه توزیعشده از مدلهای زبانی، کدهای مختلف را در زبانهای تخصصی مانند Dafny و Verus بررسی، تصحیح و گسترش میدهد. با این نوآوری، مدلها میتوانند کدهایی بنویسند که از نظر منطقی کاملاً قابل اعتماد هستند. این گام بزرگی برای کاهش باگهای نرمافزاری در آینده است! 💻✨
منبع: arXiv AI