موضوع
۳۵۸ مقاله منتشر شده
یک چارچوب فنی جدید با استفاده از شبیه‌سازی معکوس، صحت فیزیکی سناریوهای اقلیمی تولیدشده توسط هوش مصنوعی را تأیید می‌کند. این روش با اجرای مدل به صورت رو به عقب، تضمین می‌کند که…
یک حفره امنیتی در هسته Lean باعث شد اثباتی نادرست برای حدس کولاتز پذیرفته شود. این اتفاق نتیجه هم‌زمانی دو باگ مجزا در هسته رسمی و یک بررسی‌کننده مستقل بود.
مدل‌های جدید OpenAI با نام Astra توانستند ۱۰ مسئله پیچیده ریاضی و علوم کامپیوتر را که بیش از یک دهه حل‌نشده مانده بودند، گره‌گشایی کنند. این دستاورد نشان‌دهنده تغییر استراتژی…
پژوهشگران معتقدند مدل‌های استدلالی بزرگ (LRM) به‌جای تفکر واقعی، از میان‌برهای سطحی و بازیابی تقریبی برای تقلید از استدلال استفاده می‌کنند. شواهد نشان می‌دهد که «زنجیره‌های تفکر»…
یک توسعه‌دهنده با جایگزینی کتابخانه‌های استاندارد با کرنل‌های اختصاصی WebGPU که توسط هوش مصنوعی تولید شده‌اند، یک حل‌کننده (Solver) پوکر با کارایی بالا در مرورگر ساخت. این دستاورد…
اندرو هو، پژوهشگر سابق OpenAI، معتقد است مقیاس‌پذیری مدل‌ها دیگر کافی نیست و صنعت باید ۱۰۰ میلیارد دلار روی داده‌های باکیفیت و زمینه‌ای سرمایه‌گذاری کند. او هشدار می‌دهد که…
یک مهندس نرم‌افزار با طراحی خط‌لولهٔ عامل‌محور و پیاده‌سازی سیستم‌های تأیید قطعی، سرعت تولید ابزار در GenePattern را ۵ برابر کرد. این دستاورد ثابت می‌کند که ساختار مهندسی پیرامون…
پژوهش‌های جدید نشان می‌دهد مدل‌های زبانی به‌دلیل فقدان «استنتاج ابداعی»، قادر به خلق چارچوب‌های نظری جدید نیستند. تنها مدل‌های جهانی (World Models) که بر پایه تجربه فیزیکی بنا…
یک دکامپایلر آزمایشی به نام Kuna که تقریباً تماماً توسط هوش مصنوعی نوشته شده، در ساختار جریان کنترل با استاندارد صنعتی IDA Pro برابری می‌کند. این پروژه از چرخه «بهبود خودکار» برای…
تغییری بنیادین در معماری هوش مصنوعی، «حدس زدن» را با استدلال آگاهانه جایگزین کرد. مدل‌های جدید سال ۲۰۲۶ با ترکیب شبکه‌های عصبی و منطق نمادین، مسائل ریاضی سطح مسابقات و علوم دکتری…
شرکت ChipAgents برای تبدیل دستیار‌های کدنویسی به عامل‌های خودمختار در طراحی نیمه‌هادی‌ها، ۱۳۴ میلیون دلار جذب سرمایه کرد. این پلتفرم به‌جای پیشنهاد کد، وظایف پیچیدهٔ تأیید…
گوگل دیپ‌مایند تیم اختصاصی AlphaFold را متلاشی کرده و پژوهشگران آن را به پروژه‌های مبتنی بر Gemini منتقل یا به رقیبانی چون Anthropic واگذار کرده است. این چرخش راهبردی، گذار از…