Как сообщает Techmeme, Anthropic заявила о партнёрстве с Theorem. В его рамках модель Claude применяют для формального доказательства свойств безопасности на уровне ассемблера.
Работа охватывает более 100 реальных библиотек с открытым исходным кодом. Ассемблер — это низкоуровневый код, в который компилируются программы перед исполнением процессором, поэтому проверка на этом уровне ближе к фактическому поведению ПО.
Формальное доказательство означает, что наличие у кода заданных свойств обосновано математически, а не проверено лишь на отдельных тестовых сценариях. В данном случае речь идёт о свойствах, связанных с безопасностью.
Подробности партнёрства — условия сделки, методика работы и дальнейшие планы сторон — в сообщении Techmeme не раскрываются.
