تازه‌ترین اخبار
هر چیزی که در دات‌هوش منتشر شده، به ترتیب زمان. تازه‌های کمتر از یک ساعت با نشانک زنده مشخص شده‌اند.
- ۴۲۶۱
آموزش کاربردیابزار coop محیط‌های ایزوله برای اجرای امن عامل‌های کدنویس ایجاد می‌کند
شرکت Trail of Bits ابزار coop را معرفی کرد؛ یک رابط خط فرمان مبتنی بر Rust که عامل‌های هوش مصنوعی را در ماشین‌های مجازی یک‌بارمصرف اجرا می‌کند. این سیستم مانع از دسترسی مستقیم مدل‌ها به سیستم‌عامل میزبان و بروز خطرات امنیتی می‌شود.
۱۶ شهریور ۱۴۰۵۱ دقیقه خواندن - ۴۲۶۲
آموزش کاربردیEngrim هزینهٔ توکن‌های حافظه در عامل‌های هوش مصنوعی را ۹۹٪ کاهش داد
موتور حافظهٔ Engrim با جایگزینی پنجره‌های متنی حجیم با یک سیستم حافظهٔ اپیزودیک محلی، هزینه‌های توکن را به شدت کاهش می‌دهد. این ابزار اجازه می‌دهد وضعیت پروژه بین عامل‌های مختلف مانند Claude Code و Cursor به صورت مشترک حفظ شود.
۱۶ شهریور ۱۴۰۵۶ دقیقه خواندن - ۴۲۶۳
اخبار کوتاه روزانهتوزیع پردازش در مفاصل ربات‌های NEURA برای کاهش تأخیر در تعاملات انسانی
شرکت‌های NEURA Robotics و SECO برای تولید ماژول‌های محاسباتی اروپایی مخصوص ربات‌های شناختی همکاری می‌کنند. این استراتژی با انتقال پردازش از یک مغز مرکزی به «اندام‌های هوشمند»، ایمنی و سرعت واکنش ربات‌ها را در محیط‌های صنعتی افزایش می‌دهد.
۱۶ شهریور ۱۴۰۵۴ دقیقه خواندن - ۴۲۶۴
اخبار کوتاه روزانهجنسن هوانگ: مدل Astra شرکت OpenAI عصر هوش مصنوعی عمومی را آغاز کرد
مدیرعامل انویدیا با استناد به قابلیت‌های مدل Astra، ادعا کرد که هوش مصنوعی عمومی (AGI) محقق شده است. در حالی که OpenAI این ادعا را تأیید می‌کند، برخی پژوهشگران نبود تعریف علمی برای AGI را به چالش کشیده‌اند.
۱۶ شهریور ۱۴۰۵۳ دقیقه خواندن - ۴۲۶۵
آموزش کاربردیOrivox با پروتکل MCP قابلیت انتشار مستقیم وب‌سایت را به Claude داد
یک سرور MCP جدید، Claude را مستقیماً به پلتفرم Orivox متصل کرد تا کاربران بتوانند تنها با گفتگو، وب‌سایت‌های واقعی را طراحی، ویرایش و میزبانی کنند. این ابزار نیاز به کپی دستی کدها در پنل‌های میزبانی و مدیریت پیچیده SSL و دامنه را از بین می‌برد.
۱۶ شهریور ۱۴۰۵۳ دقیقه خواندن - ۴۲۶۶
آموزش کاربردی«تفاوت دیالوگ و سکوت»؛ کلید کاهش خطای سیستم‌های کپشن‌نویس هوشمند
یک توسعه‌دهنده دریافت که استفاده از درصد زمان کلی کلیپ برای شناسایی خطاهای زیرنویس باعث حذف ویدیوهای سالم می‌شود. جایگزینی این معیار با «تعداد کلمات در ثانیه» به سیستم اجازه می‌دهد تفاوت بین دیالوگ‌های طولانی و سکوت‌های مزاحم را تشخیص دهد.
۱۶ شهریور ۱۴۰۵۶ دقیقه خواندن - ۴۲۶۷
اخبار کوتاه روزانه«کاهش هزینه‌های استنتاج»؛ دستاورد متدهای جدید در بهینه‌سازی مدل‌های زبانی
پژوهش‌های جدید نشان می‌دهند که می‌توان بدون به‌روزرسانی کامل وزن‌های مدل، هزینه‌های استنتاج را به‌شدت کاهش داد. متدهای WHALE و Random Attention با بهینه‌سازی پرامپت‌ها و تغییر در مکانیزم توجه، توان عملیاتی مدل‌ها را تا ۴۳٪ افزایش داده‌اند.
۱۶ شهریور ۱۴۰۵۴ دقیقه خواندن - ۴۲۶۸
آموزش کاربردی«برچسب بازبینی‌شده بی‌معناست»؛ ضرورت ثبت ردپای تصمیمات در هوش مصنوعی
یک دستورالعمل اجرایی جدید استدلال می‌کند که برچسب «بازبینی‌شده توسط انسان» بدون وجود ردپای تصمیمات، بی‌معنی است. این متد با اجباری کردن ثبت شواهد و دلایل تأیید، فرآیند بازبینی را از یک ویرایش سطحی به یک سیستم پاسخگویی واقعی تبدیل می‌کند.
۱۶ شهریور ۱۴۰۵۷ دقیقه خواندن - ۴۲۶۹
آموزش کاربردیتثبیت سخت‌افزاری در برابر تاریخچهٔ چت برای تکرارپذیری عامل‌های هوش مصنوعی
تکیه بر تاریخچه‌ی چت برای بازبینی کدهای تولیدشده توسط عامل‌های هوش مصنوعی، منجر به ایجاد «فولکلور» به‌جای سوابق مهندسی می‌شود. برای تضمین تکرارپذیری، تیم‌ها باید شناسه‌ی مدل، هش پرامپت و طرحواره ابزارها را به‌صورت سخت‌افزاری تثبیت کنند.
۱۶ شهریور ۱۴۰۵۷ دقیقه خواندن - ۴۲۷۰
آموزش کاربردیواحدهای مهارت در برابر فایل‌های حجیم برای مهار زوال عملکرد عامل‌ها
برنامه‌نویسان برای جلوگیری از فراموشی دستورالعمل‌ها در عامل‌های هوش مصنوعی، از فایل‌های حجیم به سمت «واحدهای مهارت» کوچک و قابل انتقال حرکت می‌کنند. این رویکرد با جایگزینی راهنماهای کلی با ابزارهای دقیق، مصرف توکن را کاهش و دقت استنتاج را افزایش می‌دهد.
۱۶ شهریور ۱۴۰۵۴ دقیقه خواندن - ۴۲۷۱
آموزش کاربردیدرون فرآیند مهندسی معکوس فرمت‌های اختصاصی PianoDisc Protigy
یک کاربر با استفاده از هوش مصنوعی Fable توانست فرمت موسیقی اختصاصی پیانوهای خودنواز PianoDisc Protigy را مهندسی معکوس کند. این ابزار نه تنها داده‌های MIDI پنهان در فایل‌های MP3 را رمزگشایی کرد، بلکه نت‌های جعلی (Decoy Notes) را که برای گمراه کردن تحلیل‌گران طراحی شده بودند، شناسایی و حذف نمود.
۱۶ شهریور ۱۴۰۵۲ دقیقه خواندن - ۴۲۷۲
زندگی با AIچارچوب اقتصادی جدید: خطاهای مقیاس‌پذیر سودآوری اتوماسیون را می‌بلعند
محاسبهٔ سودآوری هوش مصنوعی بر اساس «ساعت‌های ذخیره شده» گمراه‌کننده است. چارچوب اقتصادی جدید نشان می‌دهد ارزش واقعی یک سامانه، تفاضل سود اتوماسیون و هزینهٔ جبران خطاهای مقیاس‌پذیر است.
۱۶ شهریور ۱۴۰۵۲ دقیقه خواندن - ۴۲۷۳
زندگی با AIپروژه Pranav: تبدیل مدیتیشن به سیستمی قابل اندازه‌گیری با تحلیل داده‌ها
پروژه Pranav با تحلیل داده‌های خواب و تقویم، مدیتیشن را از یک فعالیت ایستا به یک موتور تنظیم شخصی تبدیل می‌کند. این سیستم به‌جای پیشنهاد کلی، مداخلات لحظه‌ای ارائه می‌دهد و اثر آن‌ها را بر تمرکز و بازیابی ذهنی اندازه می‌گیرد.
۱۶ شهریور ۱۴۰۵۴ دقیقه خواندن - ۴۲۷۴
آموزش کاربردیچگونه MathKernel با ردپای کامل، محاسبات مدل‌های زبانی را تضمین می‌کند؟
سامانه MathKernel با تفکیک قصد ریاضی (توسط LLM) از اجرای محاسبات (توسط موتورهای تأییدشده)، توهمات عددی را حذف می‌کند. این ابزار یک مدل اعتماد سخت‌گیرانه و ردپای کامل برای هر نتیجه، از جبر نمادین تا اثبات‌های رسمی Lean فراهم می‌کند.
۱۶ شهریور ۱۴۰۵۴۱ دقیقه خواندن - ۴۲۷۵
آموزش کاربردیPonytail با فلسفهٔ کدنویسی حداقلی جلوی پیچیدگی بیش از حد عامل‌های هوش مصنوعی را
پلاگین Ponytail با اجبار عامل‌های کدنویس به استفاده از کتابخانه‌های استاندارد و الگوهای موجود، از تولید کدهای حجیم و غیرضروری جلوگیری می‌کند. این ابزار با اولویت دادن به کوتاه‌ترین راهکار عملی، بدهی فنی ناشی از کدهای تولیدشده توسط هوش مصنوعی را کاهش می‌دهد.
۱۶ شهریور ۱۴۰۵۲ دقیقه خواندن - ۴۲۷۶
آموزش کاربردیترکیب تحلیل ایستا و مدل‌های زبانی، بازرسی قراردادهای هوشمند را خودکار کرد
بازرسی قراردادهای هوشمند در سال ۲۰۲۶ به یک خط لوله ترکیبی تبدیل شده است که ابزارهای تحلیل ایستا را با مدل‌های زبانی بزرگ برای شناسایی خطاهای منطقی ادغام می‌کند. این رویکرد به بازرسان اجازه می‌دهد از شناسایی خطاهای نحوی فراتر رفته و قصد توسعه‌دهنده را درک کنند.
۱۶ شهریور ۱۴۰۵۲ دقیقه خواندن - ۴۲۷۷
تحلیل و بررسی تخصصیمدل پژوهشی آنتروپیک قضیه آخر فرمات را در زبان Lean 4 فرمال کرد
یک مدل داخلی آنتروپیک طی ۱۱ روز به‌صورت خودگردان، اثبات اندرو وایلز برای قضیه آخر فرمات را به زبان Lean 4 تبدیل کرد. این دستاورد مدیون لایه هماهنگی Prove2Me است که امکان حفظ حافظه ساختاری بلندمدت را برای عامل‌های هوش مصنوعی فراهم می‌کند.
۱۶ شهریور ۱۴۰۵۸ دقیقه خواندن - ۴۲۷۸
آموزش کاربردیPantryBridge با مدل Gemini فرآیند اهدای مواد غذایی را خودکار کرد
ابزار جدید PantryBridge با استفاده از بینایی ماشین، عکس‌های قفسه آشپزخانه را به لیست‌های دقیق اهدایی و دستور پخت تبدیل می‌کند. این پروژه با هدف کاهش اصطکاک لجستیکی در اهدای غذا به بانک‌های غذایی طراحی شده است.
۱۶ شهریور ۱۴۰۵۵ دقیقه خواندن - ۴۲۷۹
آموزش کاربردیسلسلهمراتب ایمنی مایکل کامینسکی برای عبور از گلوگاه تاییدات انسانی
مایکل کامینسکی استدلال می‌کند که تاییدات انسانی در مقیاس عامل‌های هوش مصنوعی باعث ایجاد «تئاتر تایید» و توقف عملیاتی می‌شود. او سیستمی سه لایه شامل حذف قابلیت، گیت‌های حذف خودکار و تایید انسانی محدود را برای جایگزینی پیشنهاد می‌دهد.
۱۶ شهریور ۱۴۰۵۶ دقیقه خواندن - ۴۲۸۰
آموزش کاربردی۵ قانون طراحی ابزار برای جلوگیری از شکست عامل‌های هوش مصنوعی در مقیاس واقعی
بررسی دلایل شکست طرح‌های ابزاری در محیط عملیاتی و ارائه راهکارهایی برای افزایش قابلیت اطمینان عامل‌ها. این راهنما بر جایگزینی قوانین متنی با محدودیت‌های ساختاری برای تضمین امنیت و دقت تأکید می‌کند.
۱۶ شهریور ۱۴۰۵۶ دقیقه خواندن - ۴۲۸۱
تحلیل و بررسی تخصصی«آسیب‌پذیری ریاضیات محض»؛ دستاورد جدید پژوهشگران چینی با کمک Codex
پژوهشگران دانشگاه هونان با کمک مدل Codex توانستند حدس کروی هادویگر را که از سال ۱۹۷۴ باز بود، اثبات کنند. این دستاورد نشان می‌دهد که حتی پیچیده‌ترین حوزه‌های ریاضیات محض نیز در برابر اتوماسیون هوش مصنوعی آسیب‌پذیر شده‌اند.
۱۶ شهریور ۱۴۰۵۴ دقیقه خواندن - ۴۲۸۲
داستان‌ها و مصاحبه‌هاHack Club: انتقال مالکیت D2 به ساختار غیرانتفاعی برای توسعهٔ هوشمند
پروژه D2 پس از تعطیلی شرکت مادر، به یک نهاد غیرانتفاعی تحت حمایت Hack Club تبدیل شد. این ابزار اکنون برای تسریع رشد ویژگی‌ها و بهبود عملکرد، تقریباً به‌طور کامل توسط هوش مصنوعی توسعه می‌یابد.
۱۶ شهریور ۱۴۰۵۴ دقیقه خواندن - ۴۲۸۳
اخبار کوتاه روزانهسختافزارهای بومی در برابر تراشه‌های آمریکایی در مدل Xinghuo X2.5
آزمایشگاه iFlytek مدل ۲۹۳ میلیارد پارامتری Xinghuo X2.5 را برای پایان دادن به وابستگی به سخت‌افزارهای آمریکایی عرضه کرد. هم‌زمان، OpenAI در پی یک حادثه در ویکی، چارچوبی برای افشای خطاهای همراستاسازی عامل‌های هوشمند تدوین می‌کند.
۱۶ شهریور ۱۴۰۵۳ دقیقه خواندن - ۴۲۸۴
آموزش کاربردیدرون سازوکار MCP برای ایجاد حافظهٔ متنیِ متمرکز در مدل‌های زبانی
یک توسعه‌دهنده با استفاده از پروتکل زمینهٔ مدل (MCP)، یک «مغز دوم» شخصی و میزبانی‌شده ساخت تا حافظهٔ متنی Markdown را میان ابزارهای مختلف هوش مصنوعی همگام کند. این سیستم نیاز به تکرار تاریخچهٔ پروژه‌ها برای هر عامل جدید را از بین می‌برد.
۱۶ شهریور ۱۴۰۵۶ دقیقه خواندن - ۴۲۸۵
آموزش کاربردیدرون گردش‌کار متن‌باز محمد صالح برای حذف تاییدات صوری کد
محمد صالح، توسعه‌دهنده مستقل، گردش‌کاری متن‌باز را منتشر کرد که مدل‌های زبانی را از حالت «راضی‌کننده» به مهندسان سخت‌گیر QA تبدیل می‌کند. این سامانه با استفاده از گیت‌های اجباری و الزام به ارجاع دقیق، تنبلی هوش مصنوعی در بازبینی کد را حذف می‌کند.
۱۶ شهریور ۱۴۰۵۳ دقیقه خواندن - ۴۲۸۶
آموزش کاربردیپژوهش SFRL: کاهش ۷۳ درصدی ترافیک ارتباطی در شبکه‌های سیاره‌ای
سیستم جدید یادگیری بازنمایی فدرال پراکنده (SFRL) به کاوشگرهای سیاره‌ای اجازه می‌دهد بدون اشغال پهنای‌باند محدود، دانش زمین‌شناسی تخصصی خود را به اشتراک بگذارند. این رویکرد با جایگزینی اجماع مدل‌ها با تخصص‌های محلی، دقت علمی و تفسیرپذیری تصمیمات را افزایش می‌دهد.
۱۶ شهریور ۱۴۰۵۹ دقیقه خواندن - ۴۲۸۷
اخبار کوتاه روزانهآمازون: تعطیلی Mechanical Turk تا سپتامبر ۲۰۲۶
پلتفرم Mechanical Turk آمازون در اواخر سال ۲۰۲۶ تعطیل می‌شود. این تصمیم لایه‌ی حیاتی «انسان در حلقه» را برای برچسب‌گذاری داده‌های یادگیری ماشین و برون‌سپاری فرآیندهای تجاری حذف می‌کند.
۱۶ شهریور ۱۴۰۵۵ دقیقه خواندن - ۴۲۸۸
اخبار کوتاه روزانهعاملهای OpenAI چگونه حجم کارهای پژوهشی را به ۳.۱ برابر رساندند؟
OpenAI با دستیابی به هدف ساخت «کارآموز پژوهشی خودکار»، حجم عملیات داخلی خود را به شدت افزایش داده است. اکنون در سازمان پژوهشی این شرکت، هر یک روز کاری انسان با بیش از سه روز تلاشِ عامل‌های هوش مصنوعی همراه است.
۱۶ شهریور ۱۴۰۵۶ دقیقه خواندن - ۴۲۸۹
آموزش کاربردیپشتیبانی از تراشه‌های M3 در نصب‌کننده Asahi Linux فعال شد
پروژه Asahi Linux پشتیبانی از سری M3 را به نصب‌کننده رسمی خود اضافه کرد. در حالی که اکثر سخت‌افزارها به‌درستی کار می‌کنند، شتاب‌دهنده گرافیکی و حالت خواب هنوز محدودیت‌های جدی دارند.
۱۶ شهریور ۱۴۰۵۲ دقیقه خواندن - ۴۲۹۰
آموزش کاربردیmeclaw حلقه‌های تکرار عامل‌های هوش مصنوعی را با توپولوژی فایل جایگزین کرد
سامانه meclaw با تبدیل ساختار عملیاتی عامل‌ها به یک درخت دایرکتوری در لینوکس، نیاز به بازنویسی کد برای تغییر رفتار آن‌ها را حذف کرد. این سیستم اجازه می‌دهد عامل‌ها در زمان اجرا، معماری خود را از طریق تغییر فایل‌های JSON بازنویسی کنند.
۱۶ شهریور ۱۴۰۵۸ دقیقه خواندن