موضوع
۳۰۷ مقاله منتشر شده
یک مدل داخلی آنتروپیک طی ۱۱ روز بهصورت خودگردان، اثبات اندرو وایلز برای قضیه آخر فرمات را به زبان Lean 4 تبدیل کرد. این دستاورد مدیون لایه هماهنگی Prove2Me است که امکان حفظ حافظه…
پژوهشگران دانشگاه هونان با کمک مدل Codex توانستند حدس کروی هادویگر را که از سال ۱۹۷۴ باز بود، اثبات کنند. این دستاورد نشان میدهد که حتی پیچیدهترین حوزههای ریاضیات محض نیز در…
سیستم جدید یادگیری بازنمایی فدرال پراکنده (SFRL) به کاوشگرهای سیارهای اجازه میدهد بدون اشغال پهنایباند محدود، دانش زمینشناسی تخصصی خود را به اشتراک بگذارند. این رویکرد با…
اوپنایآی مدل GPT-6 Astra را معرفی کرد که قادر به کنترل خودکار رایانه و استدلال انتزاعی سطح بالاست. این عرضه همزمان با تحرکات گسترده آنتروپیک و متا، رقابت هوش مصنوعی را از تولید…
یک چارچوب مهندسی جدید، شکاف میان اثباتهای ریاضی و سختافزار کوانتومی را هدف قرار داده است. این متد با تمرکز بر هزینههای بارگذاری داده و محاسبات بازگشتپذیر، تعیین میکند که آیا…
استفاده از یادگیری ماشین در تحلیل الگوهای متیلاسیون DNA، دقت تخمین سن بیولوژیک را با حذف نویزهای آزمایشگاهی افزایش داده است. این رویکرد، تستهای طول عمر را از مدلهای خطی ساده به…
مدل جدید گوگل با حذف معادلات پیچیده فیزیکی و یادگیری مستقیم از دادههای ماهوارهای، دقت پیشبینی بارش را بهشدت افزایش داد. این معماری جدید امکان بهروزرسانیهای ساعتی و وضوح ۵…
مدل Claude موفق شد نخستین اثبات کامل و بررسیشده توسط کامپیوتر برای قضیه آخر فرمات را با استفاده از زبان Lean تولید کند. این دستاورد که در ۱۱ روز محقق شد، جهشی عظیم در خودکارسازی…
اوپنایآی مدل GPT-6 Astra را معرفی کرد؛ نخستین سیستمی که قادر است بهطور خودکار حفرههای امنیتی ناشناخته را کشف و استثمار کند. این مدل در ریاضیات و کدنویسی جهشی خیرهکننده داشته،…
اوپنایآی مدل GPT-6 Astra را معرفی کرد که قادر به نفوذ خودکار در سامانههای امنیتی و مدیریت کامل رایانه است. گرگ بروکمن مدعی است این مدل اکنون در اکثر کارهای دارای ارزش اقتصادی،…
شرکت OpenEvidence خانوادهای از مدلهای تخصصی پزشکی را معرفی کرد که پیشرفتهترین آنها، Darwin، توانست تمام سوالات محک MedQA را بهدرستی پاسخ دهد. سه مدل عملیاتی دیگر نیز اکنون…
گوگل دیپمایند مدل WeatherNext 3 را معرفی کرد که در سرعت و دقت از ابرکامپیوترهای دولتی پیشی میگیرد. این مدل با تفکیک ۵ کیلومتری و ادغام مستقیم دادههای ماهوارهای، پیشبینیهای…