محاسبات علمی

شرکت DolphinDB با معرفی Starfish، فرآیند استخراج فرمول‌های ریاضی از مقالات PDF و تبدیل آن‌ها به کدهای اجرایی مالی را خودکار کرد. این سیستم با استفاده از یک حلقه اصلاحی، خطاها را…

پژوهشگران دانشگاه پرینستون با ترکیب یادگیری تقویتی و مدل‌های انتشار، طراحی مدارهای مجتمع فرکانس رادیویی (RFIC) را خودکار کردند. این دستاورد گلوگاه انسانی در تولید قطعات پرسرعت…

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

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

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

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

مؤسسه AI2 با معرفی پلتفرم OlmoEarth، گلوگاه‌های پردازشی داده‌های ماهواره‌ای را حذف کرد. این سامانه اکنون می‌تواند ده‌ها ترابایت تصویر ماهواره‌ای را با هزینه‌ای بسیار اندک و سرعتی…

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

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

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

انویدیا شبیه‌سازی Cosmos-H-Dreams را معرفی کرد که محیط‌های جراحی را با دقت فیزیکی و سرعت بالا بازسازی می‌کند. این سیستم با استفاده از تکنیک تقطیر مدل، امکان تمرین جراحی در زمان…

نسخه دوم FAIRChem با معرفی پتانسیل جهانی UMA، نیاز به مدل‌های مجزا برای هر دسته شیمیایی را از بین برد. اکنون یک مدل واحد می‌تواند هم‌زمان مولکول‌ها، کاتالیزورها و مواد معدنی را با…