استدلال

یک عامل خودگردان مبتنی بر GPT-6 Astra توانست بدون دخالت انسان، تمام مراحل بازی Portal را در کمتر از ۲۴ ساعت طی کند. این دستاورد جهشی بزرگ در برنامه‌ریزی بلندمدت و توانایی استفاده…

مدیرعامل انویدیا با استناد به قابلیت‌های مدل Astra، ادعا کرد که هوش مصنوعی عمومی (AGI) محقق شده است. در حالی که OpenAI این ادعا را تأیید می‌کند، برخی پژوهشگران نبود تعریف علمی…

پژوهش‌های جدید نشان می‌دهند که می‌توان بدون به‌روزرسانی کامل وزن‌های مدل، هزینه‌های استنتاج را به‌شدت کاهش داد. متدهای WHALE و Random Attention با بهینه‌سازی پرامپت‌ها و تغییر در…

یک کاربر با استفاده از هوش مصنوعی Fable توانست فرمت موسیقی اختصاصی پیانوهای خودنواز PianoDisc Protigy را مهندسی معکوس کند. این ابزار نه تنها داده‌های MIDI پنهان در فایل‌های MP3 را…

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

بازرسی قراردادهای هوشمند در سال ۲۰۲۶ به یک خط لوله ترکیبی تبدیل شده است که ابزارهای تحلیل ایستا را با مدل‌های زبانی بزرگ برای شناسایی خطاهای منطقی ادغام می‌کند. این رویکرد به…

یک مدل داخلی آنتروپیک طی ۱۱ روز به‌صورت خودگردان، اثبات اندرو وایلز برای قضیه آخر فرمات را به زبان Lean 4 تبدیل کرد. این دستاورد مدیون لایه هماهنگی Prove2Me است که امکان حفظ حافظه…

پژوهشگران دانشگاه هونان با کمک مدل Codex توانستند حدس کروی هادویگر را که از سال ۱۹۷۴ باز بود، اثبات کنند. این دستاورد نشان می‌دهد که حتی پیچیده‌ترین حوزه‌های ریاضیات محض نیز در…

OpenAI با دستیابی به هدف ساخت «کارآموز پژوهشی خودکار»، حجم عملیات داخلی خود را به شدت افزایش داده است. اکنون در سازمان پژوهشی این شرکت، هر یک روز کاری انسان با بیش از سه روز تلاشِ…

ابزار جدیدی به نام The Letter با استفاده از معماری Span Gate، نامه‌های پیچیده دولتی را به صوت ساده تبدیل می‌کند. این سیستم هر ادعای تولیدشده توسط هوش مصنوعی را که مستقیماً در متن…

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

اوپن‌ای‌آی مدل GPT-6 Astra را معرفی کرد که قادر به کنترل خودکار رایانه و استدلال انتزاعی سطح بالاست. این عرضه هم‌زمان با تحرکات گسترده آنتروپیک و متا، رقابت هوش مصنوعی را از تولید…