پس‌گرفتن سه دستاورد ریاضی توسط OpenAI

داشبورد شخصی و متن‌باز Edi Life OS به کاربران امکان می‌دهد تا برنامه‌ها، عادت‌ها، هدف‌ها و امور مالی خود را در یک بستر واحد مدیریت کنند. این سامانه به یک سرور داخلی MCP مجهز است که به دستیارهای هوش مصنوعی مانند کلاد اجازه می‌دهد در کنار کاربر فعالیت کنند. کاربران می‌توانند با استفاده از زبان طبیعی، دستوراتی مانند ایجاد هدف‌های جدید یا ثبت هزینه‌ها را به دستیار هوشمند خود منتقل کنند. این پلتفرم روی هر هاست سازگار با پی‌اچ‌پی و مای‌اس‌کیوال قابل اجرا است و هیچ‌گونه حق اشتراکی ندارد. اتصال به سرور MCP صرفاً از طریق رابط برنامه‌نویسی ایمن انجام می‌شود و اطلاعات پایگاه داده محفوظ می‌ماند.

نرم‌افزار «رمبرانت» به عنوان یک جایگزین رایگان و متن‌باز برای ادوبی لایت‌روم معرفی شده است که بدون نیاز به اشتراک یا حساب کاربری، امکان ویرایش حرفه‌ای عکس را فراهم می‌کند. این ابزار که برای سیستم‌عامل‌های ویندوز، مک و لینوکس عرضه شده، تمامی پردازش‌های هوش مصنوعی خود را به صورت محلی و روی دستگاه کاربر انجام می‌دهد و هیچ فایلی را در فضای ابری بارگذاری نمی‌کند. کاربران می‌توانند با دستورات متنی ساده، تغییراتی مانند تنظیم نور، رنگ و سایه‌ها را اعمال کنند یا از قابلیت‌های پیشرفته‌ای نظیر حذف نویز، افزایش وضوح و اصلاح فوکوس بهره ببرند. این برنامه از بیش از ۱۰۰۰ مدل دوربین پشتیبانی کرده و تغییرات را در قالب فایل‌های XMP ذخیره می‌کند تا فایل اصلی عکس دست‌نخورده باقی بماند. رمبرانت با استفاده از توان پردازشی کارت گرافیک، عملیات سنگین را در پس‌زمینه انجام می‌دهد تا خللی در روند ویرایش کاربر ایجاد نشود.

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

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

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

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