۱۰۹ خبر · صفحه‌ی ۵ از ۶
ماجرا اینه که قرار شده غول‌های هوش مصنوعی مثل اوپنایآی و انتروپیک دو میلیون دلار اعتبار مدل‌هاشون رو بدن به شرکت‌کننده‌ها تا ظرف چهل ساعت با پرامپت دادن به هوش مصنوعی، مسائل پیچیده و حل‌نشده ریاضی رو شخم بزنن. اما…
این کتابخونه اوپن‌سورس که قشنگ با پای‌تورچ هماهنگه، کارش اینه که سرعت پیش‌بینی ساختارهای زیست‌مولکولی و پروتئینی رو روی گرافیک‌های انویدیا با شتاب بالا ببره جلو. مدل‌های گردن‌کلفتی مثل Boltz-2 و OpenFold2 و Protenix v2…
قضیه از این قراره که ظاهراً بچه‌های اوپنایآی ادعا کردن بعد از حل کردن معادله معروف ناویر-استوکس، حالا حسابی به حل کردن یکی دیگه از هفت مسئله بزرگ هزاره ریاضی نزدیک شدن. طبق متنی که پخش شده، این غول هوش مصنوعی داره…
لِوِنت هم اومده دمشون گرم گفته که بالاخره حقیقت رو ریختن رو دایره، هرچند از بازی‌های پشت پرده حسابی دلخوره. طرف تعریف کرده که خودش اصلاً دنبال اسم و رسم روی مقاله نبوده و دنبال رفاقت و پیشرفت علمی می‌گشته، اما شنیده که…
قضیه از این قراره که دو تا دانشمند به اسم تریستان باکمستر و لونت آلپوگه با ترکیب جی‌پی‌تی و کلود، راه جدیدی برای پیشرفت توی مسئله معروف «ناویه-استوکس» پیدا کردن، اما شایعه این کار که پیچید، اوپنایآی سریع با مدل داخلی…
همون قضیه‌ای که نزدیک ۹۰ سال بود مغز نخبه‌های دنیا رو سر جریان حرکت مایعات سه‌بعدی سرویس کرده بود. قضیه از این قراره که این اثبات کار یه دونه مدل نبوده، بلکه تیمی از ایجنت‌های هوش مصنوعی با یه مدلی به‌مراتب گردن‌کلفت‌تر…
ماجرا از این قراره که فهمیدن وقتی مدل‌های استدلالی میرن تو کار حل معماها و مسائل سنگین مثل ریاضیات، سودوکو و حتی بنچمارک غول‌آسای ARC-AGI، فرآیند پردازششون الگوهای شگفت‌انگیز فرکتالی تولید می‌کنه. در واقع این دانشمندا…
قضیه اینه که این معمای پیچیده فیزیک سیالات سال‌هاست اشک دانشمندا رو درآورده، اما اینا اومدن از شبکه‌های عصبی مبتنی بر فیزیک یا همون PINN کمک گرفتن تا به جواب تقریبی برسن و پایداریش رو ثابت کنن. شاهکار کارشون اینجاست که…
پروژه‌ای که همه اوستاها فکر می‌کردن سال‌های سال وقت می‌بره. این قضیه رو سال ۱۹۹۵ اندرو وایلز بعد از ۳۵۰ سال حل کرده بود، ولی حالا کلود با زدن بیش از ۱۳ میلیون خط کد، غول‌پیکرترین اثبات تاریخ ماشین‌ها رو ثبت کرد. تهِ…
این بروبچز تونستن اولین الگوریتم زمان چندجمله‌ای (پلی‌تایم) رو واسه قضیه معروف «دیوری-لواس» طراحی کنن و ثابت کنن هر گراف k-همبند رو میشه به k بخش همبند با هر اندازه‌ای که دلمون بخواد تقسیم کرد. جالب‌تر از همه‌چیز اینه…
قضیه از این قراره که داریو بارها مدعی شده بود قراره با هوش مصنوعی کار ۵۰ ساله زیست‌شناسی رو توی ۵ تا ۱۰ سال جمع کنن و بیشتر مریضی‌های بشر رو شفا بدن. حالا این منتقد شاکی شده که نزدیک ۴ تا ۸ ماهه هیچ دیتای آزمایشگاهی…
قدیما دانشمندا جون می‌کَندن تا با فرمول‌های شیمیایی جلوی پروتئین‌های بیماری‌زا رو سد کنن که خیلی وقتا نشدنی بود یا کلی عوارض داشت، اما این روش جدید مثل یه دکمه خاموش‌کن عمل می‌کنه و قبل از اینکه اصلاً پروتئین خرابکاری…
این تیم اومده یه مدل خفن با یک تریلیون پارامتر و طول بافت نجومی تا پنج تریلیون توکن موقع استنتاج ساخته تا برخلاف مدل‌های ویدیویی معمولی، قوانین فیزیک رو سرسری نگیره و واقعاً پدیده‌ها رو بسنجه. هدف اصلی‌شون اینه که گلوی…
ماجرا از این قراره که کلود با هدایت و ترکیب کلی مدل خفن متن‌باز مثل آلفافولد و آر‌اف‌دیفیوژن، تونسته از پسِ طراحی بایندرهای پروتئینی برای ۱۴ تا از ۱۵ هدف آزمایشی بربیاد و تو تست‌های آزمایشگاهی هم نتیجه درخشانی نشون بده…
این سیستم با یه بهینه‌ساز مرکزی مسیر و کنترل داخلی روی خود پهپادها، تونسته شتاب حرکت بار رو نسبت به خفن‌ترین روش‌های قبلی بیشتر از هشت برابر ببره بالا و تر‌و‌تمیز بدون اینکه به هم یا به مانعی بخورن حرکت کنه. دمشون گرم…
خلاصه حرفش اینه که درسته بدبین‌ها شاید از نظر فنی درست می‌گفتن و قول‌های رویایی کوانتوم سر موقع کامل عملی نشد، ولی همون هایپ و خوش‌بینی باعث شد سرمایه‌های میلیاردی و نخبه‌ها وارد میدون بشن و جهش‌های اساسی رقم بخوره…
طرف میگه فکر نکنید خود کلود تنهایی نشسته از صفر پروتئین طراحی کرده، بلکه مثل یه ارکستر، ابزارها و مدل‌های تخصصی و اوپن‌سورس زیست‌شناسی مثل RFdiffusion و BoltzGen و Genie رو صدا زده و مدیریت کرده. خلاصه کار اصلی طراحی رو…
این ابزار جدید کل سازوکار سلول رو از دی‌ان‌ای (DNA) و آر‌ان‌ای (RNA) گرفته تا ساختار پروتئین‌ها و رفتارهای کلیِ سلولی مو‌به‌مو بازسازی می‌کنه. هنر اصلی‌شون هم اینه که نیومدن چندتا مدل جداگونه رو سرهم‌بندی کنن و خروجی‌ها…
قضیه اینه که ساخت دارو نیاز به طراحی مولکول‌هایی داره که به هدف مدنظر تو بدن بچسبن، کاری که قبلاً ماه‌ها از دانشمندا وقت می‌گرفت تا بتونن پروتئین مناسب رو از صفر طراحی کنن. ولی حالا کلود فقط با یه پرامپت حساب‌شده از طرف…
قضیه اینه که وقتی یه شرکت کارگرها رو بیرون می‌کنه و هوش مصنوعی میاره، هزینه‌هاش کم میشه ولی همون آدم اخراجی دیگه پولی نداره که چیزی بخره و تقاضا توی کل بازار افت می‌کنه. چون رقابت بازاره، همه مدیرها برای اینکه له نشن…