New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: https://t.co/zUyx8CjBEk
Wake up.
Every profession deemed white-collar, the middle class dream, is about to be decimated by AI, at a much faster pace than anticipated, with monstrous social consequences.
running a US company
being a US permanent resident
using claude only for personal + business work
temporarily staying in China
took my annual renewal for the team plan
2 days later: account is banned
@claudeai, can you at least explain what happened?
and if being physically in China is a hard restriction, then just refund the unused subscription and maybe don’t ban accounts right after taking their annual renewal
两篇关于anthropic的争议:
GKH 在 Kernel Recipes 演讲中评议了一批 Mythos 安全报告,认可其中的实际修复价值,也指出部分报告存在问题。相关数字的计数口径不同,不宜直接换算为 Claude 的准确率。
“Mythos broke down to 10 real bug fixes.”
https://t.co/uP6km1CVdT
Mononoke 开发者 Rain 对 Claude 参与开发的 Scion 提出署名质疑。Anthropic 随后补充了设计来源说明,Rain 在文章更新中认可新增署名已经足够。
“sufficient attribution has been added to Anthropic’s blog post.”
https://t.co/RBd6rmYF7g