هوش مصنوعی و علم داده به فارسی
6.07K subscribers
2.43K photos
557 videos
370 files
2.59K links
DataPlusScience | هوش مصنوعی و علم داده به فارسی
اخبار، تحلیل، آموزش و ابزارهای کاربردی

🌐 DataPlusScience.ir

📩 ارتباط با ما: @Contact2Mebot

📂 کانال فایل‌ها: @Datascientists_Files

💎 بله: ble.ir/dataplusscience

💡 ایتا: eitaa.com/DataPlusScience
Download Telegram
‏آسیب‌پذیری AI Agent از طریق فایل‌های مارک‌داون

‏شرکت Forever Security نوعی حمله را شناسایی کرده که در آن عامل‌های برنامه‌نویسی (AI coding agents) با خواندن فایل‌های مخرب در پوشه Downloads، دستورات ناخواسته را اجرا می‌کنند. در این روش، مهاجمان با قرار دادن فایلی با نام AGENTS.md در پوشه دانلودها، هوش مصنوعی را وادار به بازنویسی پیکربندی، نصب بسته‌های مخرب npm یا سرقت توکن‌های API می‌کنند.

‏این مشکل نه یک باگ نرم‌افزاری، بلکه پیامد نحوه طراحی فعلی این ابزارهاست که فایل‌های متنی در مسیر کاری خود را به عنوان دستورالعمل‌های معتبر تلقی می‌کنند. طبق نتایج آزمایشگاهی، این حمله روی مدل‌های Codex و Claude Code در شرایط تست موفقیت‌آمیز بوده است.

‏برای کاهش ریسک امنیتی، نکات زیر را در نظر داشته باشید:

‏* هرگز عامل‌های هوش مصنوعی را در پوشه Downloads اجرا نکنید.
‏* فایل‌های ناشناس با نام AGENTS.md یا CLAUDE.md را قبل از بررسی باز نکنید.
‏* قابلیت تایید دستی (Human-in-the-loop) و محیط ایزوله (Sandbox) را برای عامل‌ها فعال نگه دارید.

‏جزئیات بیشتر را در گزارش فنی Forever Security بخوانید.

🔗 توضیحات و نمونه‌کد در سایت
This media is not supported in your browser
VIEW IN TELEGRAM
‏🤖 معرفی مدل GPT-6.1 Terra با نصف قیمت نسل قبل

‏شرکت OpenAI مدل GPT-6.1 Terra را برای سناریوهای عاملی، کار با کامپیوتر و کدنویسی روزمره عرضه کرد. قیمت این مدل در API نسبت به GPT-5.6 Terra نصف شده است: ۱ دلار به ازای هر میلیون توکن ورودی و ۶ دلار برای هر میلیون توکن خروجی.

‏طبق اعلام این شرکت، این مدل مسائل را بیش از سه برابر سریع‌تر از Astra و GPT-6.1 Sol حل می‌کند. در بنچمارک Agents' Last Exam نیز عملکرد آن به شکل محسوسی از GPT-5.6 Terra بالاتر است و با قیمت توکن تقریباً یک‌دهمی، عملکردی مشابه GPT-6 Astra ارائه می‌دهد.

‏مدل جدید با شناسه gpt-6.1-terra در API، Codex و ChatGPT Work در دسترس است و روند انتشار آن برای کاربران Plus، Pro، Enterprise و Edu در ChatGPT آغاز شده است.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏💻 میزان حافظه لازم برای اجرای محلی مدل Qwen3-8B

‏بررسی‌های llamaperf نشان می‌دهد اجرای مدل Qwen3-8B با کوانتیزاسیون Q4_K_M و طول کانکست 8K به حدود ۷.۵ گیگابایت حافظه نیاز دارد که شامل وزن‌های مدل، KV-cache و بافرهای پردازشی است. این مقدار حافظه روی کارت گرافیک ۱۰ گیگابایتی یا مک با ۱۶ گیگابایت حافظه یکپارچه قابل اجراست.

‏با این حال، افزایش طول کانکست به 128K حجم حافظه مصرفی را تغییر می‌دهد؛ در این حالت تنها KV-cache در فرمت ۱۶ بیتی حدود ۱۹ گیگابایت حافظه اشغال می‌کند. کوانتیزه‌کردن وزن مدل به Q4 به‌طور خودکار KV-cache را ۴ بیتی نمی‌کند.

‏مصرف دقیق حافظه به موتور اجرا، فرمت کش و تنظیمات بستگی دارد، بنابراین هنگام اجرای محلی مدل‌ها باید طول پنجره گفتگو را هم در محاسبه حافظه در نظر گرفت.

