هوش مصنوعی و علم داده به فارسی
6.06K subscribers
2.37K photos
553 videos
369 files
2.54K links
DataPlusScience | هوش مصنوعی و علم داده به فارسی
اخبار، تحلیل، آموزش و ابزارهای کاربردی

🌐 DataPlusScience.ir

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

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

💎 بله: ble.ir/dataplusscience

💡 ایتا: eitaa.com/DataPlusScience
Download Telegram
‏🌐 انتشار نسخه ۱.۰ پشته نرم‌افزاری llm-d برای استنتاج توزیع‌شده

‏توسعه‌دهندگان گوگل، رد‌هت و آی‌بی‌ام نسخه اول llm-d را عرضه کردند. این ابزار مجموعه‌ای از سرورهای vLLM و SGLang را در کوبرنتیز به یک استخر استنتاج هماهنگ تبدیل می‌کند.

‏ایمهم‌ترین اصولی این سیستم، مسیریابی آگاه از کش (cache-aware) است. روتر مشخص می‌کند که کدام نسخه از مدل (replica) پیشوند (prefix) مربوط به هر ایجنت را در اختیار دارد و درخواست‌های بعدی را به همان سمت هدایت می‌کند. در صورت تکمیل حافظه GPU یا TPU، به جای حذف داده‌ها، حافظه KV کش به رم سیستم، SSD یا Managed Lustre منتقل می‌شود.

‏نتایج اولیه در بنچمارک‌های گوگل نشان می‌دهد:
‏* نرخ موفقیت کش پیشوند مدل جمینای از ۳۵ به ۷۰ درصد رسیده است.
‏* توان عملیاتی (throughput) در مقیاس ۱۷ هزار گره GKE تا ۲.۹ برابر افزایش یافته است.

‏این ابزار تحت مجوز Apache 2.0 منتشر شده و از پردازنده‌های گرافیکی انویدیا، AMD، اینتل و همچنین TPUهای گوگل پشتیبانی می‌کند. مستندات فنی و جزئیات بیشتر در سایت پروژه و وبلاگ گوگل قابل دسترسی است.

🇮🇷 سایت | تلگرام
‏اثبات حدس ریاضی KLS با کمک هوش مصنوعی

‏محققان مایکروسافت به همراه همکاران خود موفق به حل حدس KLS شدند؛ مسئله‌ای در هندسه و احتمالات که از سال ۱۹۹۵ تاکنون حل‌نشده باقی مانده بود. این حدس بیان می‌کند که برای توزیع‌های احتمالی با ابعاد بالا، بهترین برشِ «تخت» (صفحه) حداکثر با یک ثابت جهانی از بهترین برش با هر شکل دلخواه متفاوت است.

‏در این پژوهش، مدل‌های هوش مصنوعی با بررسی بیش از ۱۰۰ رویکرد مختلف، به محققان در انجام محاسبات و اعتبارسنجی استدلال‌ها کمک کردند. بر اساس گزارش مایکروسافت، تلاش برای حل این مسئله بدون هدایت انسانی و با همان بودجه پردازشی، به نتیجه نرسیده بود.

‏این دستاورد با چند روش مکمل تأیید شده است که مهم‌ترین آن‌ها عبارتند از:
‏* انتشار اثبات‌های مستقل و موازی توسط گروه‌های دیگر.
‏* فرمالیزه‌سازی و تأیید محاسباتی بخشی از اثبات با استفاده از Lean 4.

‏این هم‌افزایی میان روش‌های سنتی ریاضی و ابزارهای هوش مصنوعی، مبانی نظری جدیدی برای الگوریتم‌های نمونه‌برداری و بهینه‌سازی فراهم کرده است.

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


#KLS_conjecture #Lean_4
❤1
🧠 خلاصه تحولات 48 ساعت گذشته هوش مصنوعی و علوم داده
🗂 گزارش #4 | 📌 8 آیتم گزارش | 🧾 از 23 پست بررسی‌شده
🕐 چهارشنبه 1405/07/29 ساعت 14:00 تا جمعه 1405/08/01 ساعت 14:00

