Mozilla закрыла 423 уязвимости в Firefox, найденные с помощью ИИ

Mozilla закрыла 423 уязвимости в Firefox, найденные с помощью ИИ

Mozilla закрыла 423 уязвимости в Firefox, найденные с помощью ИИ

Mozilla рассказала о результатах нового ИИ-подхода к поиску уязвимостей в Firefox. С помощью продвинутых моделей, включая Claude Mythos Preview и Claude Opus, разработчики нашли и уже исправили 423 скрытые проблемы в безопасности.

Главное отличие от ранних ИИ-аудитов в том, что система не просто генерировала подозрительные отчёты, а встраивалась в существующую фаззинг-инфраструктуру Firefox.

ИИ запускался в нескольких виртуальных машинах, проверял гипотезы, отсекал невоспроизводимые находки и создавал демонстрационный эксплойт (proof-of-concept) для реальных багов.

В итоге модели смогли найти ошибки, которые годами проходили мимо традиционных инструментов. Среди примеров есть 15-летняя проблема в HTML-элементе legend, 20-летняя уязвимость в XSLT, а также баги в обработке HTML-таблиц, WebAssembly, IndexedDB, WebTransport и HTTPS.

 

Часть находок была серьёзной: Use-After-Free, повреждение памяти, состояние гонки (race condition) через IPC и обходы песочницы для сторонних библиотек. То есть ИИ искал не только простые сбои, а довольно сложные цепочки, где нужно понимать устройство браузерного движка.

При этом Mozilla отмечает и обратную сторону: модели не смогли обойти некоторые уже внедрённые защитные механизмы Firefox. Например, архитектурные изменения с заморозкой прототипов по умолчанию помогли отбить попытки атак.

Закрытие такого объёма багов потребовало участия более 100 разработчиков и ревьюеров. Патчи вошли в недавние обновления Firefox, включая версии 149.0.2, 150.0.1 и 150.0.2.

Теперь Mozilla планирует встроить ИИ-анализ прямо в систему непрерывной интеграции. Идея в том, чтобы проверять не только существующий код, но и новые патчи ещё до их попадания в релиз.

Квантовый прорыв Microsoft поставили под вопрос из-за ошибок в Python-коде

Квантовая программа Microsoft получила новую порцию неприятной критики не из-за сверхсложного оборудования, а из-за куда более банальной вещи — кода на Python. В журнале Nature вышла критика исследования Microsoft по топологическим кубитам на основе майорановских мод.

Именно на эту технологию компания делает большую ставку, рассчитывая создать коммерческий квантовый суперкомпьютер уже к 2029 году.

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

Если говорить проще: исследователи считают, что заявленный квантовый прорыв мог быть не результатом физического эксперимента, а следствием неудачной обработки данных.

Microsoft с этим категорически не согласна. В корпорации заявили, что речь идёт максимум о незначительной аномалии в скриптах, которая не меняет сути эксперимента. Технический руководитель Microsoft Quantum Hardware Четан Наяк напомнил, что DARPA после независимой оценки перевела Microsoft в финальную фазу своей квантовой инициативы.

Ситуация болезненна ещё и потому, что у квантового подразделения Microsoft уже была похожая история. В 2021 году компания отозвала знаковую научную работу 2018 года о майорановских частицах после того, как независимые физики нашли проблемы с обработкой данных.

Теперь скандал вспыхнул снова на фоне недавней презентации процессора Majorana 2 и ускорения планов Microsoft: компания перенесла ожидание коммерческого квантового суперкомпьютера с 2035 на 2029 год.

Пока Microsoft уверяет, что всё под контролем. Но если критики правы, ошибка в нескольких строках кода может оказаться куда серьёзнее, чем сбой в лабораторном оборудовании.

RSS: Новости на портале Anti-Malware.ru