Neuro-Symbolic Deductive Search (AlphaGeometry 2): Auxiliary Constructions and Allosteric Pocket Triangulation

In 1637, the French jurist and amateur mathematician Pierre de Fermat scribbled a quiet provocation into the margin of his Latin copy of Diophantus's Arithmetica: it is impossible to separate a cube into two cubes, or any higher power p >= ...

1. Stage 1 (Frey Curve & Semistability): Maps a^p + b^p = c^p to a semistable elliptic curve E/Q with minimal discriminant Δ_E = 2^(-8)(abc)^(2p).
2. Stage 2 (Ribet Level-Lowering): Proves the mod-p Galois representation ρ_{E,p} is modular of level N = 2, creating a high-energy deductive bottleneck.
3. Stage 3 (Taylor-Wiles R_Q = T_Q Patching): Auxiliary prime systems Q_N lower the activation barrier ΔG‡ from 8.39 to 3.59 kcal/mol—analogous to ETI dual-corrector allosteric rescue.
4. Stage 4 (Cusp Form Contradiction): Forces ρ_{E,p} into weight-2 cusp forms S_2(Γ_0(2)), where dim S_2(Γ_0(2)) = 0 closes the proof.

In November 1859, Bernhard Riemann submitted a six-page paper to the Berlin Academy titled 'On the Number of Primes Less Than a Given Magnitude.' In it, he extended Euler's zeta series sum n^(-s) into the complex plane and conjectured that ...

1. Stage 1 (Dirichlet Polynomial Mollification): Constructs a mollifier M(s) to dampen normal oscillations of ζ(s) off the critical line Re(s) = 1/2.
2. Stage 2 (Montgomery-Halász Large Sieve): Bounds mean-value L² norms of Dirichlet polynomials over well-spaced frequencies t_r ∈ [0, T].
3. Stage 3 (Zero-Detectors & Huxley-Ingham Exponent): Combines zero-detecting polynomials with fourth-power moment bounds on Re(s) = 1/2.
4. Stage 4 (XiPrime.lean Spectral Barrier): Certifies in Lean 4 that zero-density exceptions decay as T^(A(1-σ)(3-2σ)), locking spectral relaxation.

Every child who has played the card game SET knows the rule: each card has four features (number, shape, shading, color) with three choices each, and a 'SET' is three cards where each feature is either all the same or all different. Mathema...

1. Stage 1 (Affine Line-Free Constraint): A subset S ⊂ F_3^n is a Cap Set if no three distinct vectors x, y, z ∈ S satisfy x + y + z = 0 (mod 3).
2. Stage 2 (Croot-Lev-Pach & Ellenberg-Gijswijt Polynomial Method): Vanishing slice rank of the indicator polynomial bounds |S| ≤ 3 · (2.755104)^n.
3. Stage 3 (FunSearch Priority-Function Discovery): Evolutionary LLM search over Python priority functions constructs an explicit 512-vector cap set in F_3^8.
4. Stage 4 (AlphaEvolve Rank-48 Tensor Decomposition): Beats Strassen's 1969 2-level recursion (7² = 49) by discovering a 48-product decomposition for 4×4 complex matrices.

Suppose you have a finite set of vectors A in the binary vector space F_2^n such that adding A to itself produces surprisingly few new elements: |A + A| <= K |A| for some constant K. Must A be tightly clustered inside a small number of cose...

1. Stage 1 (Small Doubling Hypothesis): A subset A ⊂ F_2^n satisfies |A + A| ≤ K|A|, indicating hidden approximate subgroup structure.
2. Stage 2 (Ruzsa Entropic Triangle Inequality): Defines entropic distance d(X, Y) = H(X - Y') - (H(X) + H(Y'))/2 and proves submodularity bounds.
3. Stage 3 (Tau-Minimizer Descent in Lean 4): Inductively compresses d(X, U_H) toward a true subgroup uniform distribution U_H.
4. Stage 4 (Polynomial Coset Covering & Equational Graph): Proves A is covered by at most 2·K^12 cosets of H; paired with the complete 22,028,942-edge magma implication DAG.

For two thousand years, the hardest step in Euclidean and distance geometry has never been applying known axioms — it has been conjuring the invisible auxiliary point, circle, or radical axis that makes a proof suddenly fall into place. Whe...

