موضوع
۳۰۷ مقاله منتشر شده
چارچوب جدید PADM با پیوند زدن هوش مصنوعی زاینده به مکانیک مداری، پاسخهای عملیاتی ماهوارهها را در زمانهای بحرانی اتوماتیک میکند. این سیستم با جایگزینی الگوهای آماری با قوانین…
گزارش میدانی جدید OpenAI نشان میدهد که عاملهای هوش مصنوعی در حال خودکارسازی نگهداری، مهاجرت و بهینهسازی نرمافزارهای علمی هستند. این تغییر، نقش پژوهشگران را از کدنویسی دستی به…
پژوهشگران آنتروپیک با استفاده از مدل Claude Mythos Preview توانستند نقصهای ریاضی بنیادین در الگوریتمهای رمزنگاری، از جمله طرح HAWK را کشف کنند. این دستاورد نشاندهنده انتقال هوش…
مؤسسه AI2 با معرفی پلتفرم OlmoEarth، گلوگاههای پردازشی دادههای ماهوارهای را حذف کرد. این سامانه اکنون میتواند دهها ترابایت تصویر ماهوارهای را با هزینهای بسیار اندک و سرعتی…
یک گردشکار جدید در تصویرسازی علمی، مدلهای هوش مصنوعی را از تولید مستقیم تصویر به مدل «ابتدا مشخصات» منتقل کرده است. این سیستم با اجبار مدل به تعریف توپولوژی و شواهد پیش از…
کشفهای ریاضی با کمک هوش مصنوعی در حال ترک مجلات آکادمیک و مهاجرت به وبلاگها و شبکههای اجتماعی هستند. متخصصان معتقدند سیستمهای داوری سنتی برای همگام شدن با سرعت نوآوریهای…
یک هسته محاسباتی برای تقاطع مشهای سهبعدی با استفاده از Lean 4 پیادهسازی شده است که صحت آن را بدون نیاز به اعتماد به کد تولید شده توسط AI تضمین میکند. در این رویکرد، بازبین…
انویدیا شبیهسازی Cosmos-H-Dreams را معرفی کرد که محیطهای جراحی را با دقت فیزیکی و سرعت بالا بازسازی میکند. این سیستم با استفاده از تکنیک تقطیر مدل، امکان تمرین جراحی در زمان…
نسخه دوم FAIRChem با معرفی پتانسیل جهانی UMA، نیاز به مدلهای مجزا برای هر دسته شیمیایی را از بین برد. اکنون یک مدل واحد میتواند همزمان مولکولها، کاتالیزورها و مواد معدنی را با…
پلتفرم TileLang با ارائه یک زبان تخصصی (DSL) در پایتون، امکان طراحی کرنلهای پیچیده GPU مانند FlashAttention را بدون نیاز به مدیریت دستی حافظه CUDA فراهم میکند. این ابزار با اتکا…
یک ریاضیدان هشدار میدهد که توانایی مدلهای زبانی در حل حدسهای دیرینه، تجربه «مقدس» کشف انسانی را از بین میبرد. این رویکرد ادعا میکند که AI اگرچه اثباتهای ظریفی تولید میکند،…
پژوهشگران دانشگاه کمبریج ابزاری به نام WriteBrain توسعه دادهاند که با تحلیل الگوهای دستخط، نشانههای اولیه اختلالات عصبی را شناسایی میکند. این سیستم از یادگیری ماشین برای ارائه…