دانشمندان هوش مصنوعی در جدیدترین مطالعه خود به سراغ چالش بزرگِ «اعتبارسنجی نرمافزار» رفتهاند. مدلهای زبانی فعلی در تولید کدهای قابلاطمینان و اثباتپذیر ضعف دارند، اما این مطالعه با استفاده از زبان صوری «Dafny» و روشهای جدید تقویت یادگیری (RL)، راهکاری ارائه داده که نیاز به نظارت انسانی را به شدت کاهش میدهد.
این یعنی در آینده نزدیک، مدلهای هوش مصنوعی میتوانند کدهایی تولید کنند که از نظر ریاضیاتی کاملاً دقیق و اثباتشده باشند، بدون اینکه نیاز به ساعتها وقتگرفتن از برنامهنویسان برای تأیید آنها باشد. این یک گام بزرگ به سوی توسعه نرمافزارهای خودکار و قابلاعتماد است! 🚀💻
نویسی
منبع: arXiv NLP