Top.Mail.Ru

Anthropic и Theorem применили Claude к проверке безопасности открытого кода

Anthropic заявила о сотрудничестве с Theorem: Claude использовали для математического доказательства свойств - изображение

Anthropic заявила о сотрудничестве с Theorem: Claude использовали для математического доказательства свойств безопасности более 100 реально используемых библиотек с открытым исходным кодом. Работа касалась низкоуровневых инструкций программ, а не только их описания на языке разработчика.

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

Разбираем, что заявлено о проверке кода и какие выводы преждевременны: https://ai-digest.ru/go/finbazar/4384/

79
Комментарии
0 / 2000
Сообщение
Тебя ждёт миллион инвесторов
Регистрируйся бесплатно, чтобы учиться у лучших, следить за инсайтами и повторять успешные стратегии
Мы используем файлы cookie, чтобы улучшить ваш опыт на нашем сайте
Нажимая «Принять», вы соглашаетесь на использование файлов cookie в соответствии с Политикой конфиденциальности. Можно самостоятельно управлять cookie через настройки браузера: их можно удалить или настроить их использование в будущем.