Алгоритм зміг виявити недоліки, які залишалися непоміченими попри мільйони автоматизованих запусків Anthropic повідомила, що модель Claude офіційно перевірила властивості безпеки 123 бібліотек з відкритим кодом і виявила сотні прихованих помилок завдяки використанню математичних доказів.
ДжерелоРБК-Україна