شکاف محاسباتی؛ پژوهشگران دانشگاهی در برابر حصار مدل‌های بسته
پژوهشگران هوش مصنوعی در دانشگاه‌ها به‌دلیل هزینه‌های سرسام‌آور سخت‌افزاری و بسته بودن مدل‌های پیشرو، دسترسی خود به لبهٔ تکنولوژی را از دست داده‌اند. این وضعیت منجر به چرخش…
۴ دقیقه خواندن۱
موضوع
محاسبات علمی
۳۵۸ مقاله منتشر شده
VectorWare کد SIMD زبان Rust را مستقیماً روی GPU اجرا کرد
پروژه VectorWare با پیاده‌سازی قابلیت SIMD قابل‌حمل Rust روی سخت‌افزار GPU، نیاز به نوشتن کدهای اختصاصی برای هر معماری را از بین برد. این دستاورد اجازه می‌دهد یک کد با کارایی…
۹ دقیقه خواندن
مدل Claude: افزایش کران پایین تابع زتای ریمان به ۶۷.۲٪
یک نسخه پژوهشی از مدل Claude موفق شد یکی از قدیمی‌ترین مسائل نظری عدد را با افزایش کران پایین تابع زتای ریمان از ۴۱.۶٪ به ۶۷.۲٪ به پیش ببرد. این مدل هرچند فرضیه ریمان را به‌طور…
۵ دقیقه خواندن۱
چگونه GRAIL بدون مدل‌های عصبی به دقت ۹۰٪ در تشخیص دست‌خط رسید؟
بررسی سامانه GRAIL متعلق به شرکت RAND نشان می‌دهد که در دهه ۶۰ میلادی، بدون استفاده از شبکه‌های عصبی، به دقت ۹۰ درصدی در تشخیص دست‌خط دست یافته‌اند. این سیستم با تکیه بر هندسه و…
۲۴ دقیقه خواندن۱
استارتاپ Discovered Materials با عامل‌های AI به جنگ گرمای تراشه‌ها رفت
استارتاپ Discovered Materials با ترکیب مدل‌های فیزیک و دسته‌هایی از عامل‌های هوش مصنوعی، به دنبال یافتن موادی برای کاهش گرمای نیمه‌هادی‌ها است. این شرکت ۹ میلیون دلار سرمایه برای…
۴ دقیقه خواندن۲
«Deep Think»؛ رویکرد جدید گوگل برای حل پیچیده‌ترین مسائل برنامه‌نویسی
گوگل حالت استدلال کند Gemini Deep Think را برای حل مسائل پیچیده علمی و ریاضی عرضه کرد. این قابلیت با اولویت دادن به دقت بر سرعت، توانسته است در آزمون‌های سخت ریاضیات و…
۶ دقیقه خواندن۲
مدل WeatherNext گوگل خطای پیش‌بینی مسیر طوفان‌ها را به ۲۳۰ کیلومتر رساند
مدل جدید گوگل دیپ‌مایند با نام WeatherNext Cyclones، مسیر و شدت طوفان‌ها را به‌طور همزمان و با دقتی بی‌سابقه پیش‌بینی می‌کند. این سیستم با کاهش خطای مکانی، یک روز زمان هشدار…
۵ دقیقه خواندن
TheoremDB: تبدیل تلاش‌های شکست‌خورده به پایگاه دادهٔ اثبات‌های تأییدشده
پلتفرم TheoremDB با ایجاد یک فضای کاری مشترک، از تکرار تلاش‌های شکست‌خورده توسط عامل‌های هوش مصنوعی در ریاضیات جلوگیری می‌کند. این سامانه نتایج را به اثبات‌های تأییدشده در Lean…
۱۷ دقیقه خواندن
پیاده‌سازی هسته‌های CUDA و ROCm برای ساخت آموزش‌دهنده مدل‌های زبانی
یک راهنمای فنی عمیق، نحوه پیاده‌سازی پس‌انتشار، بهینه‌ساز AdamW و آموزش با دقت ترکیبی را با استفاده از HIP/C++ شرح می‌دهد. این مستند ابزارهای سطح پایین GPU را برای عبور از…
۸ دقیقه خواندن
Backflip AI اسکن‌های سه‌بعدی را در چند دقیقه به مدل‌های CAD تبدیل می‌کند
استارتاپ Backflip AI مدلی را عرضه کرده است که فایل‌های مش و اسکن‌های سه‌بعدی را به مدل‌های پارامتریک CAD تبدیل می‌کند. این ابزار فرآیند تبدیل دستی که ساعت‌ها زمان می‌برد را به چند…
۱ دقیقه خواندن۱
کتابخانه Reflex XY رندرینگ میلیون‌ها نقطه داده را در پایتون ممکن کرد
کتابخانه Reflex XY با ترکیب موتور رندرینگ Rust و رابط‌های پایتون، امکان بصری‌سازی تعاملی میلیون‌ها نقطه داده را بدون کرش کردن مرورگر فراهم می‌کند. این ابزار با استفاده از سیستم…
۶ دقیقه خواندن
mcpp: ابزار ساخت پروژه C++23 با مدیریت خودکار زنجیره ابزار
ابزار mcpp با استفاده از ماژول‌های C++23، فرآیند مدیریت وابستگی‌ها و نصب کامپایلر را کاملاً خودکار می‌کند. این سیستم با ایزوله‌سازی GCC 16 و LLVM 20 در محیط‌های سندباکس، نیاز به…
۹ دقیقه خواندن۱