وضعیت تاکسی‌های خودران در لندن

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

یک حفره امنیتی خطرناک در تمامی نسخه‌های کرومیوم شناسایی شده است. این حفره، که با کد CVE-2026-85046 شناخته می‌شود، یک آسیب‌پذیری فعال در ساندباکس است که می‌تواند منجر به اجرای کد از راه دور شود. این خبر در سایت NVD و خبری از Hacker News منتشر شده است.

مدل جی‌پی‌تی-۶ آسترا به‌عنوان جدیدترین پرچم‌دار شرکت اوپن‌ای‌آی برای انجام پروژه‌های پیچیده مهندسی نرم‌افزار و تحلیل‌های علمی معرفی شد. این مدل اکنون بر روی پلتفرم اوپن‌روتر در دسترس است و کاربران می‌توانند از میان حالت‌های مختلف سرعت و دقت، گزینه مناسب خود را انتخاب کنند. هزینه استفاده از این مدل برای هر یک میلیون توکن ورودی ۱۰ دلار و برای هر یک میلیون توکن خروجی ۵۰ دلار تعیین شده است. جی‌پی‌تی-۶ آسترا دارای پنجره بافتی با ظرفیت ۱.۰۵ میلیون توکن است و در انجام وظایف طولانی‌مدت مبتنی بر مرورگر توانمندی بالایی دارد. اوپن‌روتر با پایش مداوم ارائه‌دهندگان، پایداری خدمات را تضمین کرده و در صورت بروز خطا، درخواست‌ها را به ارائه‌دهنده جایگزین منتقل می‌کند. این مدل همچنین از قابلیت فراخوانی ابزارها پشتیبانی کرده و با اکثر کیت‌های توسعه نرم‌افزار استاندارد سازگاری کامل دارد.

شرکت گوگل در تاریخ سوم سپتامبر ۱۲ آسیب‌پذیری امنیتی را در مرورگر کروم برطرف کرد که مهم‌ترین آن‌ها با شناسه CVE-2026-85046 یک نقص امنیتی در موتور جاوا اسکریپت وی‌هشت است. این آسیب‌پذیری که امتیاز شدت آن ۸.۸ اعلام شده، پیش‌تر در حملات سایبری مورد سوءاستفاده قرار گرفته بود و ششمین مورد از آسیب‌پذیری‌های روز صفر کروم در سال جاری میلادی محسوب می‌شود. سالواتوره گولیزیو برای کشف این باگ پاداش یک‌هزار دلاری دریافت کرد. این به‌روزرسانی در آستانه اجرایی شدن قانون تاب‌آوری سایبری اروپا منتشر شده است که تولیدکنندگان نرم‌افزار را ملزم می‌کند آسیب‌پذیری‌های فعال را ظرف ۲۴ ساعت گزارش دهند. سایر مرورگرهای مبتنی بر کرومیوم نظیر اج، بریو، اپرا و ویوالدی نیز نیازمند دریافت این به‌روزرسانی هستند.

شرکت آنتروپیک اعلام کرد که یکی از مدل‌های داخلی این شرکت با استفاده از پلتفرم prove2.me موفق شده اثبات کامل آخرین قضیه فرما را در زبان لین رسمی کند. این دستاورد، آخرین قضیه باقی‌مانده در لیست ۱۰۰ چالش معروف فریب ویدایک را تکمیل کرد و به این چالش ۲۰ ساله پایان داد. اثبات ارائه شده توسط آنتروپیک مبتنی بر استدلال دارمون، دایاموند و تیلور از سال ۱۹۹۵ است و شامل بیش از ۱۳.۴ میلیون خط کد می‌شود. این پایگاه کد بسیار حجیم است و کامپایل آن روی یک ماشین با ۹۶ هسته، نزدیک به ۲۰ برابر کتابخانه ریاضی لین زمان می‌برد. در حالی که جامعه ریاضی از درست بودن این قضیه مطمئن بود، این رسمی‌سازی گام بزرگی در استفاده از هوش مصنوعی برای مسائل پیچیده ریاضی محسوب می‌شود.

شرکت هوش مصنوعی «micro1» ۱۲.۵ میلیون دلار برای خرید اسناد شرکت هواپیمایی «Spirit Aviation» پیشنهاد داده است، که ۲.۵ میلیون دلار بیشتر از پیشنهاد گوگل است. این اسناد شامل ۵۰۰ میلیون آیتم مایکروسافت تیمز، ۱۰۰ میلیون ایمیل و ۱۶ میلیون جلسه چت مشتری است. «micro1» پیشنهاد کرده است که یک ناظر مستقل توسط مشاوران «Spirit» انتخاب شود. گوگل نیز ۱۰ میلیون دلار برای خرید این اسناد پیشنهاد داده است و ادعا می‌کند که هیچ اطلاعات شخصی دریافت نخواهد کرد.