🔗 ادامه مطلب در سایت

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما


#Qwen3_8B #KV_cache
🧠 خلاصه تحولات 24 ساعت گذشته هوش مصنوعی و علوم داده
🗂 گزارش #8 | 📌 5 آیتم گزارش | 🧾 از 9 پست بررسی‌شده
🕐 دوشنبه 1405/08/04 ساعت 14:00 تا سه‌شنبه 1405/08/05 ساعت 14:00

امنیت ایجنت های کدنویسی در برابر فایل های مخرب
گزارش منبع: این مشکل نه یک باگ نرم افزاری، بلکه پیامد نحوه طراحی فعلی این ابزارهاست که فایل های متنی در مسیر کاری خود را به عنوان دستورالعمل های معتبر تلقی می کنند.
برداشت: ایجنت ها در پردازش دایرکتوری، فایل های متنیِ (Markdown) موجود در ریشه پروژه را به طور پیش فرض، دستورالعمل سیستمی تلقی می کنند که منجر به تزریق دستور (Prompt Injection) می شود.
نامشخص: مشخص نیست که آیا با محدودسازی دسترسی فایل (File System Permissions) در لایه ایجنت، این آسیب پذیری به طور کامل برطرف می شود یا خیر.
آزمون پیشنهادی: ایجاد یک فایل AGENTS.md در دایرکتوری کار، شامل دستوری برای چاپ یک رشته ثابت (مانند 'HACKED') و سنجش اجرای آن توسط ایجنت در محیط Sandbox.


مدیریت KV-cache در استنتاج محلی مدل ها
گزارش منبع: افزایش طول کانکست به 128K حجم حافظه مصرفی را تغییر می دهد؛ در این حالت تنها KV-cache در فرمت ۱۶ بیتی حدود ۱۹ گیگابایت حافظه اشغال می کند.
برداشت: کوانتیزاسیون وزن ها (مثلاً Q4) تأثیری بر حجم اشغال شده توسط KV-cache ندارد؛ لذا با افزایش طول پنجره زمینه، گلوگاه حافظه از وزن مدل به کشِ مقادیر تغییر می یابد.
نامشخص: سهم دقیق تکنیک های بهینه سازی مانند PagedAttention در کاهش این مصرف ۱۹ گیگابایتی برای سخت افزارهای غیردیتاسنتر در این گزارش ذکر نشده است.
آزمون پیشنهادی: اندازه گیری مصرف حافظه VRAM در مدل Qwen3-8B با استفاده از llama.cpp در دو سناریوی کانکست 8K و 128K و محاسبه مابه تفاوت واقعی اشغال حافظه.


🔬 امنیت و کارایی مدل‌ها

آسیب‌پذیری AI Agent از طریق فایل‌های مارک‌داون
اجرای ناخواسته دستورات توسط ایجنت‌ها در اثر خواندن فایل‌های مخرب در مسیر کاری؛ ضرورت ایزوله‌سازی.

میزان حافظه لازم برای اجرای محلی مدل Qwen3-8B
تاثیر KV-cache بر مصرف حافظه؛ افزایش کانکست تا 128K نیازمند ۱۹ گیگابایت حافظه اضافه است.

معرفی بنچمارک BabelArena
سنجش عملکرد ایجنت‌ها در ۲۳ زبان با ترجمه همزمان محیط کاری و دستورالعمل‌ها؛ تایید گرایش مدل‌ها به خروج از زبان مقصد.

مدل Nanbeige 4.3 با ۳۳ میلیارد پارامتر
مدل وزن‌باز با تمرکز بر کدنویسی و سناریوهای عاملی؛ برتری در بنچمارک‌های تخصصی نسبت به رقبای هم‌رده.

معرفی مدل GPT-6.1 Terra
مدل جدید OpenAI با هزینه یک‌دهم GPT-5.6 در خروجی؛ تمرکز بر سناریوهای عاملی و سرعت سه برابری نسبت به نسخه Astra.


🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
This media is not supported in your browser
VIEW IN TELEGRAM
‏⚡️ افزایش ۲.۸۵ برابری سرعت Gemma با بهینه‌سازی Gemini در vLLM

‏گوگل از مدل Gemini 4 Argon برای بهینه‌سازی اینفرنس Gemma 4 E2B در فریم‌ورک vLLM روی کارت‌های NVIDIA A100 استفاده کرد. طبق اعلام گوگل، در این بنچمارک نرخ تولید توکن از حدود ۳۷,۹۰۰ به بیش از ۱۰۸,۰۰۰ توکن در ثانیه رسید.