🔎 تحلیل فنی و پیامد عملی
توسعه اخیر زیرساخت‌های اجرای هوش مصنوعی بر کاهش بار حافظه و بهینه‌سازی مسیر داده تمرکز دارد. پشته نرم‌افزاری llm-d با اجرای مسیریابی آگاه از کش پیشوند در زیرساخت کوبرنتیز، نرخ موفقیت کش مدل جمینای را از ۳۵ به ۷۰ درصد رسانده و در مقیاس ۱۷ هزار گره توان عملیاتی را ۲.۹ برابر کرده است؛ این ابزار در صورت پر شدن حافظه شتاب‌دهنده، کش KV را به سیستم یا ذخیره‌ساز منتقل می‌کند. در سطح معماری مدل نیز، مدل متن‌باز MemT-1.0-Nano با بهره‌گیری از وضعیت داخلی برای ثبت حافظه گفتگو، نیاز به بارگذاری مجدد کل تاریخچه متنی را کاهش می‌دهد. همچنین بک‌اند TorchTPU با ثبت PrivateUse1 امکان اجرای مستقیم PyTorch روی TPUهای گوگل را بدون نیاز به JAX runtime فراهم کرده و پس از کامپایل، زمان اجرا را از ۱۱.۴۹ ثانیه به ۲.۷۸ ثانیه کاهش داده است. محدودیت اصلی این دستاوردها، وابستگی عملکرد به سخت‌افزار مشخص و شرایط زیرساختی آزمایش‌شده است؛ برای نمونه، دست‌یابی به بهره‌وری ۵۲ درصدی MFU در TorchTPU روی مدل Qwen 3 8B گزارش شده و برای سایر مدل‌ها نیازمند ارزیابی مجزا است. همچنین ارقام بهبود توان عملیاتی در llm-d بر اساس بنچمارک‌های اولیه اعلامی توسعه‌دهندگان است و در بار کاری نامتوازن ممکن است رفتار متفاوتی داشته باشد. برای تیم‌های مهندسی، ارزیابی مشروط این ابزارها بر اساس حجم حافظه اختصاصی و الگوی درخواست‌های پیشوند توصیه می‌شود.


🤖 مدل‌ها و ابزارهای توسعه

عرضه مدل MemT-1.0-Nano با حافظه داخلی گفتگو
این مدل متن‌باز با ذخیره وضعیت گفتگو در حافظه داخلی، نیاز به ارسال مجدد تمام تاریخچه متن را برطرف می‌کند.

معرفی ۵ مخزن گیت‌هاب برای فاین‌تونینگ مدل‌های بزرگ
مخازن LLaMA-Factory، Unsloth، Axolotl، PEFT و TRL ابزارهای کاربردی برای سفارشی‌سازی و آموزش مدل‌ها ارائه می‌دهند.

انتشار مدل متن‌باز IBM Granite Speech 5.0 2B
مدل دو میلیاردی جدید IBM امکان نویسه‌گردانی و ترجمه همزمان گفتار را تحت مجوز Apache 2.0 فراهم کرده است.


🛠️ کاربردهای تخصصی و مهندسی نرم‌افزار

مدل هوش مصنوعی IRIS برای تحلیل سیگنال‌های سلولی
محققان MIT با توسعه مدل IRIS تغییرات ژنی و مسیرهای سیگنالینگ شیمیایی را در تمایز سلولی پیش‌بینی می‌کنند.

راهنمای مهندسی معکوس نرم‌افزار با مدل‌های Claude
این مستند نحوه به‌کارگیری مدل‌های Opus 5.5، Sonnet 5.5 و Fable 5.1 را در تحلیل و مهندسی معکوس کد بررسی می‌کند.

بررسی چالش‌های تولید اسکریپت پایتون برای Blender
این مقاله خطاهای هندسی کدهای تولیدشده توسط مدل‌های هوش مصنوعی در نسخه Blender را تحلیل و راه‌حل ارائه می‌کند.


📊 مطالعات مفهومی و بازخورد کاربران

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

درخواست کاربران استیم برای فیلتر محتوای تولیدشده با هوش مصنوعی
افزایش بازی‌های کم‌کیفیت در رویداد Steam Next Fest واکنش کاربران و درخواست ایجاد فیلتر اختصاصی را در پی داشت.


🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏🤖 ورود مدل‌های OpenAI به زیرساخت Google Cloud

‏OpenAI و گوگل کلاود همکاری جدیدی را برای عرضه مدل‌های پیشرو و گردش‌های کاری ایجنتی Codex در بخش Model Garden گوگل کلاود آغاز کردند.

