Агенты Axiom Math доказали полноту классификации конечных простых групп всего лишь в 41,3 млн. строчках кода Lean
26 октября 2026 года компания Axiom Math сообщила о завершении полной формализации Теоремы о классификации простых конечных групп.В международном математическом сообществе теорема известна как CFSG — Classification of Finite Simple Groups. Эта фундаментальная теорема перечисляет все строительные блоки, из которых состоят конечные простые математические группы.
LLm агент в КОМПАС-3D: собрал редуктор, сделал КД, споткнулся на спецификации
Меня всегда интересовало инженерное 3D-моделирование, но руки так и не дошли освоить его в должной степени. Зато я весьма неплохо научился работать с ИИ-агентами. Поэтому было решено перенести весь этот опыт в плоскость инженерных задач. Так появился плагин, через который LLM-агент работает в КОМПАС-3D: открывает модели, строит и правит детали и сборки, оформляет чертежи. Пишете задачу в чат — агент разбирается в дереве построения, пишет код на API КОМПАС, выполняет его в открытом документе и проверяет, что получилось.
Архитектура в эпоху вероятности: почему наши старые чертежи больше не работают
Последние пару лет мы наблюдаем классическую ошибку выжившего на масштабе целой индустрии. Вендоры показывают нам синтетические бенчмарки, где AI пишет микросервис за три минуты, а продуктовые менеджеры требуют сократить time-to-market вдвое. Я руковожу архитектурной функцией достаточно давно, чтобы понимать, что написание кода никогда не было узким горлышком в энтерпрайзе. Узким горлышком всегда была интеграция нового куска логики в существующий ландшафт с его легаси, регуляторикой и ограничениями ИБ.
Глава по ИИ в Microsoft: ИИ‑модели не должны иметь сознания
Глава подразделения ИИ в Microsoft Мустафа Сулейман опубликовал в социальной сети X пост, в котором заявил, что современные модели ИИ не обладают сознанием — и разработчикам следует сделать всё, чтобы эта ситуация сохранялась.
Итальянские карабинеры используют систему ИИ для поиска похищенных произведений искусства
Кражи произведений искусства — глобальная проблема, с которой полиции становится всё труднее справляться. Теперь правоохранительные органы обращаются к программному обеспечению на базе искусственного интеллекта, способному выявлять даже самые искусно спрятанные предметы искусства.
SQAdays: ИИ-трансформация и ценность качества
Отчет. SQAdays: ИИ-трансформация и ценность качестваПрошла очередная, 39 конференция SQAdays
Крупные ИИ‑компании договорились о едином запрете обучения ИИ в файле robots.txt
В Google совместно с такими крупными разработчиками ИИ, как OpenAI, Google, Microsoft и Anthropic, объявили о планах по внедрению в файл robots.txt единого механизма управления использованием контента для обучения. Это позволит владельцам веб‑сайтов задавать свои предпочтения в отношении машинного обучения сразу для нескольких разработчиков, выполнив настройку всего один раз.
Кот Шрёдингера в продакшене. Почему ИИ не знает, почему он это сделал
То, что вы сейчас прочитаете, — полный бред, во всяком случае с точки зрения физики. Но меня это не особенно беспокоит. Теория не обязана быть абсолютной истиной. Важно, чтобы она согласовывалась с наблюдениями, позволяла делать предсказания и выдерживала проверку экспериментом. Моя теория никаких научных проверок пока не проходила, зато удивительно хорошо объясняет то, что я регулярно наблюдаю при работе с искусственным интеллектом.А началось всё с обычного сайта, нескольких заголовков и моего наивного предположения, что если исполнителю что-то запретить, он не станет этого делать.Куда делись заголовки?
Две критические CVE в PHP и GitLab: уязвимости выходят быстрее, чем их успевают закрыть
Во второй половине октября две критические уязвимости в PHP и GitLab заставили компании по всему миру срочно обновлять серверы, а часть государственных и коммерческих сайтов на время ушла в офлайн. Обе позволяют выполнить код на сервере без авторизации, и обе затрагивают версии, выпущенные больше десяти лет назад.PHP2Shell, или угроза 70% веб-приложений