‏تغییرات اعمال‌شده بخش‌های مختلف اجرا، از تنظیمات attention تا speculative decoding را شامل می‌شود. گوگل می‌گوید خروجی توکن‌ها در سناریوهای تست‌شده هیچ افت کیفیتی نداشته و کاملاً تطابق دارد.

‏این بهینه‌سازی روی پشته نرم‌افزاری انجام شده و هدف آن گرفتن خروجی بیشتر از همان سخت‌افزار است. البته این ارقام به یک سنجش مشخص مربوط می‌شوند و بدون مشخص بودن شرایط بار کاری، نمی‌توان آن‌ها را به هر سروری یا به سرعت پاسخ‌دهی یک چت تک‌کاربره تعمیم داد.

‏کد این تغییرات در پول‌ریگوئست‌های عمومی vLLM منتشر شده است.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏🎨 کانوا مدل اختصاصی Canva Craft را برای تولید تصویر منتشر کرد

‏کانوا از Canva Craft رونمایی کرد؛ نخستین مدل اختصاصی این سرویس که برای تولید تصویر در طراحی گرافیک ساخته شده است.

‏معماری این مدل دو مرحله اصلی دارد: ابتدا با برنامه‌ریزی ترکیب‌بندی، روابط فضایی اشیاء، مقیاس و جایگاه بلوک‌های متنی را تعیین می‌کند و سپس تصویر نهایی را با وضوح تا 2K و در نسبت‌های تصویر مختلف می‌سازد. ساختار لایه‌ای مدل نیز امکان تبدیل تصویر به عناصر برداری قابل‌ویرایش را از طریق ابزار Magic Layers فراهم می‌کند.

‏این مدل روی میلیون‌ها طرح کتابخانه کانوا آموزش دیده است، اصول تایپوگرافی را رعایت می‌کند و توانایی تولید متن به ۵۵ زبان مختلف را دارد.

‏مدل Craft اکنون در ویرایشگر کانوا فعال شده و از طریق API عمومی نیز در دسترس است. پشتیبانی از سرور Canva MCP برای فراخوانی مدل توسط عامل‌های هوش مصنوعی به‌زودی اضافه می‌شود.

🔗 جزئیات خبر در سایت

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما


#Canva_Craft #Magic_Layers
Forwarded from کی‌بـُرد
✨ بورسیه دانش‌آموزی آکادمی همراه اول؛ فرصتی برای یادگیری فناوری‌های دیجیتال

🌀 رویداد ملی کی‌بُرد آکادمی همراه اول با هدف آموزش تخصصی مهارت‌های روز فناوری‌های دیجیتال، برای دانش‌آموزان پایه‌های هشتم تا دوازدهم برگزار می‌شود.

رشته‌های چهارمین دوره کی‌بُرد:
👾 هوش مصنوعی
🎮 بازی‌سازی
🔌 اینترنت اشیاء
🔐 امنیت سایبری

رویداد کی‌بُرد، فرصتی برای رشد:
💻 آموزش‌های آنلاین و غیرحضوری
🔧 ساخت پروژه زیر نظر منتورهای متخصص
🏆 شرکت در مسابقه ملی دانش‌آموزی کی‌بُرد
🔥 امکان شرکت در بوت‌کمپ ویژه همراه اول برای برگزیدگان رویداد کی‌بُرد

🏆 جایزه بخش مسابقه رویداد:
یـک میلیارد تومان جایزه نقدی و صدها جایزه ارزنده غیرنقدی دیگر 🎁

لینک ثبت‌نام:
https://l.kibordevents.com/tgm

💎 کد تخفیف 1 میلیون تومانی: telegram50
⭕️ مهلت استفاده: 10 آبان 1405

@Kibordevents
‏🧪 رد فرضیه زمان نمایی توسط مدل Claude

‏شرکت Anthropic با انتشار مقاله‌ای تحت عنوان A 2^o(n) Time Algorithm for 3-SAT، اعلام کرد که یک الگوریتم قطعی برای حل مسئله 3-SAT در زمان زیرنمایی پیدا کرده است. این یافته به معنای رد شدن فرضیه زمان نمایی (ETH) است.

‏هسته اصلی این الگوریتم توسط یک مدل تحقیقاتی داخلی Claude و بدون دخالت مستقیم انسانی کشف شده است. این اثبات در قالب زبان برنامه‌نویسی Lean 4 فرمالیزه شده و توسط موتورهای Lean و nanoda بررسی شده است.

