آیا هوش مصنوعی میتواند مشخصات دقیق سیستمهای توزیعشده را بدون خطا بنویسد؟ محققان بهتازگی مدل جدیدی به نام TLA-Prover معرفی کردهاند که با ۲۰ میلیارد پارامتر، توانایی تولید و تأیید مشخصات TLA+ را دارد.
نکته جذاب اینجاست که این مدل بهجای تکیه بر آموزشهای ساده، از روش «بهینهسازی ترجیحی» (GRPO) استفاده میکند تا خودش خطاهای احتمالیاش را شناسایی و اصلاح کند. نتیجه؟ جهشی ۳.۵ برابری در دقت و صحت خروجیها در مقایسه با مدلهای مشابه! این ابزار گام بزرگی برای افزایش ضریب اطمینان در توسعه نرمافزارهای حساس و پروتکلهای امنیتی است.
منبع: arXiv AI