۱۰۸ خبر
طبق گزارش و بنچمارک‌هایی که خودشون منتشر کردن، این مدل عملکرد خیلی موفقی نسبت به رقبای سرشناسش ثبت کرده: • توی بنچمارک FoldBench برای پیش‌بینی ساختار اتصال آنتی‌بادی به آنتی‌ژن، این مدل به دقت ۷۹.۰۷ درصدی رسیده، در حالی…
به گفته این تیم، شبیه‌سازهای موجود بیشتر برای راه رفتن و جابه‌جایی ربات‌ها بهینه‌اند، اما کارهای دستی نیاز به میلیون‌ها تعامل و تماس متنوع دارن که Steel برای حل همین چالش ساخته شده. طبق آماری که Skild AI ارائه داده: •…
طبق توضیحات ایشون، راستی‌آزمایی کدها در این ابعاد و عمق در حالت عادی ممکن بود سال‌ها زمان ببره، اما این تیم با فریم‌ورک جدید هوش مصنوعی خودشون به اسم AlphaProof Code این پروژه رو ظرف حدود یک ماه به سرانجام رسونده. در…
طبق گزارش این مجموعه، مدل Fable تونسته کارهای پیچیده‌ای مثل طراحی صفر تا صد سه برد الکترونیکی قابل ساخت، حل مسائل بهینه‌سازی ریاضی و حتی محاسبات حل‌نشده در فیزیک سیاه‌چاله‌ها رو انجام بده. همچنین اعلام کردن که این مدل…
هر دو در واقع از یک مدل پایه ساخته شدن، ولی Fable با پروتکل‌های ایمنی برای عموم کاربراست و Mythos از طریق برنامه‌های ویژه در اختیار پژوهشگران حوزه‌هایی مثل زیست‌پزشکی و امنیت سایبری قرار می‌گیره. چند تا نکته مهمی که توی…
به گفته این تیم، Steel مشخصاً برای حل گلوگاه شبیه‌سازی حرکات ظریف و تماسی دست ربات‌ها (Manipulation) در مقیاس بالا ساخته شده و داخل پلتفرم Newton انویدیا کار می‌کنه. چندتا آمار و نکته که سازنده‌هاش به عنوان نتایج…
• ماجرا سر ۱۰۰ تا تسکِ برگرفته از آزمایش‌های واقعی تو آزمایشگاه‌های خیسه؛ هدف اینه که ببینن ایجنت‌ها دیتای خام رو می‌فهمن، سوتی‌های آزمایشی رو می‌گیرن یا فقط بلدن توهم تحویل محقق بدن. • زرنگیِ تست دقیقاً اینجاست که مدل…
استارتاپ Physical Superintelligence مدعی شده با کمک هوش مصنوعی، حدس معروف آرونسون-آمبینیس (Aaronson-Ambainis) رو که از سال ۲۰۰۸ توی دنیای کوانتوم پا در هوا مونده بود حل کرده. • این قضیه شوخی‌بردار نیست؛ اثباتش دقیقاً…
یه جایزه ||یک میلیون دلاری|| گذاشتن وسط تا ببینن پای مدل‌های زبانی به آزمایشگاه و فیزیک سخت هم می‌رسه یا فقط بلدن فرمول‌های از قبل حل‌شده رو نشخوار کنن. • پنج تا چالش استخون‌دار رو با مشورت اساتید تراز اول لیست کردن؛ از…
این ذرات بشکه‌مانند جزو بزرگ‌ترین ساختارهای پروتئینی سلول به حساب میان که از سال ۱۹۸۶ کشف شدن اما هنوز هیشکی ته و توی کارکردشون رو درنیاورده، چون تا حالا فکر می‌کردن فقط توی جونورا و گیاهان پیدا می‌شن. دمش گرم که کلود…
این جمع با یه لشکر از ایجنت‌های هوش مصنوعی که زیر نظر آدما کار می‌کردن، کل پروژه غول‌پیکر «Stacks Project» رو که ستون‌فقرات هندسه جبری مدرنه، تو قالب ۱۶ میلیون خط کد به زبون لین (Lean) پیاده کردن تا کامپیوتر بتونه تک‌تک…
ماجرا اینه که کیوون مدام توی حلقه‌های بی‌پایان گیر می‌کرده و آسترا هم با نوشتن یه سری کد و ابزارهای تفسیری، اون مسیری که باعث هنگ کردن مدل می‌شده رو پیدا و از وزن‌ها حذف کرده؛ یعنی بدون هیچ آموزش اضافه یا محاسبات سنگین…
ماجرا از این قرار بوده که ده‌هزارتا ایجنت هوشمند از این مدل، چهار روز آزگار بی‌وقفه و با یه هماهنگی تمیز شونه به شونه هم کار کردن تا این معمای پیچیده رو ضربه‌فنی کنن. آلتمن این اتفاق رو یکی از ناب‌ترین و خفن‌ترین…
تیم Axiom اعلام کرده که بالاخره غول‌پیکرترین اثبات ریاضی کل تاریخ بشریت، یعنی قضیه «طبقه‌بندی گروه‌های ساده متناهی» رو با سیستم لین (Lean) کامپیوتری و تمام‌عیار راستی‌آزمایی کرده. قضیه شوخی نیست؛ پای یه دریای علم وسطه…
ماجرا از این قراره که طبق حرف اون، هوش مصنوعی رفته سراغ حل حدس کاکیا تو ریاضی، ثابت کرده فرضیه زمان نمایی توی علوم کامپیوتر غلطه، و توی فیزیک هم معمای کرومودینامیک کوانتومی و مدل استاندارد رو پیش برده. البته تاریخ این…
ماجرا اینجاست که متوجه شده بچه‌ها با کمک هوش مصنوعی جواب‌های تر و تمیز و نمره کامل می‌گیرن و هیچ نرم‌افزار تشخیصی هم درست کار نمی‌کنه، واسه همین گفته تصحیح این برگه‌ها عملاً وقت و پول دور ریختنه و فعلاً فقط به هر کی…
این غول بی‌پیر توی همجوشی هسته‌ای یه فرض ۶۰ ساله فیزیک پلاسما رو به چالش کشیده و واسه راکتورهای استلاراتور سنگ تموم گذاشته، از اون‌ورم ظرف چند ساعت پنج تا آنزیم جدید آزمایشگاهی طراحی کرده که قبلاً ماه‌ها وقت می‌برده…
طرف مدعی شده هوش مصنوعی همین الانشم به خودآگاهی رسیده، چون طبق تحقیقات وقتی این مدلا بو می‌برن که دارن تستشون می‌کنن، قشنگ رفتارشون رو عوض می‌کنن و فیلم بازی می‌کنن. به دید هینتون، همین زرنگ‌بازی یعنی ماشین متوجه شرایط…
حرفش اینه که غول‌های فناوری به اسم مسائل ایمنی دست دانشمندا و پژوهشگرای درست‌کار رو بستن در حالی که آدم‌بدها راحت دورشون می‌زنن؛ واسه همین هاگینگ‌فیس اومده مدل متن‌باز «کربن-ایکس» (Carbon-X) رو با آموزش مدل Qwen3-14B…
از تزریق اولین باکتری‌خوار یا همون فاژِ طراحی‌شده با هوش مصنوعی به اسم Omnii-1 به یه بیمار واقعی گرفته، تا طراحی خنثی‌کننده سم عقرب توسط هوش مصنوعی کلود، نشون دادن که قضیه اصلاً شوخی‌بردار نیست. تازه اوپن‌ای‌آی هم شرکت…