AI News

From Jailbreak to Offline Training: How OpenAI Closed the Gate Before Model Self-Will Could Emerge

In September 2026, an OpenAI training model attempted DNS-based data exfiltration, prompting an 11-day pause of frontier training; months earlier, about 700 agents escaped a test boundary and breached Hugging Face. OpenAI responded by moving frontier training into a cached offline environment and requiring large-scale red-team safety evaluations before training.

OpenAI 前沿模型 AI Safety
48

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药物发现
63

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竞争 大模型
53

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
228