آشنایی کاربران اینترنت با زبان TLA+

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

فعالان بریتانیایی به دولت استرالیا هشدار داده‌اند که طرح اجازه استفاده شرکت‌های هوش مصنوعی از آثار دارای حق نشر را اجرا نکند. این طرح در اسناد درزکرده وزارت دادگستری استرالیا مطرح شده و به شرکت‌ها اجازه می‌دهد از محتوای پدیدآورندگان استفاده کنند مگر اینکه مخالفت خود را اعلام کنند. بریتانیا در ماه مارس پس از مخالفت ۹۷ درصدی شهروندان، طرح مشابهی را لغو کرده بود. بیبان کیدرون، فیلمساز و عضو مجلس اعیان بریتانیا، از نخست‌وزیر استرالیا خواست اعتبار خود را با این تصمیم زیر سؤال نبرد. اد نیوتن-رکس، آهنگساز و مدیر اجرایی سابق هوش مصنوعی، نیز تأکید کرد که مردم خواهان پرداخت عادلانه به پدیدآورندگان هستند. در مقابل، شرکت‌هایی مانند OpenAI خواستار تسهیل قوانین کپی‌رایت در استرالیا شده‌اند.

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

دولت چین سیگنال هایی بروز داده است که احتمال دارد به شرکت های بزرگی مانند علی بابا و بایت دنس اجازه دهد تراشه جدید انویدیا یعنی مدل RTX Pro 5500 را خریداری کنند. وزارت فناوری چین اخیراً از برخی شرکت ها خواسته است تا میزان تقاضا و هدف خود از خرید این تراشه ها را اعلام کنند و قصد دارد این خریدها را تأیید کند. تراشه RTX Pro 5500 یک کارت گرافیک ایستگاه کاری است که در ماه جاری با معماری بلک ول و حافظه ۸۴ گیگابایتی معرفی شد. فروش محصولات انویدیا در چین پیش از این به دلیل کنترل صادرات ایالات متحده و محدودیت های پکن برای حمایت از تراشه سازان داخلی با چالش مواجه شده بود. خبرگزاری رویترز و وب سایت TNW اعلام کردند که این گزارش هنوز به طور مستقل تأیید نشده است و شرکت های انویدیا، علی بابا، بایت دنس و وزارتخانه مربوطه واکنشی به آن نشان نداده اند. پیش از این نیز ایالات متحده فروش تراشه های H200 به شرکت های چینی را آزاد کرده بود اما محدودیت هایی برای انتقال آن ها به سرزمین اصلی چین اعمال شد.

بازار امنیت سایبری در تابستان شاهد ظهور شرکت‌ها و مدیران عامل جدیدی بوده است که به چالش‌های ناشی از هوش مصنوعی و زیرساخت‌های ابری می‌پردازند. راب گورزیو، مدیرعامل شرکت سایکوگنیتو، با اتکا به سابقه فعالیت در یگان ۸۲۰۰ اسرائیل، روی مدیریت سطح حمله خارجی و شناسایی آسیب‌پذیری‌ها تمرکز دارد. آشف وینر، مدیرعامل و بنیان‌گذار شرکت میت سکوریتی، تجربیات خود در مایکروسافت را برای توسعه عملیات امنیتی مبتنی بر هوش مصنوعی به کار گرفته است. ایتای کرن نیز با هدایت شرکت بلوم سکوریتی موفق به جذب سرمایه ۲۰ میلیون دلاری برای محافظت از نقاط پایانی جدید مانند ایجنت‌های هوش مصنوعی شده است. این شرکت‌ها تلاش می‌کنند راهکارهای امنیتی سنتی را با محیط‌های نرم‌افزاری و ابری جدید سازگار کنند.

یک آزمایش جدید نشان داد که با افزودن دستور «حدس نزن» به مدل‌های هوش مصنوعی، میزان تولید اطلاعات ساختگی در استخراج داده‌ها از ۷۰٫۷٪ به ۲۰٫۲٪ کاهش می‌یابد. این مطالعه که در پلتفرم Earn an Honest Dollar انجام شده، بررسی کرد که آیا ابزارهای استخراج وب در صورت نبود اطلاعات در صفحه، پاسخ «null» می‌دهند یا به دروغ اطلاعاتی را ابداع می‌کنند. نتایج نشان داد که استفاده از دستورالعمل‌های صریح می‌تواند دقت مدل‌ها را به شدت بالا ببرد. همچنین استفاده از مدل‌های ارزان‌قیمت مانند GPT-6 Luna برای بازبینی پاسخ‌ها، می‌تواند با هزینه‌ای بسیار ناچیز، صحت داده‌های استخراج‌شده را تأیید کند. این یافته‌ها به خریداران خدمات هوش مصنوعی کمک می‌کند تا با اطمینان بیشتری از کیفیت داده‌های دریافتی خود استفاده کنند.