Эфир 18.11 · Поток 318 ноября в 19:00 МСК — бесплатный практический эфир по ИИ-агентам · Живой Поток 3 стартует 23.11Эфир 18 ноября →Поток 3 (23.11)

2026

11 847 материалов · 140 дней · 10 рубрик · в среднем 85 в день

Axiom Math проверила 16 млн строк Lean-кода агентами и закрыла дыру в формальной математике
Автономные системы·TechCrunch

Axiom Math проверила 16 млн строк Lean-кода агентами и закрыла дыру в формальной математике

Стартап Axiom за $1,6 млрд формально верифицировал Stacks Project — 7654 страницы алгебраической геометрии. Зачем это тем, кто пишет код руками и через агентов?

8 нояб. 2026 г.·2 мин
Cursor 3.24 просит подтверждение перед опасным удалением, но Run Everything молчит
Автономные системы·TG: @tekhnocafe (Технокафе / Вайбкодинг / AI-агенты)

Cursor 3.24 просит подтверждение перед опасным удалением, но Run Everything молчит

В Cursor 3.24 режим Auto-review переспрашивает перед рекурсивным и принудительным удалением. Но стоит включить Run Everything, и агент исполняет всё без единого…

8 нояб. 2026 г.·2 мин
Сотрудники собирают ИИ-агентов сами, и у 93% лишних подключений полный доступ
Автономные системы·TG: @disruptors_official (Дизраптор)

Сотрудники собирают ИИ-агентов сами, и у 93% лишних подключений полный доступ

CFO собрал агента для финданных, расшарил коллегам — и каждый получил права финдира. Почему самодельные ИИ-агенты стали главной дырой в безопасности и кто на этом…

8 нояб. 2026 г.·2 мин