پیشنهاد مالی استارتاپ هوش مصنوعی برای خرید اسناد

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

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

شرکت Nscale، بزرگ‌ترین زیرساخت هوش مصنوعی اروپا، در حال مذاکره برای جذب سرمایه‌ای تا سقف ۳٫۵ میلیارد دلار پیش از عرضه عمومی در بازار آمریکا است. این مبلغ شامل ۱٫۵ میلیارد دلار اوراق قرضه قابل تبدیل به رهبری Third Point و حدود ۲ میلیارد دلار سرمایه‌گذاری از سوی انویدیا می‌شود. Nscale با داشتن قراردادهایی به ارزش تقریبی ۱۰۳ میلیارد دلار، از جمله یک قرارداد ۴۵ میلیارد دلاری با Anthropic، رشد چشمگیری داشته است. این شرکت که دو سال پیش تأسیس شده، قصد دارد در نیویورک لیست شود. همچنین این شرکت پیش‌بینی می‌کند درآمد سالانه آن به حدود ۱۸٫۱ میلیارد دلار برسد.

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

شرکت مایکروسافت در تاریخ ۴ سپتامبر در پرونده دعوای حق نشر هوش مصنوعی در نیویورک درخواست صدور رای خلاصه داد. این شرکت اعلام کرد که مدل کوپایلوت تنها در ۲۴ مورد از میان ۸.۲ میلیون گفت‌وگو، بخش‌هایی از کتاب‌ها را بازتولید کرده است که معادل ۰.۰۰۰۲۹ درصد می‌شود. این پرونده بخشی از روند حقوقی گسترده‌ای در دادگاه فدرال منهتن به ریاست قاضی سیدنی استاین است. از سوی دیگر، مایکروسافت دو روز پیش از آن فروش مدل قدرتمند GPT-6 Astra را از طریق پلتفرم فاندری با قیمت ۱۰ دلار به ازای هر میلیون توکن ورودی آغاز کرده بود. شرکت اوپن‌آی این مدل را از نظر امنیت سایبری در سطح بحرانی ارزیابی کرده است، در حالی که قوانین اروپا معیارهای متفاوتی برای ارزیابی خطرات سیستماتیک مدل‌های هوش مصنوعی دارد.

محققان شرکت آنتروپیک موفق شدند با استفاده از هوش مصنوعی کلود، اولین اثبات کامل و قابل بررسی کامپیوتری برای «قضیه آخر فرما» را ارائه دهند. این فرآیند که در زبان برنامه‌نویسی Lean انجام شده، طی ۱۱ روز و با فعالیت تقریباً خودگردان هوش مصنوعی صورت گرفته است. کلود در این مسیر ۱۳ میلیون خط کد نوشته و ۲۹٬۵۰۰ قضیه میانی را اثبات کرده است. این دستاورد بزرگ، فرآیند اثبات ریاضیاتی که پیش‌تر توسط اندرو وایلز در سال ۱۹۹۵ انجام شده بود، اکنون به شکلی خودکار و قابل بازبینی توسط کامپیوتر درآمده است. کوین بازارد، ریاضی‌دان برجسته، این موفقیت را گامی حیاتی برای آینده ریاضیات و قابلیت بررسی سریع نتایج جدید توسط هوش مصنوعی توصیف کرد. این روش برخلاف کارهای قبلی، بر جنبه تایید و صحت‌سنجی دقیق تمرکز دارد.