Снимка: MIT News / Melanie Gonick

Инженерен екип от Масачузетския технологичен институт (MIT) представи революционна система за автономна навигация на безпилотни летателни апарати (UAV), която гарантира математически доказана безопасност на полета без сблъсъци в силно динамични и опасни среди [1].

Снимка: Wikimedia Commons / Indrajit Das

Инженерният екип на технологичната платформа Claix публикува задълбочен технически манифест, поставящ под въпрос доминиращата роля на стандартния векторен RAG (Retrieval-Augmented Generation) при изграждането на дългосрочна памет за автономни софтуерни агенти [1].

Снимка: Wikimedia Commons / Jérémy Barande

В забележителен пробив на пресечната точка между дискретната геометрия и компютърните науки, международен изследователски екип обяви цялостно, машинно проверено доказателство на езика Lean 4 за оптималното опаковане на 11 единични квадрата в квадратен контейнер [1].

Снимка: The JetBrains Blog

Компанията JetBrains обяви пускането на новия официален плъгин Warm Agents за своята популярна платформа за непрекъсната интеграция и доставка TeamCity, решавайки един от най-хроничните проблеми в модерния софтуерен инженеринг — забавянето при стартиране на облачни тестови среди [1].

Снимка: The Decoder / Anthropic

Два от най-големите корпоративни клиенти на Anthropic — технологичните гиганти Meta и Microsoft — рязко съкращават вътрешното използване на моделите от фамилията Claude в опит да ограничат растящите си сметки и да стимулират внедряването на собствени инструменти [1].

Снимка: Business Insider / Zeroset

Стартъпът Zeroset привлече 5,2 милиона долара първоначално финансиране от Gradient Ventures и водещи ангелски инвеститори за изграждане на специализирани графове на знанието, помагащи на автономните агенти да разбират вътрешната динамика на компаниите [1].