‏مهم‌ترین جزئیات فنی این پروژه:
‏- ارائه الگوریتم برای حل و شمارش جایگشت‌های ارضاکننده در زمان 2^o(n).
‏- استفاده از ۱۰۵۰ ماژول بر پایه کتابخانه Mathlib.
‏- وجود دو قضیه اثبات‌نشده (sorry) در فایل Challenge.lean که هنوز بررسی نشده‌اند.

‏این نتیجه صرفاً جنبه مجانبی دارد و در حل عملی مسائل یا پاسخ به پرسش P در مقابل NP کاربرد ندارد. بخش بزرگی از فرآیند فرمالیزاسیون توسط مدل‌های هوش مصنوعی انجام شده و هنوز انسانی تمامی بخش‌های آن را به‌طور کامل تأیید نکرده است.

🔗 توضیحات و نمونه‌کد در سایت

🇮🇷 سایت | تلگرام
‏⚡️ قرارداد گوگل برای تأمین انرژی دیتاسنترها از طریق کاهش مصرف عمومی

‏گوگل در همکاری با شرکت Voltus، اپراتور نیروگاه‌های مجازی، قصد دارد ۱ گیگاوات ظرفیت انرژی در شبکه PJM آمریکا تأمین کند. این شبکه یکی از بزرگترین سیستم‌های انرژی در ایالات متحده است که ۶۷ میلیون نفر را تحت پوشش دارد.

‏در این طرح، به جای ساخت نیروگاه‌های جدید، مصرف‌کنندگان خانگی و کسب‌وکارها در ساعات اوج مصرف، استفاده از شبکه را کاهش می‌دهند. Voltus به این مشترکان هزینه پرداخت می‌کند و گوگل بودجه آن را تأمین می‌کند تا انرژی آزادشده را به دیتاسنترهای هوش مصنوعی خود اختصاص دهد.

‏این فرایند اغلب به صورت خودکار انجام می‌شود؛ برای نمونه، ترموستات‌های هوشمند در روزهای گرم دمای کولر را مدیریت می‌کنند یا باتری‌های خانگی جایگزین برق شبکه می‌شوند. گوگل پیش‌تر در ماه ژوئن این همکاری را با ۱۰۰ مگاوات آغاز کرده بود و اکنون هدف آن ده برابر افزایش یافته است. سیستم PJM در سال‌های اخیر با رشد بیش از ۸ برابری قیمت تأمین انرژی در ساعات اوج و صف طولانی برای اتصال نیروگاه‌های جدید مواجه بوده است.

🔗 جزئیات خبر در سایت

🇮🇷 سایت | تلگرام
‏💻 پیشنهاد خروج داوطلبانه برای ۶۰ هزار کارمند مایکروسافت

‏شرکت مایکروسافت در طرحی جدید، به حدود ۶۰ هزار نفر از کارکنان خود پیشنهاد داده است تا در ازای دریافت بسته سنوات، این شرکت را ترک کنند. این تعداد، نزدیک به ۲۷ درصد از کل ۲۲۳ هزار نیروی کار مایکروسافت را در کشورهای آمریکا، کانادا، بریتانیا و هند شامل می‌شود و سطوح شغلی تا لول ۷۰، از جمله برخی مدیران ارشد را در بر می‌گیرد.

‏بسته پیشنهادی شامل پرداخت حقوق بر اساس سابقه کار، ادامه واگذاری سهام و پوشش بیمه سلامت برای مدت مشخص است. کارکنان تا اوایل دسامبر فرصت دارند در مورد این پیشنهاد تصمیم بگیرند و افرادی که آن را بپذیرند، در پایان سال میلادی از شرکت جدا می‌شوند.

‏مهم‌ترین جزئیات این طرح:
‏* تیم‌های Copilot، CoreAI، ویندوز و ایکس‌باکس در این برنامه مشارکت دارند.
‏* تیم‌های بخش فروش در این طرح حضور ندارند.
‏* امی کولمن، مدیر ارشد منابع انسانی مایکروسافت، این اقدام را روشی برای تطبیق ساختار نیروی کار با نیازهای متغیر عنوان کرده است.

‏جزئیات بیشتر این خبر را می‌توانید در گزارش CNBC و وبلاگ رسمی مایکروسافت مطالعه کنید.

🔗 ادامه مطلب در سایت

🇮🇷 سایت | تلگرام
This media is not supported in your browser
VIEW IN TELEGRAM
‏🚀 معرفی GPT-6.1 Terra: مدل جدید OpenAI

