DeepSeek V4.1 Flash 1017 runs at 1,521+ tok/s on Fireworks Ultrafast.
Fast enough to ship Tetris in 11 seconds, 7x faster than Claude Opus 5.5.
Join the Ultrafast waitlist: https://t.co/vE0jM7Lyou
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