В официална научна публикация, озаглавена „Ten advances in mathematics and theoretical computer science“ [1], компанията OpenAI обяви забележителен научен пробив, загатвайки за следващото си голямо поколение изкуствен интелект под кодовото име Astra. Съобщението веднага привлече медийния отзвук и вниманието на технологичната общност [2]. Според разкритите данни, вътрешна версия на новия модел успешно е решила или е постигнала безпрецедентен напредък по 10 дългогодишни отворени математически и компютърни проблеми.

Това постижение се отличава от досегашните анонси в индустрията по ключов признак: всяко едно от десетте решения е придружено от пълно компютърно доказателство, формализирано на интерактивния доказателствен език Lean 4. Този подход предоставя т.нар. „машинно проверими сертификати“, които изключват възможността за типичните за невронните мрежи халюцинации и гарантират математическата строгост на резултатите [1].

Изображение: Svetni.me / ИИ генерирано изображение

Според репортаж на TechCrunch [1], през 2025 г. уеб браузърите с вграден изкуствен интелект бяха водеща тенденция в технологичния сектор, като компании от всякакъв мащаб се опитваха да интегрират изкуствен интелект директно в интерфейса за сърфиране. Впоследствие пазарната динамика се промени бързо. Проекти като Atlas на OpenAI бяха прекратени, а The Browser Company пренасочи фокуса си след придобиване от Atlassian [1]. Същевременно Firefox на Mozilla се сблъска с потребителско недоволство при опитите си да интегрира сходни функции [1].

Според репортаж на BBC [1], автономните мобилни роботи (AMR) на китайската компания Geek+ ускоряват обработката на онлайн поръчки в Обединеното кралство. Водещи британски търговци на дребно, сред които Tesco, Asda и Next, вече използват технологията за автоматизиране на складовите си операции [1]. Вместо традиционните фиксирани конвейерни системи, тези роботи се ориентират чрез QR кодове по пода и пренасят цели рафтове със стоки директно до служителите [1].

В новия 20-и епизод на технологичния подкаст Rate Limited водещите Рей Фернандо и Адам Ларсон (познат като GosuCoder), съвместно с гост-водещия Нейтън Снел, обсъждат дългосрочното бъдеще на софтуерните инженери, новите модели с изкуствен интелект и крайните мерки срещу автоматизираното генериране на код [1]. Участниците изразяват категорично мнение, че въпреки бурното развитие на технологията, програмистите ще запазят ключовата си роля през следващите 20 години. Разликата в системното мислене и способността за проектиране на сложни архитектури остава непреодолима преграда за нетехническите потребители.

Въпреки че нетехнически потребители могат да използват платформи като Lovable за бързо сглобяване на работещи прототипи, мащабирането и поддръжката на системи за милиони потребители изискват дълбоки технически познания. Според Адам Ларсон съществува огромна пропаст между бързото създаване на демонстрационни приложения и проектирането на стабилна производствена инфраструктура. Общите модели (generalist LLMs) често затрудняват потребителите поради липсата на контекст за въвеждане на заявки и ниска откриваемост на функциите.

Изображение: Svetni.me / ИИ генерирано изображение

Според разследване на агенция Ройтерс [1], публикувано в края на юли 2026 г., изследователи, свързани с Народноосвободителната армия на Китай (НОАК), използват американски търговски големи езикови модели (LLM), за да обучават свои собствени отбранителни системи. Проучването, което се базира на над 80 китайски научни публикации и патенти, както и на анализи на американската Фондация „Джеймстаун“ [2], очертава нова тактика в глобалната надпревара за изкуствен интелект. Вместо да разчитат директно на облачните услуги на американските компании, китайските специалисти прилагат техниката на моделна дистилация върху модели като GPT-3.5 на OpenAI и Claude 3 Haiku на Anthropic. Това им позволява да изградят по-малки, локални и независими „студентски“ модели, работещи във физически изолирани от глобалната мрежа (air-gapped) военни мрежи.

Изображение: Svetni.me / ИИ генерирано изображение

Потребителите на социалната мрежа LinkedIn скоро ще разполагат с нов инструмент за борба с нежеланото съдържание в своите фийдове. Според репортаж на технологичното издание The Verge [1], платформата тихомълком въвежда нов бутон, който позволява докладването на публикации, оценени от потребителите като „изглеждащи на ИИ спам“ (на английски: Seems like AI slop).