‏با این همکاری، کاربران سازمانی به این مدل‌ها دسترسی مستقیم خواهند داشت تا فرایندهای ایجنتی را روی زیرساخت و سیستم‌های حکمرانی داده گوگل اجرا کنند. این مدل‌ها در Gemini Agent و Google Antigravity نیز در دسترس قرار خواهند گرفت.

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

📖 متن کامل مقاله در سایت

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏🎙️ انتشار مدل هوش مصنوعی Granite Speech 5.0

‏آی‌بی‌ام مدل Granite Speech 5.0 2B را با مجوز Apache 2.0 عرضه کرد. این مدل ترکیبی از یک انکودر CTC Conformer و مدل زبانی Granite 4.0 1B است که از طریق یک q-former با هم ارتباط دارند.

‏این مدل می‌تواند همزمان عملیات نویسه‌گردانی (Transcription) و ترجمه گفتار را انجام دهد و از فهرست کلمات کلیدی تا ۲۰۰۰ عبارت پشتیبانی می‌کند. در بنچمارک Open ASR، این مدل با میانگین نرخ خطای کلمه (WER) برابر با ۵.۶۸٪، در جایگاه دوم مدل‌های متن‌باز قرار گرفته است.

‏سایر مشخصات:
‏* دارای ۲ میلیارد پارامتر و پشتیبانی از ۶ زبان.
‏* قابل اجرا در فریم‌ورک‌های Transformers، vLLM، llama.cpp و mlx-audio.
‏* به‌روزرسانی همزمان Turbo CTC با پشتیبانی از ۷ زبان.

‏جزئیات فنی و متدولوژی در مقاله منتشر شده قابل مطالعه است.

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

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏🌐 انتشار وزن‌های مدل هوش مصنوعی MiniMax M3.1 Flash

‏شرکت MiniMax وزن‌های مدل M3.1 Flash را منتشر کرد. این مدل از معماری MoE با ۴۲۸ میلیارد پارامتر بهره می‌برد که در هر گام پردازشی، حدود ۲۳ میلیارد پارامتر آن فعال می‌شود. تمرکز اصلی این مدل بر انجام وظایف چندمرحله‌ای، توسعه نرم‌افزار، استفاده از ابزارها و مدیریت برنامه‌ها است.

‏مهم‌ترین نتایج بنچمارک‌های اعلام‌شده توسط سازنده:
‏- کسب امتیاز 73.7 در DeepSWE v1.1 برای وظایف پیچیده توسعه.
‏- کسب امتیاز 61.7 در OSWorld V2 برای تعامل با رابط‌های کاربری.
‏- امتیاز 76.2 در BankerToolBench برای سناریوهای بانکی.
‏- امتیاز 82.2 در CyberGym برای شناسایی و بازتولید آسیب‌پذیری‌ها.

‏این مدل برای افزایش سرعت در تولید توکن‌ها از تکنیک‌های Sparse Attention و Speculative Decoding استفاده می‌کند. اگرچه فعال بودن ۲۳ میلیارد پارامتر به کاهش محاسبات کمک می‌کند، اما به دلیل حجم کلی پارامترها، همچنان به زیرساخت‌های سخت‌افزاری قدرتمندی برای میزبانی نیاز دارد. دسترسی به وزن‌ها از طریق Hugging Face و استفاده از سرویس API امکان‌پذیر است.

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

🇮🇷 سایت | تلگرام
‏⚠️ خطر حذف تخصص انسانی با جایگزینی AI

‏پژوهشگران در مقاله‌ای با عنوان «تراژدی منابع مشترک شناختی» هشدار می‌دهند که اتکای بیش از حد به هوش مصنوعی برای انجام کارهای مقدماتی، می‌تواند روند پرورش متخصصان آینده را مختل کند.

‏به‌طور سنتی، نیروهای تازه‌کار با انجام وظایف تکراری و حل مسائل پایه، تجربه کسب می‌کنند. با واگذاری این وظایف به هوش مصنوعی، زنجیره یادگیری قطع می‌شود. محققان این پدیده را «افسار اعتبارسنجی» (Validation Tether) می‌نامند: انسان تنها زمانی می‌تواند عملکرد سیستم‌های هوش مصنوعی را نظارت و اصلاح کند که پیش‌زمینه تخصصی کافی برای تشخیص خطاها را داشته باشد.

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

‏جزئیات بیشتر این تحلیل را می‌توانید در نسخه کامل مقاله در آرکایو مطالعه کنید.

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

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


