استدلال

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

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

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

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

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

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

یک اسکنر جدید به مهندسان اجازه می‌دهد بدون دسترسی به وزن‌های داخلی، رفتار مدل‌های زبانی را از طریق مقایسه پاسخ‌های پایه با تغییرات متضاد تحلیل کنند. این گردش‌کار با استفاده از…

یک گردش‌کار فنی جدید امکان اجرای مدل بسیار فشرده Bonsai-27B را روی سخت‌افزارهای معمولی فراهم کرد. کاربران با استفاده از نسخه اختصاصی PrismML از llama.cpp می‌توانند این مدل ۱-بیتی…

یک ابزار متن‌باز جدید با ایجاد یک تورنمنت رقابتی بین مدل‌های هوش مصنوعی، آن‌ها را مجبور می‌کند تا کدهای یکدیگر را نقد کنند. این سیستم با پنهان کردن امتیازها و شرطی کردن مراحل بر…

بنچمارک جدید Mininglamp نشان می‌دهد مدل‌های فعلی تنها در ۲۰٪ موارد موفق به تکمیل کامل وظایف در وب زنده می‌شوند. این فاصله عمیق بین «ناوبری ساده» و «اتمام عملیات»، چالش اصلی مسیر…

مدل Kimi K3 محصول Moonshot AI اولین مدل با وزن‌های باز در کلاس ۳ تریلیون پارامتر است که اکنون از طریق API شرکت Telnyx در دسترس است. این مدل با پنجره متنی ۱ میلیون توکنی، رقیبی جدی…

مایکروسافت مدل تخصصی MAI-Cyber-1-Flash را معرفی کرد که در محک CyberGym از مدل‌های گوگل و OpenAI پیشی گرفته است. این مدل با مدیریت ۹۰ درصد وظایف امنیتی، هزینه‌های عملیاتی را تا ۵۰…