Anthropic uses Claude to formally verify 100+ open-source libraries
Read original source →anthropic.com
In a collaboration with Theorem, Claude proved security properties at the RISC-V assembly level in over 100 real-world open-source libraries — described as the first large-scale AI formal-verification effort on production software at that level. Claude also found bugs that had survived trillions of test runs.
How this story unfolded
2 days · 1 report · 2 community posts · from Oct 21
More stories today
LocalLLaMA user asks if 128GB RAM upgrade enables larger local models
A Reddit user with 48GB VRAM (2x RTX 3090) and 48GB DDR4 asks whether 128GB DDR4 would let them run Deepseek V4.1 1017 and GLM 5.3 Flash at low quants at ~20 tokens/sec. No benchmarks or answers are included in the post.
r/LocalLLaMA·1 hour agoAnthropic opens guest investigator call for life sciences
Anthropic is inviting principal investigators at academic institutions, nonprofits, and government labs to apply for 8–12 week projects using Claude on causal human biology, structural and computational molecular biology, medicinal chemistry, drug discovery, and clinical science. Anthropic runs its models and harnesses at no cost, and outputs are published with open-source data and code.
Anthropic News·1 hour ago
Qwen Code v0.26.0 nightly adds daemon token persistence
Nightly build v0.26.0-nightly.20261022.bf66a26c97 adds daemon token persistence and a release fix covering every spawned vendored binary in the tarball exec-bit gate. Also includes managed-agent test changes reusing a same-key cancel.
Qwen Code Releases·1 hour agoClaude Code 2.1.309 adds APCA contrast checks and ultrareview trust gate
The bundled dataviz skill now accepts APCA as a text-contrast measure while keeping WCAG 2 ratios for AA conformance, and adds an apca(text, background) function to its palette validator. claude ultrareview now requires workspace trust, with scripts passing --trust-workspace or setting CLAUDE_CODE_DISABLE_ULTRAREVIEW_TRUST_CHECK=1.
Claude Code Changelog·1 hour ago
Microsoft's ThinkingBox turns database grading into RL rewards for agents
Hugging Face post details post-training agents with ThinkingBox, using database grading outcomes as reinforcement-learning reward signals. No benchmark scores or model versions are given in the available snippet.
Hugging Face Blog·1 hour ago
Anthropic's full Claude Platform is now generally available on Google Cloud
Claude Models on Google Cloud (Anthropic managed) gives customers the full Claude API, including Managed Agents, code execution and Opus 5.5 fast mode, with new features shipping same-day as the native platform. Access uses existing Google Cloud IAM credentials, bills on one Google Cloud invoice and draws down existing commitments; US and Global endpoints only.
Claude Blog·1 hour ago
OpenAI nears $30B raise at $1.25T valuation ahead of IPO
The round is led by Coatue and UAE investors and would make OpenAI the most valuable private company ever, topping its $852B post-money mark from March. CNBC reports the UAE funding could come with a deal for more OpenAI computing capacity there.
TechCrunch·1 hour ago
Goodfire's Matthew Kowal talks interpretability across model design
Goodfire MTS Matthew Kowal argues interpretability should be framed through model affordances — the actions a system makes possible — giving researchers and engineers new ways to intervene throughout the model design pipeline. The Cohere-hosted talk splits into a first part on that framing.
YouTube·1 hour ago