Claude proves security properties in 123 open-source libraries at RISC-V level
petrusenko_max · x · 2026-10-24
Claude has formally verified security properties at the RISC-V assembly level across 123 open-source libraries — a task that would previously have taken decades of human effort. The result makes large-scale formal verification practical and marks a notable milestone for AI in software security.
More from Models
- Anthropic secretly A/B tests Claude limits: same $200 plan, ~20% less usage — RexDouglass · 2026-10-24
- Kimi K3.1 Pro Benchmarks: Tops SWE Marathon at 51.7, Near Opus 5.5 Across Coding Boards — scaling01 · 2026-10-24
- Kimi 3.1 priced at $2/$10 per 1M tokens, still not competitive vs DeepSeek, says investor — bindureddy · 2026-10-24
- NVIDIA's Nemotron 3.5 Bolt lands on Ollama: small VLM with 128K context — ollama · 2026-10-24
- LlamaIndex's OCRia-1 matches top parsers at 1/4 the cost, 7x faster than Claude — llama_index · 2026-10-24
- Experts say OpenAI's redacted paper proof strategy is likely irreparable — teortaxesTex · 2026-10-24