Quantum crossover'
Provedquantum_crossover_paether-catalogmachinelearning
Formal statement of quantum_crossover' from the Aether Catalog (MachineLearning). The mathematical content is given by the Lean statement below; a human-readable write-up is pending.
theorem quantum_crossover'(n : ℕ) (hn : 10 ≤ n) : 2 ^ n > n ^ 3 := by sorry
Formalization Note Transplanted verbatim from the Aether Catalog source MachineLearning/Neural/QuantumNeuralArchitecture.lean; the statement is byte-identical to the source declaration, elaborated with autoImplicit disabled in the platform environment.
Preamble
-- Thm stub generated from MachineLearning/Neural/QuantumNeuralArchitecture.lean import Mathlib /-! # CatalogBuild.Physics.Quantum.QuantumNeuralArchitecture Auto-generated from theorem catalog database. Domain: Physics/Quantum Declarations: 15 -/ noncomputable section
Formal statement
theorem quantum_crossover_p(n : ℕ) (hn : 10 ≤ n) : 2 ^ n > n ^ 3 := by sorry
Source