Опыт поиска уязвимостей в Rust-коде с помощью языковых моделей и агентов
Разработчик исследовал безопасность программ на Rust с помощью ИИ-моделей и специализированного конвейера rust-in-peace. Эксперимент показал, как ИИ генерирует ложные и убедительные ошибки при автоматическом анализе кода. По итогам работы были найдены реальные уязвимости в библиотеках и подготовлен патч для ядра Linux.
Читать в первоисточнике — Хабр ↗
Ещё в ленте
OpenAI запустила GPT-6 Astra Ultrafast на GPU NVIDIA Blackwell
Модель GPT-6 Astra Ultrafast на базе архитектуры NVIDIA Blackwell стала доступна в OpenAI API, а также пользователям ChatGPT Work и Codex. За счет оптимизации инференса скорость генерации токенов увеличилась до восьми раз по сравнению с режимом Astra Standard.
Представлен инструмент InstructMesh для редактирования и создания 3D-моделей
Разработан инструмент InstructMesh, который генерирует модели повседневных предметов. Решение позволяет легко редактировать и подготавливать 3D-модели к производству как опытным специалистам, так и новичкам.
СМИ: чат-бот Grok посоветовал Трампу захватить президента Венесуэлы
По сообщениям источников, президент Дональд Трамп запросил мнение чат-бота Grok перед вторжением в Венесуэлу и захватом Николаса Мадуро. ИИ-бот от компании Илона Маска поддержал идею задержания венесуэльского лидера.
NVIDIA и MIT сократили расход токенов кодинг-агента почти вдвое
Исследователи из NVIDIA, MIT и NTU использовали ИИ-агента для оптимизации окружения кодинг-ассистента на базе открытого Pi. Отобранные четыре идеи позволили уменьшить расход токенов почти в два раза и снизить траты на API на треть ценой падения оценки на EdgeBench на 6 %.