موضوع
۳۵۸ مقاله منتشر شده
یک داروی جدید برای درمان فیبروز ریه که توسط هوش مصنوعی زاینده طراحی شده، توانست نشانگرهای پیری بیولوژیک را در آزمایش‌های اولیه معکوس کند. شش مدل مستقل اندازه‌گیری سن، کاهش چشمگیر…
نتایج فاز IIa آزمایش داروی rentosertib نشان داد که این مولکول می‌تواند سن بیولوژیک را در ۶ ساعت پروتئومیک مختلف کاهش دهد. این مطالعه احتمال اثرات سنومورفیک دارو در سرکوب ترشحات…
سامانه MathKernel با تفکیک قصد ریاضی (توسط LLM) از اجرای محاسبات (توسط موتورهای تأییدشده)، توهمات عددی را حذف می‌کند. این ابزار یک مدل اعتماد سخت‌گیرانه و ردپای کامل برای هر…
یک مدل داخلی آنتروپیک طی ۱۱ روز به‌صورت خودگردان، اثبات اندرو وایلز برای قضیه آخر فرمات را به زبان Lean 4 تبدیل کرد. این دستاورد مدیون لایه هماهنگی Prove2Me است که امکان حفظ حافظه…
پژوهشگران دانشگاه هونان با کمک مدل Codex توانستند حدس کروی هادویگر را که از سال ۱۹۷۴ باز بود، اثبات کنند. این دستاورد نشان می‌دهد که حتی پیچیده‌ترین حوزه‌های ریاضیات محض نیز در…
سیستم جدید یادگیری بازنمایی فدرال پراکنده (SFRL) به کاوشگرهای سیاره‌ای اجازه می‌دهد بدون اشغال پهنای‌باند محدود، دانش زمین‌شناسی تخصصی خود را به اشتراک بگذارند. این رویکرد با…
اوپن‌ای‌آی مدل GPT-6 Astra را معرفی کرد که قادر به کنترل خودکار رایانه و استدلال انتزاعی سطح بالاست. این عرضه هم‌زمان با تحرکات گسترده آنتروپیک و متا، رقابت هوش مصنوعی را از تولید…
یک چارچوب مهندسی جدید، شکاف میان اثبات‌های ریاضی و سخت‌افزار کوانتومی را هدف قرار داده است. این متد با تمرکز بر هزینه‌های بارگذاری داده و محاسبات بازگشت‌پذیر، تعیین می‌کند که آیا…
استفاده از یادگیری ماشین در تحلیل الگوهای متیلاسیون DNA، دقت تخمین سن بیولوژیک را با حذف نویزهای آزمایشگاهی افزایش داده است. این رویکرد، تست‌های طول عمر را از مدل‌های خطی ساده به…
مدل جدید گوگل با حذف معادلات پیچیده فیزیکی و یادگیری مستقیم از داده‌های ماهواره‌ای، دقت پیش‌بینی بارش را به‌شدت افزایش داد. این معماری جدید امکان به‌روزرسانی‌های ساعتی و وضوح ۵…
مدل Claude موفق شد نخستین اثبات کامل و بررسی‌شده توسط کامپیوتر برای قضیه آخر فرمات را با استفاده از زبان Lean تولید کند. این دستاورد که در ۱۱ روز محقق شد، جهشی عظیم در خودکارسازی…
اوپن‌ای‌آی مدل GPT-6 Astra را معرفی کرد؛ نخستین سیستمی که قادر است به‌طور خودکار حفره‌های امنیتی ناشناخته را کشف و استثمار کند. این مدل در ریاضیات و کدنویسی جهشی خیره‌کننده داشته،…