نقش زبان برنامه‌نویسی Lean در اثبات صحت عملکرد عامل‌های هوش مصنوعی
لئو د مورا، خالق زبان Lean، در گفتگویی توضیح می‌دهد که چگونه ترکیب استدلال خودکار با مدل‌های احتمالی هوش مصنوعی می‌تواند صحت عملکرد عامل‌های هوشمند را به طور ریاضی اثبات کند.
اخبار نرم‌افزار
تازه‌های نرم‌افزار، سرویس‌های ابری، ابزارهای توسعه، سیستم‌عامل‌ها، مرورگرها، APIها، پروژه‌های متن‌باز و محصولات دیجیتال کاربردی.
شتاب‌دهی هوش مصنوعی در کشف آسیب‌پذیری‌ها؛ آیا مدافعان سایبری توان مقابله دارند؟
با افزایش بی‌سابقه تعداد آسیب‌پذیری‌های امنیتی به لطف هوش مصنوعی، سیستم‌های سنتی مدیریت و غنی‌سازی داده‌ها مانند NVD دیگر پاسخگوی نیاز مدافعان نیستند و رویکردهای جدیدی برای مقابله لازم است.
تنسنت نسخه پیش‌نمایش مدل زبانی بزرگ Hy4 را به‌صورت متن‌باز منتشر کرد
شرکت تنسنت نسخه پیش‌نمایش مدل زبانی بزرگ Hy4 را با ۷۷۰ میلیارد پارامتر و پنجره بافت بیش از ۱ میلیون توکن معرفی کرد که در وظایف برنامه‌نویسی و بهره‌وری عملکرد برجسته‌ای دارد.
ساخت جریان‌های کاری خلاقانه مبتنی بر عامل با Amazon Quick و fal
آمازون با همکاری پلتفرم تولید رسانه fal و با بهره‌گیری از پروتکل متن‌باز MCP، امکان ساخت جریان‌های کاری خلاقانه و عامل‌محور (Agentic) را برای تیم‌های تولید محتوا فراهم کرده است.
برای نخستین بار؛ هوش مصنوعی جراحان را در یک عمل جراحی تومور مغزی هدایت کرد
جراحان بیمارستانی در لندن برای اولین بار با استفاده از یک سیستم هوش مصنوعی که ویدیوهای زنده جراحی را تحلیل و ساختارهای حساس را رنگ‌آمیزی می‌کرد، موفق به خارج کردن تومور مغزی یک بیمار شدند.
بهترین ابزارهای لغو نصب ویندوز برای پاکسازی کامل برنامه‌های جان‌سخت
ابزار پیش‌فرض ویندوز برای حذف برنامه‌ها همیشه کافی نیست. در این مطلب با بهترین نرم‌افزارهای جانبی لغو نصب (Uninstaller) برای پاکسازی کامل فایل‌های باقی‌مانده و برنامه‌های آسیب‌دیده آشنا می‌شوید.
رونمایی از Diagrid Catalyst 2.0؛ اجرای پایدار و قابل تأیید برای عامل‌های هوش مصنوعی
شرکت Diagrid نسخه جدید پلتفرم Catalyst را با قابلیت‌های بازیابی خطا و تأیید رمزنگاری‌شده برای فریم‌ورک‌های توسعه عامل‌های هوش مصنوعی (AI Agents) معرفی کرد.
رونمایی لنوو از کنسول دستی Legion C700؛ استریم بازی‌های کامپیوتر بدون نیاز به اینترنت
لنوو از کنسول دستی اندرویدی Legion Cloud Gaming Handheld C700 در چین رونمایی کرد. این دستگاه به کاربران اجازه می‌دهد بدون نیاز به اتصال شبکه و از طریق یک دانگل اختصاصی، بازی‌های کامپیوتر را استریم کنند.
فروشندگان ارزان‌قیمت توکن‌های هوش مصنوعی؛ کلاهبرداری، راز پشت پرده قیمت‌های پایین
بررسی روش‌های مختلفی که کلاهبرداران برای به‌دست آوردن توکن‌های رایگان یا ارزان‌قیمت هوش مصنوعی و فروش مجدد آن‌ها استفاده می‌کنند.
اپلیکیشن Android Pulse چیست و چرا در آپدیت‌های گوگل پلی ظاهر شده است؟
اخیراً اپلیکیشنی به نام Android Pulse در لیست به‌روزرسانی‌های گوگل پلی کاربران ظاهر شده که بررسی‌ها نشان می‌دهد یک سرویس سیستمی رسمی و امن از سوی گوگل است.
تازه‌ترین‌ها
-
قابلیت‌های کاربردی گوشی‌های اندرویدی که در پرچمداران سامسونگ و گوگل وجود ندارند
-
راهنمای استفاده از قابلیت Live Text در آیفون و تفاوت آن با Visual Intelligence
-
بررسی تبلت اقتصادی Xiaomi Redmi Pad 2 9.7؛ محصولی ارزان‌قیمت با پشتیبانی نرم‌افزاری ۷ ساله
-
تجربه تبدیل گوشی قدیمی پیکسل به دوربین امنیتی و اندروید باکس؛ کدام روش کاربردی‌تر است؟
-
شبیه‌ساز Dolphin قابلیت بازی چندنفره آنلاین را به اندروید اضافه کرد