Claude
Внутренняя модель Anthropic превзошла Mythos 5.1 по возможностям и выравниванию
Claude от Anthropic сгенерировал 180 млн строк доказательств корректности кода
Anthropic и Theorem применяют Claude для доказательства безопасности 100+ библиотек
Claude за 64 часа создал белки против яда скорпионов, 17 подтвердились в лаборатории