‏OpenAI مدل جدید GPT-6.1 Terra را معرفی کرده است. این مدل در بنچمارک‌ها تقریباً به پای GPT-6.1 Sol می‌رسد اما با نصف قیمت. تمرکز اصلی آن بر درک بصری (visual understanding)، استفاده از کامپیوتر (computer use) و تولید متن طبیعی‌تر بوده است.

‏در زمینه کدنویسی، GPT-6.1 Terra در بنچمارک Terminal-Bench 4.0 دو برابر مدل قبلی امتیاز کسب کرده است. این مدل همچنین در استفاده از توکن‌ها بسیار کارآمدتر شده است. در ChatGPT Work و Codex، با تعرفه‌های یکسان، با مدل جدید می‌توان کارهای بیشتری انجام داد. در آزمون Agents’ Last Exam، با سطح استدلال متوسط، نتایج ۱۵ واحد درصدی بهتر از GPT-5.6 Terra به دست آمده، در حالی که هزینه آن حدوداً یک‌سوم است. این عملکرد با GPT-6 Astra قابل مقایسه است اما با هزینه‌ای ده‌برابر کمتر به ازای هر توکن. وظایف بیش از سه برابر سریع‌تر از Astra و Sol انجام می‌شوند.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏انتشار نسخه ۲.۰ ابزار awesome-iran-mcp

‏نسخه جدید پروژه awesome-iran-mcp با پشتیبانی از ۳۶ سرور و ۴۶۹ ابزار کاربردی برای اتصال ایجنت‌های هوش مصنوعی به سرویس‌های ایرانی منتشر شد. این ابزار به دلیل نبود API عمومی در بسیاری از سایت‌های داخلی، امکان تعامل مستقیم با داده‌های وب‌سایت‌های ایرانی را فراهم می‌کند.

‏برخی از مهم‌ترین قابلیت‌های این نسخه عبارتند از:
‏• فروشگاه‌ها: جستجو و مقایسه قیمت و محصولات در باسلام، بانی‌مد و بانه.
‏• اخبار و داده: دریافت اخبار از خبرگزاری‌های اصلی، استعلام زلزله و مشاهده قیمت لحظه‌ای طلا، ارز و رمزارز.
‏• قانون و مالیات: جست‌وجوی دقیق در بیش از ۱۶۸ هزار قانون و بخشنامه قضایی و مالیاتی.
‏• آموزش: جست‌وجو در دوره‌های آموزشی مکتب‌خونه بر اساس قیمت، مدرس و امتیاز.
‏• نرم‌افزار: مقایسه اپلیکیشن‌ها در کافه‌بازار و مایکت و دسترسی به سایت‌های دانلود نرم‌افزار.

‏این پروژه متن‌باز (MIT) است و با کلاینت‌های سازگار با پروتکل MCP مانند Claude، Cursor و Copilot کار می‌کند.

🔗 جزئیات خبر در سایت

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
❤3
‏🤖 رد فرضیه ETH توسط مدل Claude

‏شرکت Anthropic اعلام کرد که مدل تحقیقاتی داخلی Claude موفق به ارائه راه‌حلی برای مسئله 3-SAT شده است که فرضیه زمان نمایی (ETH) را رد می‌کند. طبق گزارش منتشر شده در این مقاله، این مدل الگوریتمی قطعی برای حل مسئله 3-SAT با پیچیدگی زمانی 2^o(n) یافته است.

