لیانسترال ۱.۵: فراوانی اثبات برای همه

شرح خبر

تیم لیانسترال در میسترال ای‌آی مدل جدید لیانسترال ۱.۵ را با مجوز آپاچی ۲.۰ و دارای ۶ میلیارد پارامتر فعال رونمایی کرد. این مدل ارتقای قابل توجهی در عملکرد تأیید رسمی ارائه می‌دهد و بنچمارک miniF2F را به طور کامل پوشش می‌دهد. لیانسترال ۱.۵ توانسته است ۵۸۷ مورد از ۶۷۲ مسئله PutnamBench را حل کند و به نتایج پیشتاز در بنچمارک‌های FATE-H (۸۷ درصد) و FATE-X (۳۴ درصد) دست یابد. این مدل از طریق آموزش میانی، تنظیم دقیق نظارت‌شده و یادگیری تقویتی با CISPO آموزش دیده و در مهندسی اثبات عامل‌محور و تأیید کدهای واقعی برتری دارد. لیانسترال ۱.۵ در آزمایش روی ۵۷ مخزن، ۵ باگ ناشناخته قبلی را کشف کرده است. این مدل به صورت کامل اوپنسورس بوده و از طریق Hugging Face و یک API رایگان در دسترس قرار دارد. میسترال ای‌آی مدل لیانسترال ۱.۵ را با ۶ میلیارد پارامتر فعال و مجوز آپاچی ۲.۰ معرفی کرد. این مدل در تأیید رسمی پیشرفت چشمگیری داشته و بنچمارک miniF2F را به طور کامل پوشش می‌دهد. لیانسترال ۱.۵ توانسته ۵۸۷ مورد از ۶۷۲ مسئله PutnamBench را حل کند و رکوردهای جدیدی در FATE-H (۸۷ درصد) و FATE-X (۳۴ درصد) ثبت نماید. این مدل از طریق آموزش میانی، تنظیم دقیق نظارت‌شده و یادگیری تقویتی با CISPO آموزش دیده است. لیانسترال ۱.۵ در آزمایش روی ۵۷ مخزن، ۵ باگ ناشناخته را کشف کرده و در مهندسی اثبات عامل‌محور و تأیید کدهای واقعی برتری دارد. این مدل به صورت اوپنسورس و از طریق Hugging Face و API رایگان در دسترس است. لیانسترال ۱.۵ گامی بزرگ در حوزه تأیید رسمی و مهندسی اثبات محسوب می‌شود. این مدل با توانایی حل مسائل پیچیده ریاضی و کشف باگ‌های ناشناخته، نشان می‌دهد که روش‌های رسمی می‌توانند هم مؤثر و هم عملی باشند. دسترسی آزاد و رایگان به این مدل، امکان استفاده گسترده‌تر از ابزارهای تأیید رسمی را برای توسعه‌دهندگان و پژوهشگران فراهم می‌کند. رونمایی از لیانسترال ۱.۵ می‌تواند تأثیر قابل توجهی بر صنعت نرم‌افزار داشته باشد، به ویژه در زمینه‌های امنیتی و تأیید کد. شرکت‌ها می‌توانند از این مدل برای بهبود کیفیت کدها و کاهش خطاهای نرم‌افزاری استفاده کنند. همچنین، دسترسی آزاد به این مدل می‌تواند رقابت در حوزه هوش مصنوعی را افزایش دهد. دسترسی به ابزارهای پیشرفته تأیید رسمی مانند لیانسترال ۱.۵ می‌تواند برای توسعه‌دهندگان و پژوهشگران ایرانی مفید باشد. این مدل می‌تواند در پروژه‌های تحقیقاتی و صنعتی مورد استفاده قرار گیرد و به بهبود کیفیت نرم‌افزارهای تولیدی در ایران کمک کند. لیانسترال ۱.۵ با توانایی کشف باگ‌های ناشناخته و تأیید کدهای پیچیده، می‌تواند در حوزه حقوقی و فنی تأثیرگذار باشد. این مدل می‌تواند به عنوان ابزاری برای بررسی و تأیید قراردادهای هوشمند و کدهای حقوقی مورد استفاده قرار گیرد. چند ملیتی فنی و تخصصی میسترال ای‌آی مدل لیانسترال ۱.۵ را با ۶ میلیارد پارامتر فعال معرفی کرد. این مدل در بنچمارک‌های مختلف رکوردهای جدیدی ثبت کرده و توانایی کشف باگ‌های ناشناخته را دارد.

این صفحه خلاصه و تحلیل فارسی خبر را نمایش می‌دهد. نسخه کامل/اصلی از طریق لینک منبع در دسترس است.