موضوع
۳۰۷ مقاله منتشر شده
استارتاپ Vivodyne با ساخت بزرگترین مرکز داده انسانی، قصد دارد دادههای علّی بافتهای انسان را جایگزین آزمایشهای نامطمئن حیوانی کند. هدف این شرکت جلوگیری از شکست داروهایی است که…
پروژهای متنباز با استفاده از دادههای اتصالات عصبی FlyWire، مگسی سهبعدی را به دسکتاپ macOS آورد که بهجای انیمیشنهای برنامهریزیشده، بر اساس شبیهسازی زندهٔ نورونهای مغز مگس…
هوش مصنوعی با بهینهسازی سختافزار و الگوریتمهای کوانتومی، زمان رسیدن به «روز کوانتومی» را تسریع کرده است. در حالی که استانداردهای دفاعی در حال شکلگیری هستند، سرعت مهاجرت…
بایتدنس و دانشگاه تسینگهوا سیستمی عاملمحور بر پایه یادگیری تقویتی توسعه دادهاند که کدنویسی کرنلهای GPU را سریعتر از کامپایلرهای استاندارد انجام میدهد. این سیستم در ۲۵۰…
سامانه AxiomProver موفق شد یکی از پیچیدهترین نتایج نظریه اعداد را بهصورت رسمی و ماشینخوان بازسازی کند. این دستاورد نشاندهنده گذار هوش مصنوعی از حل مسائل کوتاه مسابقاتی به…
نسخه ۲.۰ داکدیبی با نام رمز Cyanoptera، این ابزار را از یک پایگاهداده داخلی به یک سامانه کامل کلاینت/سرور تبدیل میکند. این بهروزرسانی شامل پارسر جدید SQL، ورودی/خروجی ناهمگام…
ابزار MathCode با تبدیل زبان طبیعی به قضایای رسمی Lean 4، فاصله میان تفکر شهودی ریاضی و تایید ماشین را پر میکند. این عامل ترمینالمحور با استفاده از یک REPL پایدار و گراف دانش،…
پژوهشگران دیپمایند و ریاضیدانان برجسته معتقدند مدلهای زبانی تنها در ترکیب روشهای موجود مهارت دارند. این مدلها قادر به خلق انتزاعهای بنیادینی نیستند که برای پیشرفتهای بزرگ…
فلسفه جدید «کدنویسی صنعتگرانه» پیشنهاد میکند برنامهنویسان تمام خطوط کد را دستی بنویسند و از هوش مصنوعی تنها بهعنوان یک بازبین فوقبشری استفاده کنند. این رویکرد برای جلوگیری از…
یک معماری جدید در انکولوژی دقیق با ترکیب شبکههای عصبی گراف احتمالی و شبیهسازی معکوس، پیشبینیهای درمانی را اعتبارسنجی میکند. این رویکرد با شناسایی تناقضات مکانیکی، مانع از…
تحلیلی فنی نشان میدهد سیمکشی مغز انسان پیچیدهتر از آن است که در ژنوم ذخیره شود. زیستشناسی برای ساخت شبکههای عصبی عظیم از یک سیستم مقیاسپذیر از مختصات سلسلهمراتبی و قوانین…
یک توسعهدهنده با استفاده از مدل Codex و یک چرخه پژوهشی خودکار، سرعت اجرای هستههای تجزیه QR را ۲۳۲ برابر نسبت به خطمبنای PyTorch افزایش داد. این دستاورد نشان میدهد که تبدیل…