#Cognitive_Commons #Validation_Tether
‏مهندسی معکوس برنامه‌ها با Claude Opus 5.5

‏این راهنما فرآیند استفاده از Opus 5.5 را برای درک منطق نرم‌افزارها و بازسازی آن‌ها به صورت قانونی شرح می‌دهد. مبنای این کار متد «اتاق تمیز» (Clean-room) است که ۴۰ سال در دادگاه‌ها سابقه تایید دارد.

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

‏مهم‌ترین نکات برای شروع:
‏- استفاده از ابزار REA برای اجرای محلی و بدون آپلود کدها.
‏- تکیه بر تحلیل فایل‌های اجرایی مانند .exe یا .NET (بدون نیاز به موتور در بازی‌های Unity).
‏- رعایت تفکیک کامل: مطالعه رفتار در تیم اول و کدنویسی مستقل در تیم دوم برای حفظ مالکیت معنوی.
‏- استفاده از دستورات (Prompts) متناسب با پیچیدگی کد برای استخراج لاجیک دقیق.
‏- بررسی خروجی‌ها از طریق گزارش تطابق (Parity Report) جهت اطمینان از عملکرد مشابه.

🔗 راهنمای کامل در سایت

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما
‏🧬 طراحی پروتئین توسط مدل هوش مصنوعی Claude

‏یک شرکت تحقیقات مالی با صرف ۲۰۰ هزار دلار، توانایی مدل Claude را در طراحی پروتئین‌های جدید آزمایش کرد. در این پروژه، تیمی پنج‌نفره که سه عضو آن فاقد پیش‌زمینه علمی بودند، با استفاده از مدل پیشرفته و داخلی Anthropic اقدام به طراحی کردند.

‏این تیم با اجرای بیش از ۳۰۰ زیر-عامل (Sub-agents) روی ۳۰۰ واحد پردازش گرافیکی (GPU) در یک شب، موفق به طراحی و ارزیابی پروتئین‌ها شد. تمرکز نهایی این آزمایش بر بررسی زهر عقرب قرار گرفت تا روشی متفاوت از تحقیقات پیشین بر روی زهر مار باشد.

‏اگرچه این آزمایش نشان داد که ابزارهای هوش مصنوعی دسترسی به تحقیقات زیستی پیچیده را تسهیل کرده‌اند، اما این پروژه با محدودیت‌های جدی روبرو شد:

‏- لزوم پاسخ به پرسش‌نامه‌های ایمنی زیستی با بیش از ۶۰ سوال فنی.
‏- دشواری دسترسی به زیرساخت‌های آزمایشگاهی فیزیکی.
‏- ضرورت وجود پروتکل‌های ایمنی که تیم از آن‌ها بی‌بهره بود.

‏نتیجه این تجربه، تضاد میان توانایی محاسباتی هوش مصنوعی در تولید ساختارهای زیستی و مانع جدیِ آزمایش‌های فیزیکی و الزامات ایمنی را به وضوح نمایش می‌دهد.

🔗 ادامه مطلب در سایت
Media is too big
VIEW IN TELEGRAM
‏🤖 نمایش قابلیت‌های فیزیکی ربات انسان‌نمای Unitree H2-X

‏شرکت Unitree ویدئوی جدیدی از ربات انسان‌نمای خود با نام H2-X منتشر کرده که در آن با نام مستعار «Kung Fu Legend Guardian» حرکات نمایشی از جمله پشت‌ک‌وارو، پریدن از ارتفاع چهار متری و بلند کردن بدنه خودرو را اجرا می‌کند.

‏در این ویدئو قابلیت‌های حرکتی ربات در سناریوهای مختلفی از جمله امداد و نجات به نمایش درآمده است. با این حال، جزئیات فنی زیر همچنان مبهم باقی مانده است:

‏- میزان استقلال ربات در تصمیم‌گیری‌ها طی این صحنه‌های عملیاتی مشخص نیست.
‏- حداکثر شارژدهی باتری حدود ۸ ساعت اعلام شده، اما شرایط بار کاری (Load) برای رسیدن به این عدد ذکر نشده است.

‏سازنده در پایان این ویدئو از کاربران خواسته است که در استفاده از این ربات، اصول ایمنی و رفتار دوستانه را رعایت کنند.

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


#Unitree_H2X #ربات_انسان