پرش به محتوای اصلی

موضوع

محاسبات علمی

۳۵۸ مقاله منتشر شده

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

چطور مدل‌های پیش‌بینی سیل روی سخت‌افزارهای کم‌مصرف اجرا شوند؟

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

۹ دقیقه خواندن۱
آنتروپیک: هر آزمایشگاهی می‌تواند عامل زبانی را برای طراحی پروتئین به کار گیرد

چرا نرخ موفقیت Claude در طراحی پروتئین از استانداردهای فعلی پیشی گرفت؟

آنتروپیک نشان داد که عامل‌های هوش مصنوعی می‌توانند کل زنجیره طراحی پروتئین را به‌صورت خودگردان مدیریت کنند. این مدل‌ها با نرخ موفقیت ۲۶.۸ درصدی، استانداردهای صنعتی (۱۰ تا ۱۵ درصد)…

۶ دقیقه خواندن۱
نمودار خطی ساده با عنوان «gralhix #004» که روند نزولی-صعودی را در محورهای خالی نشان می‌دهد.
آموزش کاربردی

استخراج مختصات جزیره‌ای ناشناخته با پردازش ۸۰ میلیون ترکیب هندسی در CUDA

یک توسعه‌دهنده با ساخت موتور جست‌وجوی هندسی سفارشی و پردازش ۸۰ میلیون ترکیب زمینی توسط GPU، موفق شد مکانی را پیدا کند که ابزارهای جست‌وجوی تصویری قادر به شناسایی آن نبودند. این…

۱۱ دقیقه خواندن
هوش مصنوعی هنوز به درمان سرطان نزدیک نیست. این استارتاپ می‌داند چه چیزی لازم است. | تک‌کرانچ

Vivodyne: جایگزینی مدل‌های حیوانی با بزرگ‌ترین مرکز داده انسانی

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

۵ دقیقه خواندن۳
مگس میوه سه‌بعدی روی دسکتاپ macOS با شبیه‌سازی زنده شبکه عصبی FlyWire
آموزش کاربردی

شبیه‌ساز DesktopFly مغز مگس سرکه را روی دسکتاپ مک پیاده کرد

پروژه‌ای متن‌باز با استفاده از داده‌های اتصالات عصبی FlyWire، مگسی سه‌بعدی را به دسکتاپ macOS آورد که به‌جای انیمیشن‌های برنامه‌ریزی‌شده، بر اساس شبیه‌سازی زندهٔ نورون‌های مغز مگس…

۴ دقیقه خواندن۱
هوش مصنوعی تهدید کوانتومی را تسریع می‌کند؛ دفاع هنوز مشکل هماهنگی دارد.

گوگل با هوش مصنوعی نیاز سخت‌افزاری برای شکست رمزنگاری را ۲۰ برابر کاهش داد

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

۵ دقیقه خواندن۱
سیستم یادگیری تقویتی عامل‌محور برای تولید هسته‌های CUDA

بایت‌دنس: سرعت کدنویسی کرنل‌های GPU بیش از ۲ برابر شد

بایت‌دنس و دانشگاه تسینگ‌هوا سیستمی عامل‌محور بر پایه یادگیری تقویتی توسعه داده‌اند که کدنویسی کرنل‌های GPU را سریع‌تر از کامپایلرهای استاندارد انجام می‌دهد. این سیستم در ۲۵۰…

۴ دقیقه خواندن۵
اثبات هوش مصنوعی Axiom Math قضیه شکاف اولیه ۲۴۶ را در Lean بررسی کرد.

Axiom Math با استفاده از Lean 4 قضیه فاصله اعداد اول ۲۴۶ را تأیید کرد

سامانه AxiomProver موفق شد یکی از پیچیده‌ترین نتایج نظریه اعداد را به‌صورت رسمی و ماشین‌خوان بازسازی کند. این دستاورد نشان‌دهنده گذار هوش مصنوعی از حل مسائل کوتاه مسابقاتی به…

۵ دقیقه خواندن۲
عامل کدنویسی ریاضی پیشرفته MathCode
آموزش کاربردی

MathCode تبدیل مسائل ریاضی به قضایای Lean 4 و اثبات خودکار آن‌ها را ممکن کرد

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

۲ دقیقه خواندن۲
هوش مصنوعی GPT-5.6 Sol در ۹۰ دقیقه حدس ۳۰ ساله آمار را رد کرد؛ انسان‌ها موفق نشده بودند.

ریاضیدانان برتر: مدل‌های زبانی بزرگ فاقد شهود خلاق برای اکتشافات بنیادین هستند

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

۱ دقیقه خواندن
برنامه‌نویسی با هوش مصنوعی، بدون هیاهو
زندگی با AI

کدنویسی صنعت‌گرانه؛ راهکاری برای مقابله با زوال مهارت‌های برنامه‌نویسی در عصر AI

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

۲۹ دقیقه خواندن۲