GPT-5.6 Sol Ultra معمای ۵۰ ساله ریاضی را در یک ساعت حل کرد
مدل جدید OpenAI با تکیه بر استمرار محاسباتی و یک چارچوب سخت‌گیرانه، حدس قدیمی نظریه گراف را اثبات کرد. این موفقیت بیش از آنکه حاصل تئوری‌های جدید باشد، نتیجه‌ی حذف سوگیری‌های…
۴ دقیقه خواندن
موضوع
محاسبات علمی
۳۵۸ مقاله منتشر شده
آیا مدل‌های سلسله‌مراتبی می‌توانند گلوگاه انتقال مواد به صنعت را برطرف کنند؟
استارتاپ Atomscale با استفاده از یک سلسله‌مراتب مدل‌های هوش مصنوعی مبتنی بر فیزیک، گلوگاه انتقال مواد از آزمایشگاه به تولید صنعتی را برطرف کرده است. این سامانه در تحلیل داده‌های…
۶ دقیقه خواندن
«عملیات غیرقانونی غیرممکن است»؛ رویکرد جدید wyrm-math در جبر نمادین
کتابخانه‌ی wyrm-math با استفاده از قوانین بازنویسی، محیطی می‌سازد که در آن عملیات ریاضی غیرقانونی به‌صورت ساختاری غیرممکن است. این ابزار مخصوص توسعه‌دهندگانی است که می‌خواهند…
۴ دقیقه خواندن۱
مدیریت حافظه ایمن در برابر اشاره‌گرهای خطرناک در معماری Cpp2Rust
ابزار جدید Cpp2Rust با استفاده از تحلیل ساختاری کد، فرآیند دشوار تبدیل دستی C++ به Rust را حذف می‌کند. این سامانه با جایگزینی اشاره‌گرهای خطرناک با مدل‌های مدیریت حافظه ایمن،…
۲ دقیقه خواندن۲
توان عملیاتی Runloom در پایتون ۳.۱۳ با زبان Go برابری کرد
پلتفرم Runloom با معرفی کوروتین‌های مدل Go برای پایتون بدون GIL، امکان اجرای میلیون‌ها تسک هم‌زمان بر روی تمام هسته‌های CPU را فراهم کرد. بنچمارک‌ها نشان می‌دهند این سیستم در نرخ…
۴ دقیقه خواندن
گوگل با مدل SensorFM یک تریلیون دقیقه دادهٔ سلامت پوشیدنی را تحلیل کرد
گوگل مدل بنیادی SensorFM را برای تحلیل داده‌های حسگرهای پوشیدنی معرفی کرد که بر روی یک تریلیون دقیقه داده آموزش دیده است. این مدل در ۳۱ مورد از ۳۵ تکلیف بالینی، از جمله تشخیص…
۶ دقیقه خواندن۲
بک‌اندهای SDPA در PyTorch؛ تفاوت عملکردی FlashAttention در برابر cuDNN و Math
انتخاب نادرست بک‌اند در مکانیزم توجه PyTorch می‌تواند سرعت استنتاج را تا ۳.۷ برابر کاهش دهد. این تحلیل نشان می‌دهد چگونه هسته‌های ادغام‌شده مانند FlashAttention با کاهش انتقال…
۱۷ دقیقه خواندن۱
نسبت ۱۴/۵: مدل GPT-5.6 یک حدس ریاضی سه ساله را رد کرد
بارتوش ناسکرکی، ریاضی‌دان محاسباتی، با کمک GPT-5.6 توانست یک مسئله قدیمی در هندسه جبری را با یافتن یک مثال نقض حل کند. این موفقیت، انتقال هوش مصنوعی از یک ابزار محاسباتی ساده به…
۴ دقیقه خواندن۳
AWS دسترسی به ۱۷۰ مجموعه دادهٔ عمومی را برای عامل‌های هوش مصنوعی باز کرد
آمازون (AWS) با عرضه یک سرور مبتنی بر پروتکل MCP، امکان جست‌وجوی داده‌های علمی و اقلیمی را برای عامل‌های هوش مصنوعی فراهم کرد. این اقدام اصطکاک در بازیابی داده‌ها را حذف کرده و…
۲ دقیقه خواندن
درون مکانیسم رد درخواست‌های پیچیده در مدل Fable آنتروپیک
یک پژوهشگر ارشد گزارش داده است که مدل Fable متعلق به آنتروپیک به‌دلیل کالیبراسیون بیش‌ازحد لایه‌های ایمنی، درخواست‌های تخصصی در علوم کامپیوتر و بیوانفورماتیک را به‌اشتباه رد…
۱۱ دقیقه خواندن
MOCA در برابر متدهای سنتی؛ سرعت‌بخشی ۲۰ برابری در انطباق کاوشگرها
سیستم جدید MOCA به کاوشگرهای سیاره‌ای اجازه می‌دهد بدون فراموش کردن پروتکل‌های ایمنی، ویژگی‌های زمین‌شناختی جدید را در لحظه یاد بگیرند. این متد زمان انطباق سخت‌افزاری را در…
۹ دقیقه خواندن
رانتایم l: افزایش ۳.۵۷ برابری سرعت پردازش با اجرای مستقیم روی بایت‌ها
رانتایم جدید l با اجرای دستورات مستقیماً روی بایت‌های فشرده، گلوگاه پهنای باند حافظه را حذف کرده است. این رویکرد نیاز به رمزگشایی آرایه‌ها را از بین می‌برد و سرعت اجرای کوئری‌ها…
۲ دقیقه خواندن۲