analiza aiqbench

This breakthrough resolves a 16-year-old conjecture by proving that exponential quantum speedups on unstructured inputs are impossible without specific problem structure, effectively setting a theoretical limit on raw computational advantage. The proof was discovered using an AI-assisted research system and verified via formal methods in the Lean theorem prover, marking a significant convergence of automated reasoning and fundamental quantum complexity theory.