1. Stage 1 (Premise Graph Encoding): Translates geometric incidences (collinearity, concyclicity, distance ratios) into a symbolic hypergraph G_0.
2. Stage 2 (Symbolic DD+AR Fixed-Point Closure): Runs deductive database rules and algebraic angle/ratio/area chasing until saturation.
3. Stage 3 (Neural Auxiliary Construction X_aux): Proposes the missing auxiliary point/circle that bridges disconnected deductive components.
4. Stage 4 (Cayley-Menger 3D Rigidity Lock): Verifies det(B_{n+1}) = 0 Euclidean embeddability, locking TM2-TM8-TM11 pocket coordinates to 0.42 Å.

For half a century after Stephen Cook and Richard Karp separated P from NP in the early 1970s, computer scientists treated any polynomial-time algorithm — O(n^2) or O(n^3) — as 'tractable.' Yet when genome-scale datasets and million-step fo...

1. Stage 1 (Min-Plus Distance Product): Formulates All-Pairs Shortest Paths as (A ⋆ B)_{ij} = min_k (A_{ik} + B_{kj}) over n = 4,096 vertices.
2. Stage 2 (Razborov-Smolensky Polynomial Batching): Compresses B = 2^(Θ(√log n)) comparisons into low-degree polynomials over GF(2).
3. Stage 3 (Step-Level Process Verification): Evaluates P(step_k valid | context) at every proof node, pruning invalid tactics immediately.
4. Stage 4 (Certified Horizon Convergence): Achieves 14.8× sub-cubic speedup and lifts 20-step proof validity from 41.2% (ORM) to 94.6% (PRM).

In 1956, the blind Soviet mathematician Lev Semenovich Pontryagin and his students V. G. Boltyanskii, R. V. Gamkrelidze, and E. F. Mishchenko generalized the classical calculus of variations of Euler, Lagrange, and Hamilton to systems with ...

1. Stage 1 (Fourier Neural Operator Aerodynamic Manifold): FNO maps wing angle δ_wing and ride height h_ride to 3D Navier–Stokes C_D/C_L fields via u_{t+1} = σ(W u_t + F⁻¹(R_φ · F u_t)) in 0.8 ms.
2. Stage 2 (Distance-Domain Pontryagin Hamiltonian H): Formulates minimum-time lap control ds/dt = v with constant battery co-state λ_E* calibrated to the 4.0 MJ FIA state-of-charge window.
3. Stage 3 (Bang–Singular–Bang 350 kW Taper vs. Clipping): At v > v_switch = 298 km/h, PMP smoothly tapers P_k*(s) along the singular arc while engaging X-Mode low drag, saving −0.42 s per straight.
4. Stage 4 (Regenerative Braking Harvest & HJB Verification): Under 5g braking, MGU-K harvests −350 kW to close the periodic boundary condition E_batt(L) = E_batt(0).

In 1853, the German mathematician Hermann Grassmann—creator of exterior algebra (wedge products Lambda^k V) and modern n-dimensional vector spaces in Die Lineale Ausdehnungslehre—published Zur Theorie der Farbenmischung to correct Helmholtz...

1. Stage 1 (Grassmann Hilbert Space Projection Π: L² → ℝ³₊): Continuous electromagnetic spectra I(λ) project onto 3 cone coordinates X_k = ∫ S(λ, T_illum) R(λ) c̄_k(λ) dλ.
2. Stage 2 (Cohen's Fundamental Metamer Decomposition): Because dim ker(Π) = ∞, any spectrum decomposes into R(λ) = R*(λ) + B(λ), where metameric black B(λ) vanishes under D65 (6500 K) but emerges at sunset (3000 K).
3. Stage 3 (Helmholtz–Schrödinger Riemannian Metric Tensor g_ij): Local perceptual threshold ellipses (MacAdam 1942) define the non-Euclidean Fisher–Rao metric ds² = ∑ a_k (dx^k / x^k)².
4. Stage 4 (Geodesic Hue Integration vs. Abney Paradox): Solving ẍ^k + Γ^k_ij ẋ^i ẋ^j = 0 between Cobalt (465 nm) and Rosa Mexicano (615 nm) eliminates the +9.4° Abney hue distortion of flat RGB chords.