‏بر اساس جزئیات فنی:
‏* کشف الگوریتم در تاریخ ۱۶ اکتبر و با تولید ۱۴ میلیون توکن خروجی انجام شده است.
‏* در فرایند یافتن راه‌حل، هیچ‌گونه دخالت انسانی وجود نداشته و نقش محققان تنها در تدوین نهایی مقاله بوده است.
‏* علاوه بر 3-SAT، مدل موفق به حل نسخه پیچیده‌تر این مسئله یعنی محاسبه تعداد مجموعه‌های ارضاپذیر (#3-SAT) شده است.

‏کدها و مستندات این دستاورد در مخزن رسمی Anthropic قابل مشاهده است. تاریخ کشف این الگوریتم با زمان گزارش مشابه از سوی OpenAI هم‌خوانی دارد.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما


#Claude #ETH
This media is not supported in your browser
VIEW IN TELEGRAM
‏🤖 ابزار AI Design Skills برای ساخت وب‌سایت با Claude Code

‏مجموعه ابزار AI Design Skills به ایجنت‌های هوش مصنوعی امکان می‌دهد وب‌سایت‌ها را از صفر طراحی کنند. این ابزار پس از بررسی محصول، ساختار صفحه و محتوای متنی را برنامه‌ریزی کرده و فونت‌ها، رنگ‌ها، فاصله‌گذاری و المان‌های حرکتی را انتخاب می‌کند.

‏خروجی این فرآیند یک سیستم بصری واقعی است و از قالب‌های آماده و تکراری استفاده نمی‌کند. قابلیت‌های اصلی آن عبارتند از:

‏* طراحی کامل وب‌سایت از صفر
‏* بهبود وب‌سایت‌های موجود
‏* تبدیل طرح‌های Figma یا اسکرین‌شات‌ها به رابط‌های کاربری متحرک

‏این ابزار با ایجنت‌هایی نظیر Claude Code، Cursor، Codex و Windsurf سازگار است. پروژه تحت مجوز MIT منتشر شده و برای استفاده شخصی‌سازی رایگان است.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما


#AIDesignSkills #ClaudeCode
‏🤖 انتشار مدل جدید GPT-6.1 Terra برای تعامل با رابط کاربری

‏شرکت OpenAI مدل جدیدی به نام GPT-6.1 Terra را منتشر کرد که با تمرکز بر استدلال تصویری و کار با سیستم‌عامل طراحی شده است. این مدل می‌تواند رابط کاربری نرم‌افزارها را ببیند و مستقیماً در محیط کامپیوتر اقداماتی انجام دهد.

‏طبق اعلام OpenAI، این نسخه نسبت به مدل قبلی Terra سرعت بالاتری دارد، خطاهای کدنویسی در آن کاهش یافته و هزینه استفاده از API آن نیز تقریباً به نصف رسیده است.

‏این مدل در دسترس کاربران ChatGPT Work، پلتفرم Codex و همچنین از طریق API با نام gpt-6.1-terra قابل استفاده است.

‏به دلیل توانایی این مدل در انجام دستورات مستقیم در سیستم‌عامل، توصیه می‌شود برای دسترسی به حساب‌های حساس مانند ایمیل، CRM یا پنل‌های تبلیغاتی حتماً از محیط ایزوله (Sandbox)، لاگ‌گیری و تأیید نهایی برای مراحل حساس استفاده کنید.

🔗 جزئیات خبر در سایت

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما


#GPT_6_1_Terra #استدلال_تصویری
🧠 خلاصه تحولات 24 ساعت گذشته هوش مصنوعی و علوم داده
🗂 گزارش #9 | 📌 6 آیتم گزارش | 🧾 از 15 پست بررسی‌شده
🕐 سه‌شنبه 1405/08/05 ساعت 14:00 تا چهارشنبه 1405/08/06 ساعت 14:00

اعتبار اثبات ریاضی 3-SAT توسط مدل Claude
گزارش منبع: وجود دو قضیه اثبات نشده (sorry) در فایل Challenge.lean که هنوز بررسی نشده اند.
برداشت: تا زمان رفع کامل sorryها در Lean 4، ادعای رد فرضیه ETH در حد یک طرح اولیه اثبات باقی می ماند و ارزش ریاضی اثبات شده ندارد.
نامشخص: آیا دو قضیه باقی مانده بدون تغییر در ساختار اصلی الگوریتم اثبات پذیر هستند یا نیاز به فرض های جدید دارند.
آزمون پیشنهادی: اجرای کامپایلر Lean 4 روی فایل Challenge.lean پس از جایگزینی قضایای sorry با اثبات تاکتیکی و سنجش خروجی بدون خطا.


ارزیابی بهینه سازی اینفرنس Gemma 4 در vLLM
گزارش منبع: بدون مشخص بودن شرایط بار کاری، نمی توان آن ها را به هر سروری یا به سرعت پاسخ دهی یک چت تک کاربره تعمیم داد.
برداشت: افزایش نرخ توکن به دلیل ترکیب speculative decoding و تغییرات attention در بار کاری همزمان بالا است و تاخیر تک کاربر را کم نمی کند.
نامشخص: میزان تاثیر جداگانه speculative decoding در برابر بهینه سازی attention روی تاخیر پردازش اولین توکن (TTFT).
آزمون پیشنهادی: مقایسه TTFT و نرخ تولید توکن Gemma 4 E2B در vLLM تحت دو بار کاری تک درخواست و ۱۲۸ درخواست همزمان روی یک کارت A100.


⚡ بهینه‌سازی اجرا و مدل‌های جدید

افزایش سرعت اینفرنس Gemma 4 E2B در فریم‌ورک vLLM
گوگل با بهینه‌سازی پشته نرم‌افزاری و speculative decoding در vLLM نرخ خروجی توکن را روی A100 افزایش داد.

انتشار مدل GPT-6.1 Terra با قابلیت تعامل مستقیم با سیستم‌عامل
مدل جدید OpenAI با کاهش هزینه API و افزایش سرعت، برای استدلال بصری و اجرای دستورات در محیط کامپیوتر ارائه شد.

رونمایی کانوا از مدل اختصاصی تولید تصویر Canva Craft
مدل دو مرحله‌ای کانوا با قابلیت خروجی 2K و تبدیل تصاویر به لایه‌های برداری قابل‌ویرایش منتشر شد.


🔬 تحقیقات نظری و ابزارهای توسعه

ارائه الگوریتم زمان زیرنمایی برای 3-SAT با مدل Claude
آنتروپیک الگوریتمی در زبان Lean 4 برای رد فرضیه زمان نمایی منتشر کرد که دو قضیه اثبات‌نشده در آن باقی مانده است.

انتشار نسخه ۲.۰ ابزار awesome-iran-mcp برای اتصال ایجنت‌ها به خدمات.
نسخه جدید با ۳۶ سرور و ۴۶۹ ابزار امکان تعامل ایجنت‌های هوش مصنوعی با داده‌های وب‌سایت‌ها و قوانین ایران را فراهم کرد.

معرفی ابزار AI Design Skills برای طراحی وب‌سایت با ایجنت‌های هوش مصنوعی
مجموعه ابزار متن‌باز جدید امکان ساخت سیستم‌های بصری و تبدیل طرح‌های فیگما به کد را برای ایجنت‌ها فراهم می‌کند.


🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏نقشه راه مهندسی هوش مصنوعی مولد ۲۰۲۶

‏برای تبدیل شدن به مهندس Generative AI، نیازی به گذراندن ده‌ها دوره آموزشی نیست. تسلط بر مفاهیم کلیدی و اجرای پروژه‌های عملی کافی است. در ادامه، این مسیر یادگیری را در ده گام اصلی بررسی می‌کنیم:

‏۱. مبانی ترنسفورمرها و LLM: یادگیری معماری، مکانیزم‌های توجه (Attention)، توکنایزرها و نحوه تولید پاسخ توسط مدل‌ها. (مشاهده دوره)

‏۲. امبدینگ‌ها و دیتابیس‌های برداری: درک مفاهیم تشابه معنایی و کار با ابزارهایی مثل FAISS و Pinecone. (منابع آموزشی)

‏۳. مهندسی پرامپت و خروجی‌های ساختاریافته: کار با Zero-shot، Few-shot و بهینه‌سازی پرامپت‌ها برای دریافت فرمت JSON.

‏۴. سیستم‌های RAG: یادگیری اینجست کردن اسناد، بازیابی ترکیبی و رنک‌بندی پاسخ‌ها. (آموزش اصلی)

‏۵. فریم‌ورک LangChain: اتصال مدل‌ها به ابزارهای جانبی و داده‌های شخصی. (لیست دوره)

‏۶. معماری Agentic و LangGraph: ساخت جریان‌های کاری هوشمند و خودمختار با مدیریت وضعیت (State Management). (منابع یادگیری)

‏۷. استقرار (Deployment) در فضای ابری: کار با زیرساخت‌هایی مثل Amazon Bedrock و Azure برای مقیاس‌پذیری و مدیریت هزینه‌ها.

‏۸. ارزیابی و امنیت: استفاده از ابزارهایی مثل RAGAS برای تشخیص توهم (Hallucination) و ایمن‌سازی در برابر حملات Prompt Injection.

‏۹. پروتکل MCP: یادگیری استانداردهای جدید برای اتصال مدل‌ها به منابع داده و ابزارهای خارجی. (مستندات اصلی)

‏۱۰. ساخت پروژه نهایی: پیاده‌سازی کاربردی با تمرکز بر لاگ‌گذاری، مانیتورینگ و رابط کاربری. برای شروع می‌توانید این پروژه‌ها را ببینید:
‏- تولیدکننده پست خودکار
‏- چت‌بات با LangGraph
‏- اپلیکیشن Multi-Agent

‏به جای دنبال کردنِ بی‌وقفه فریم‌ورک‌های جدید، روی مفاهیم پایه تمرکز کنید و با استقرارِ حداقل یک پروژه کامل، تجربه عملی به دست آورید.

🔗 ادامه مطلب در سایت

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما


#LangGraph #RAGAS
‏🌐 انتشار مدل هوش مصنوعی Atria Dawn با پنجره متنی ۵۱۲ هزار توکنی

‏آزمایشگاه هوش مصنوعی شانگهای مدل Atria Dawn را با وزن‌های متن‌باز منتشر کرد. این مدل که بر پایه معماری GLM-5.2 MoE با ۷۴۴ میلیارد پارامتر ساخته شده، برای اجرای وظایف تخصصی توسط ایجنت‌های هوش مصنوعی طراحی شده است.

‏Atria Dawn به طور اختصاصی برای تعامل چندمرحله‌ای با ابزارها بهینه شده و در حوزه‌های زیر کاربرد دارد:

‏* تحقیقات: جست‌وجو و طبقه‌بندی منابع و طراحی برنامه‌های آزمایش.
‏* توسعه: ساخت برنامه‌ها، سیستم‌های یادگیری ماشین و محیط‌های تعاملی.
‏* اسناد: تولید گزارش و ارائه داده‌ها.
‏* امنیت: شناسایی آسیب‌پذیری‌ها و اصلاح کد.

‏طبق گزارش تیم توسعه‌دهنده، این مدل در بنچمارک‌هایی مانند AutomationBench، CyberGym، SkillsBench و WideSearch عملکرد بالایی دارد؛ برای نمونه امتیاز آن در AutomationBench برابر با ۵۴.۷ و در CyberGym معادل ۸۶.۸ است.

‏این مدل تنها از ورودی متنی پشتیبانی می‌کند و وزن‌های آن در نسخه‌های کامل و FP8 با مجوز MIT در دسترس است. امکان استقرار مستقل این مدل از طریق SGLang و vLLM فراهم شده است.

🔗 جزئیات خبر در سایت
❤1
This media is not supported in your browser
VIEW IN TELEGRAM
‏🎬 افزودن قابلیت تدوین ویدیو به ChatGPT

‏کمپانی CapCut در رویداد اخیر خود در لس‌آنجلس اعلام کرد که طی ماه‌های آینده، یک پلاگین اختصاصی برای ChatGPT عرضه می‌کند.

‏با استفاده از این ابزار، کاربران می‌توانند ایده خود را در محیط چت توصیف کنند تا هوش مصنوعی یک پیش‌نویس اولیه از ویدیو تولید و تدوین کند. این پیش‌نویس قابلیت ویرایش در همان محیط گفتگو را دارد و برای اصلاحات نهایی و خروجی گرفتن، می‌توان آن را در ویرایشگر تحت وب CapCut باز کرد.

‏هنوز جزئیاتی درباره نیاز به اشتراک‌های پولی برای دسترسی به این پلاگین منتشر نشده است. این قابلیت در واقع تلاشی از سوی ByteDance برای یکپارچه‌سازی ابزارهای تدوین با مراحل اولیه ایده‌پردازی کاربران در چت‌بات‌هاست. با این حال، همچنان برای انجام تنظیمات دقیق و نهایی، استفاده از محیط ویرایشگر ویدیویی این شرکت ضروری باقی می‌ماند.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما


#CapCut #ByteDance
Media is too big
VIEW IN TELEGRAM
‏🤖 معرفی مدل Genie 4 برای ساخت محیط‌های تعاملی

‏گوگل دیپ‌مایند (Google DeepMind) مدل Genie 4 را معرفی کرد که قادر است بر اساس متن یا تصویر، محیط‌های فوتورئالیستیک و تعاملی بسازد. این مدل علاوه بر تولید تصویر، به صورت هم‌زمان صدا، موسیقی و دیالوگ‌های محیط را نیز پردازش می‌کند.

‏در هنگام اجرای این مدل، کاربران می‌توانند با ارسال دستورات متنی، مواردی مانند زاویه دوربین، شرایط جوی یا حضور افراد در صحنه را تغییر دهند. ساختار فنی این سیستم از ترکیب دو مدل استفاده می‌کند:
‏* Gemini Omni: مسئولیت پردازش بخش بصری و تولید محیط را بر عهده دارد.
‏* Gemini 3.8 Flash: وظیفه حفظ تداوم و منطق رویدادها را در طول تعامل کاربر انجام می‌دهد.

‏این ابزار با هدف آموزش عامل‌های هوش مصنوعی و ربات‌ها پیش از به‌کارگیری در دنیای واقعی طراحی شده و برای حوزه‌هایی مانند تولید بازی، سینما و روزنامه‌نگاری کاربرد دارد.

‏در حال حاضر دسترسی به این مدل محدود به تسترهای تاییدشده است و در هفته‌های آینده برای مشترکین Google AI Ultra در پروژه Genie فعال می‌شود.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما