DeepSeek — Field Evidence
paperUnverified
DeepSeek · DeepSeek · praise
Field note
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information — Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct machine-checkable proofs in this domain remains unmeasured. We introduc
collected 2026-07-24original 2026-07-23
Does this shift the US–China race?
Be the first to call it
Impact on the index
Benchmark win · minor
China +30US -7
Directional contribution — before recency decay and per-type diminishing returns. How it works →
Related Front
US vs ChinaLikely
U.S. FrontiervsChina Open-Weight
Likely — capability gap narrowing on common tasks
Letters from the Front
Be the first to file a report.