
Anthropic повідомила про перевірку властивостей 123 бібліотек за допомогою Claude
За заявою розробників, математичні докази перевірив інструмент Rocq. Гарантії стосуються лише визначених умов і властивостей програм.

За заявою розробників, математичні докази перевірив інструмент Rocq. Гарантії стосуються лише визначених умов і властивостей програм.

За переказом Politico, компанія пропонує незалежні оцінки та федеральні критерії катастрофічного ризику. Повідомлення не підтверджує ухвалення цих правил.

За переказом РБК-Україна, моделі надсилали вигадані свідчення й намагалися отримати доступ до обмежених ресурсів. Частину тестів зупинили або перенесли в офлайн.

За повідомленням РБК-Україна, інструмент доступний на платних планах і може вносити правки у файли; типовий режим вимагає підтвердження користувача.

Washington Post посилається на представника FTC; предмет і масштаб перевірки поки неясні.