اجرای مدل ۲.۸ تریلیون پارامتری Kimi K3 روی یک دستگاه مکبوک
پروژه Deltafin با استفاده از استریم کردن وزنها از دیسک، اجرای مدل عظیم Kimi K3 را روی مکهای اپل ممکن کرد. این دستاورد نشان میدهد که گلوگاه اجرای مدلهای غولپیکر از ظرفیت رم به…
موضوع
Chain-of-thought, reasoning models (o-series, R-series), test-time compute
۱٬۷۸۹ مقاله منتشر شده
پروژه Deltafin با استفاده از استریم کردن وزنها از دیسک، اجرای مدل عظیم Kimi K3 را روی مکهای اپل ممکن کرد. این دستاورد نشان میدهد که گلوگاه اجرای مدلهای غولپیکر از ظرفیت رم به…

OpenAI ابزار متنباز Codex Security را برای شناسایی و رفع خودکار آسیبپذیریهای امنیتی در کدهای خصوصی منتشر کرد. این ابزار با استفاده از مدلهای استدلالی پیشرفته، فرآیند ممیزی…

رابط برنامهنویسی (API) مدل کلود اکنون به توسعهدهندگان اجازه میدهد تا منطقهای شکننده if/else را با استدلالهای هوش مصنوعی جایگزین کنند. این رویکرد با بهرهگیری از درک متنی…

پژوهشگران آنتروپیک با استفاده از مدل Claude Mythos Preview توانستند نقصهای ریاضی بنیادین در الگوریتمهای رمزنگاری، از جمله طرح HAWK را کشف کنند. این دستاورد نشاندهنده انتقال هوش…

معماری جدید KDA با جایگزینی بهروزرسانیهای جمعی ساده با قانون دلتا و فراموشی کانالبهکانال، مشکل تداخل در حافظههای با اندازه ثابت را برطرف میکند. این رویکرد به مدلها اجازه…

سامانه NexaVerify با استفاده از اجماع چندمدلی، ۹۱ آسیبپذیری امنیتی را در ۱۲ ثانیه شناسایی کرد. این ابزار موفق شد یک کلید API حساس را در فایلهای مستنداتی بیابد که یک متخصص ارشد…

یک گردشکار جدید در تصویرسازی علمی، مدلهای هوش مصنوعی را از تولید مستقیم تصویر به مدل «ابتدا مشخصات» منتقل کرده است. این سیستم با اجبار مدل به تعریف توپولوژی و شواهد پیش از…

کشفهای ریاضی با کمک هوش مصنوعی در حال ترک مجلات آکادمیک و مهاجرت به وبلاگها و شبکههای اجتماعی هستند. متخصصان معتقدند سیستمهای داوری سنتی برای همگام شدن با سرعت نوآوریهای…

سیستم جدید TormentNexus با معرفی «حلقهٔ ترمیم»، امکان تشخیص، اصلاح و تأیید خودکار کدها را برای عاملهای هوش مصنوعی فراهم کرد. این معماری با استفاده از یک لایه حافظه مشترک، باعث…

ابزار جدید ctrlb-decompose میلیونها خط لاگ پراکنده را به چند الگوی ساختاری تبدیل میکند. این قابلیت به مدلهای زبانی اجازه میدهد بدون برخورد با محدودیت توکن یا پردازش نویزهای…

یک هسته محاسباتی برای تقاطع مشهای سهبعدی با استفاده از Lean 4 پیادهسازی شده است که صحت آن را بدون نیاز به اعتماد به کد تولید شده توسط AI تضمین میکند. در این رویکرد، بازبین…

شرکت Recursive Superintelligence برای توسعه سیستمهای خودبهبودبخش، ۴۱۰ میلیون دلار هزینه محاسباتی را به AWS پرداخت کرد. این توافق بر رشد خودکار عاملها بهجای افزایش تعداد کارکنان…