اوپن‌سورس
ما هر روز صدها خبر را می‌خوانیم. اینجا فقط مهم‌ترین‌ها هستند — کوتاه، با کلمه‌های خودمان، با لینک به منبع اصلی.
۱ خبر
- هوش مصنوعی · برنامه‌نویسی و ابزار توسعه · اوپن‌سورس · معرفی مدل‌های هوش مصنوعی
کلود به‌طور خودکار صحت کد را اثبات می‌کند
آنتروپیک از کلود خواست برای ۱۲۳ کتابخانه متن‌باز، حدود ۱۸۰ میلیون خط کد اثبات ریاضی تولید کند تا صحت کد را تأیید کند. این مدل در این فرآیند اشکالاتی را یافت که سال‌ها آزمایش متوجه آن‌ها نشده بود.
خبر کامل در The Decoder ↗
متن‌های کوتاه را یک هوش مصنوعی از خبرهای منبع می‌نویسد.
رایگان با ایمیل
موضوع‌هایتان را انتخاب کنید. فقط مهم‌ترین خبرهای همان موضوع‌ها را می‌گیرید.