Gemini 4 Argon 零样本提示做出量子电路超优化，T 门砍 94.5%

Luke Parker @LukeParkerDev原推发布于 2026.10.14

在 X 上打开原推

Gemini 4 Argon found massive breakthroughs in Quantum Physics Cuts T-gates by 94.5% on Cobble-Rz (up to 48.8% fewer remaining gates than tzap -O3 & 28% fewer T-gates on Feynman's barenco_tof_10). Core theorems proved in Lean 4, circuits statevector-verified, and PRs opened upstream. A near zero-shot prompt totalling ~$10 Paper: Linear-Time Quantum Circuit Superoptimization via Canonical Ancilla Alignment, Hermitian Relative-Phase Pairing, and Frobenius-Corrected Boolean Abstraction https://doi.org/10.5281/zenodo.23359809