AI News

Claude Generates 310,000+ Protein Designs in 64 Hours; AI Drug Discovery Gets First Independent Laboratory Cross-Check

Anthropic reported that Claude generated 318,484 protein binder designs against scorpion venom neurotoxins in 64 hours; 211 candidates were tested by two independent CROs, 17 passed binding tests, and the strongest showed single-digit nanomolar affinity. With public sequences, a 69-page report, and external expert review, the work represents AI protein design's most complete reproducible closed loop to date.

Claude 蛋白设计 AI药物发现
27

China Plans to Restrict Exports of 23 AI Technologies as 2-Trillion-Parameter Threshold Draws a New Regulatory Boundary

China has proposed export controls on 23 AI technologies, triggered by training compute above 10^26 FLOP, more than 2 trillion parameters, or a global top-ten ranking. The draft pairs absolute thresholds with a floating top-ten trigger and exemptions for open-source releases and API-based inference services, establishing a framework that can be tightened over time.

AI出口管制 中美AI竞争 大模型
14

Anthropic and Theorem Partner: Claude First to Prove Zero Crashes in RISC-V Assembly Across 123 Libraries

Anthropic and Theorem announced that Claude generated roughly 180 million lines of Rocq proof code for 123 real open-source libraries in Google OSS-Fuzz, mathematically proving at the RISC-V assembly level that 239 entry points do not crash under any input. The work also uncovered hidden vulnerabilities and points toward automated, mass-producible formal verification.

AI形式化验证 开源软件安全 Anthropic
220

OpenAI Decisions API Goes Generally Available: Input-Only Billing, 150-Millisecond Responses, Redefining AI Decision Costs

OpenAI has made the Decisions API generally available with input-only billing at $0.10 per million tokens and response times as low as 150 milliseconds. The API returns probabilities, enumerated choices, or scores instead of generated text, targeting lower cost and latency for high-frequency classification, routing, and review workloads.

OpenAI Decisions API GPT-6 Luna
274