Physical Superintelligence با نام PSI از اثبات حدس آرونسون-امباینیس با مدل معرفی‌نشدهٔ Anthropic خبر داد. نرم‌افزار Lean درستی منطقی اثبات را تأیید کرده، اما نتیجه هنوز داوری کامل دانشگاهی را پشت سر نگذاشته است.
شرکت پژوهشی Physical Superintelligence یا PSI می‌گوید سامانهٔ پژوهشی آن با استفاده از یک مدل هوش مصنوعی معرفی‌نشدهٔ Anthropic، ظرف ۳ روز حدس آرونسون-امباینیس را اثبات کرده است. دیوید تورتوریان، عضو کادر فنی PSI، توسعهٔ سامانه، تعریف مسئله، اجرای فرایند و بازبینی صحت مقاله را برعهده داشته است.
این حدس از سال ۲۰۰۸ مطرح بوده و به شرایط برتری سرعت رایانه‌های کوانتومی بر رایانه‌های معمولی مربوط است. به گفتهٔ PSI، اثبات پیشنهادی نشان می‌دهد این برتری به ساختار ریاضی خاص مسئله وابسته است؛ بااین‌حال، بررسی اینکه راه‌حل دقیقاً با صورت‌مسئله همخوانی دارد، هنوز به ارزیابی جامعهٔ دانشگاهی نیاز دارد.
برای تیم‌های سازندهٔ ابزارهای پژوهشی در ایران، افغانستان، تاجیکستان و دیگر بازارها، نکتهٔ قابل‌توجه ترکیب مدل با تعریف دقیق مسئله، بازبینی انسانی و ابزار بررسی اثبات است، نه صرفاً خروجی مدل. هویت دقیق مدل هنوز مشخص نیست و Anthropic نیز به درخواست اظهارنظر پاسخ نداده است؛ بنابراین این گزارش مبنای کافی برای ارزیابی توان مدل‌های در دسترس در یک محصول تجاری نیست.
تا پایان بررسی دانشگاهی، حل قطعی این مسئله اثبات‌نشده است و نباید آن را معیار تثبیت‌شدهٔ توان هوش مصنوعی در پژوهش دانست.
نامشخص‌بودن هویت مدل، امکان تصمیم‌گیری دربارهٔ استفاده از همان فناوری در یک محصول را محدود می‌کند.
نقش بازبینی انسانی و ابزار بررسی اثبات نشان می‌دهد سازندگان محصولات پژوهشی باید اعتبارسنجی را بخشی از فرایند طراحی کنند.
این نوشته را اتاق خبر Made in 10 به‌طور خودکار از روی منبع بالا نوشته است.
گوگل به‌روزرسانی Google Antigravity را با عامل‌های ابری و حالت صوتی مبتنی بر Gemini Live منتشر می‌کند. عامل‌های ابری پس از بستن لپ‌تاپ هم کار می‌کنند و دسترسی به آن‌ها به‌تدریج برای مشترکان پولی Google AI Pro و Ultra فراهم می‌شود.
تایلند در سپتامبر ۲۰۲۶ ساخت ۴۹ پروژهٔ مرکز داده را موقتاً متوقف کرد؛ هم‌زمان نگرانی‌ها دربارهٔ نبود جزئیات کافی برای مقررات‌گذاری و نظارت بر این بخش افزایش یافت. این کشور همچنین در پی نگرانی‌ها دربارهٔ مقررات‌گذاری و نظارت، تصمیم‌گیری دربارهٔ تأیید ۱۱۷ پروژهٔ دیگر را به حالت تعلیق درآورد.
گرگ براکمن، رئیس OpenAI، می‌گوید مشتریان سازمانی اکنون بخش عمدهٔ درآمد این شرکت را تأمین می‌کنند. به‌گفتهٔ او، درآمد بخش سازمانی در سه‌ماههٔ سوم دو برابر شده است.