Today's News
Techmeme + Jack Clark from Import AI
OpenAI claims an unreleased internal version of Astra resolved or made substantial progress on ten long-standing open problems spanning high-dimensional geometry, coding theory, quantum complexity, group theory, and extremal combinatorics—with the total compute cost estimated at roughly $2,000 in API-equivalent tokens. The proofs were formalized in Lean and prepared into manuscripts by humans working with the same model. However, concurrent research from Princeton found that Claude Opus 4.8, despite strong engineering capabilities, was rejected from NeurIPS for poor motivation and lack of novelty, suggesting frontier AI systems may be approaching capability thresholds in narrow technical domains while remaining weak at generating original research directions—a critical variable for assessing recursive self-improvement timelines. Gary Marcus criticized OpenAI's lack of transparency around verification methodology and human involvement in the proofs.
Original Chinese article (via Moonshot AI/K3 analysis) via ChinAI Newsletter
Moonshot AI's K3 model demands a minimum of 16+ H200 GPUs—representing approximately 17 million RMB (~$2.3M) in hardware costs plus 45 kilowatts of power consumption—making local deployment economically infeasible despite free public weights. The technical report reveals K3's infrastructure collaboration with Tsinghua University's MADSys Lab and custom Mooncake architecture for cache optimization, demonstrating how frontier Chinese labs are building specialized systems infrastructure comparable to Western labs' internal tooling. This case exemplifies the distinction between open-sourcing model weights versus enabling practical reproducibility, with significant implications for the economics of frontier model deployment and competitive advantage.
University of Toronto, Vector Institute, Cambridge, ServiceNow via Import AI
Researchers from University of Toronto, Vector Institute, Cambridge, and ServiceNow built a proof-of-concept worm using open-weight LLMs running on compromised GPUs to autonomously identify vulnerabilities, exploit them, and self-replicate across networks of Linux, Windows, and IoT devices with ~37% end-to-end success rates. The worm parasitically uses stolen compute to sustain its reasoning, creating a destabilizing economic asymmetry: the attacker's marginal cost per new infection is zero, while centralized safety controls like rate limiting are structurally irrelevant since the system operates independently of commercial AI platforms. The research demonstrates that self-sustaining, AI-driven cyber-threats are no longer theoretical, requiring new defensive countermeasures and raising urgent questions about the security implications of widely available open-weight models.
Pacing the Frontier signatories via Import AI
Signatories including Dario Amodei (Anthropic CEO), Jakub Pachocki (OpenAI Chief Scientist), Shane Legg (Google DeepMind co-founder), and Ilya Sutskever (Safe Superintelligence CEO) requested international coordination on technical and governance mechanisms to slow automated AI research capabilities, citing competitive pressures preventing unilateral restraint. The petition directly addresses a critical collective action problem: whether society can buy time to develop safety measures and oversight before systems become self-improving. Signatories emphasized that the world currently lacks the technical and governance tools to deliberately pace frontier-wide progress, and that the recent pace of capability development—from language understanding to superhuman software engineering and frontier math breakthroughs—has outpaced society's ability to understand and control resulting systems.