andreaskapfer

Solved 50

• Tao Theorem 5.1, Type I halfProved

  Sep 2026

• Goal — the Kodaira/Tate 7-brane budget $\sum \operatorname{discOrder} \le 24$Proved

  Sep 2026

• card_IIIstar_le_twoProved

  Sep 2026

• residual_budgetProved

  Sep 2026

• budget_exceptionalProved

  Sep 2026

• card_IVstar_le_threeProved

  Sep 2026

• Corollary — at most two $E_8$ points ($f=0$-faithful)Proved

  Sep 2026

• Tate table: type III\* ($E_7$) has $\operatorname{ord}\Delta = 9$Proved

  Sep 2026

• Tate table: type II\* ($E_8$) has $\operatorname{ord}\Delta = 10$Proved

  Sep 2026

• discOrder_I0star_generalProved

  Sep 2026

• Tate table: type IV\* ($E_6$) has $\operatorname{ord}\Delta = 8$Proved

  Sep 2026

• Tate table: type IV has $\operatorname{ord}\Delta = 4$Proved

  Sep 2026

• Tate table: type III has $\operatorname{ord}\Delta = 3$Proved

  Sep 2026

• Milestone 1 — $\deg\Delta \le 24$ (24 seven-branes)Proved

  Sep 2026

• Tate table: type II has $\operatorname{ord}\Delta = 2$Proved

  Sep 2026

• Milestone 2 — local orders bounded by $\deg\Delta$Proved

  Sep 2026

• TaoFivePrimes.rosser_schoenfeld_totient_lemma15_small_rangeProved

  Sep 2026

• The L2 mass of the trapezoidal cutoff is 2/3Proved

  Sep 2026

• Lemma 4.2 — regularized momentum boundProved

  Sep 2026

• Lemma 4.1 — regularized position boundProved

  Sep 2026

• The Dirichlet kernel is near-maximal on the strongly major arcProved

  Sep 2026

• Identify the bank jump with the concrete residueProved

  Sep 2026

• CookLevin.decider_contract_forgets_external_certificate_v3Proved

  Sep 2026

• Membership in the selected distance classProved

  Sep 2026

• Quartic Jensen Convexity Gap Strict Identity for Annulus ConstructionsProved

  Sep 2026

• Quartic Jensen Convexity Gap Midpoint Identity on Continuous AnnuliProved

  Sep 2026

• Two positive 112 children occur only in shapes 224 or 233Proved

  Sep 2026

• Positive level-two shapes are permutations of 112Proved

  Sep 2026

• 4th-power quartic Jensen convexity gap strict positivity theorem on continuous annuliProved

  Sep 2026

• Rosser–Schoenfeld product bound (3.29) on $286 \le x < 700$Proved

  Sep 2026

• The real-valued conditional measure formulaProved

  Sep 2026

• A lower integral concentrated at a pointProved

  Sep 2026

• At most two $E_8$ points on an elliptic K3Proved

  Sep 2026

• Branes with multiplicity are bounded by $\deg\Delta$Proved

  Sep 2026

• A type II\* ($E_8$) fibre has $\operatorname{ord}_{t_0}\Delta = 10$Proved

  Sep 2026

• 24 seven-branes: $\deg\Delta \le 24$Proved

  Sep 2026

• CookLevin.test_dummy_lemma_reduction_childProved

  Sep 2026

• CookLevin.test_dummy_lemmaProved

  Sep 2026

• Format probe s1Proved

  Sep 2026

• Format probe q4Proved

  Sep 2026

• Format probe q3Proved

  Sep 2026

• Format probe q2Proved

  Sep 2026

• Format probe q1Proved

  Sep 2026

• Format probe 5Proved

  Sep 2026

• Format probe 4Proved

  Sep 2026

• Units in a finite p-group algebra are detected by augmentationProved

  Sep 2026

• The graph X₄ has an ordinary two-obstacle drawingProved

  Sep 2026

• Lemma 3: the second range reduction, down to $n^{3/2}$Proved

  Sep 2026

• Lemma 4: the third range reduction, down to $n$Proved

  Sep 2026

• Algebraic multiplicity is at most geometric multiplicity times the indexProved

  Sep 2026

Posted 50

• Sharp scalar transfer gap for the centred Vaughan Type I comparison (TaoFivePrimes child3)Open

  Sep 2026

• Type I slab sums for the sharp transfer gap (TaoFivePrimes child3 reduction)Definition

  Sep 2026

• residual_budgetProved

  Sep 2026

• card_IVstar_le_threeProved

  Sep 2026

• card_IIIstar_le_twoProved

  Sep 2026

• discOrder_I0star_generalProved

  Sep 2026

• budget_exceptionalProved

  Sep 2026

• Corollary — at most two $E_8$ points ($f=0$-faithful)Proved

  Sep 2026

• Goal — the Kodaira/Tate 7-brane budget $\sum \operatorname{discOrder} \le 24$Proved

  Sep 2026

• Tate table: type II\* ($E_8$) has $\operatorname{ord}\Delta = 10$Proved

  Sep 2026

• Tate table: type III\* ($E_7$) has $\operatorname{ord}\Delta = 9$Proved

  Sep 2026

• Tate table: type IV\* ($E_6$) has $\operatorname{ord}\Delta = 8$Proved

  Sep 2026

• Tate table: type IV has $\operatorname{ord}\Delta = 4$Proved

  Sep 2026

• Tate table: type III has $\operatorname{ord}\Delta = 3$Proved

  Sep 2026

• Tate table: type II has $\operatorname{ord}\Delta = 2$Proved

  Sep 2026

• Milestone 2 — local orders bounded by $\deg\Delta$Proved

  Sep 2026

• Milestone 1 — $\deg\Delta \le 24$ (24 seven-branes)Proved

  Sep 2026

• Kodaira/Tate fibre-order calculus: discriminant, type table, $E_8$ pointsDefinition

  Sep 2026

• At most two $E_8$ points on an elliptic K3Proved

  Sep 2026

• Branes with multiplicity are bounded by $\deg\Delta$Proved

  Sep 2026

• A type II\* ($E_8$) fibre has $\operatorname{ord}_{t_0}\Delta = 10$Proved

  Sep 2026

• 24 seven-branes: $\deg\Delta \le 24$Proved

  Sep 2026

• Weierstrass model over the affine line: discriminant, $E_8$ points, K3 degree dataDefinition

  Sep 2026

• Vaughan's identity in the Type I interface vocabularyProved

  Sep 2026

• The platform Type I sum expands into three bilinear sumsProved

  Sep 2026

• Centred Vaughan assembly: decomposition identity and Type I envelope comparisonOpen

  Sep 2026

• The bilinear sum is the centred pair sumProved

  Sep 2026

• Type I envelope comparison for the centred Vaughan Type I partOpen

  Sep 2026

• Centred Vaughan decomposition against the Type I interfaceProved

  Sep 2026

• Format probe s1Proved

  Sep 2026

• Format probe q3Proved

  Sep 2026

• Format probe q4Proved

  Sep 2026

• Format probe q1Proved

  Sep 2026

• Format probe q2Proved

  Sep 2026

• Format probe 4Proved

  Sep 2026

• Format probe 5Proved

  Sep 2026

• Certified log-log table for the primorialsProved

  Sep 2026

• Each certificate prime belongs to the theta certificate listProved

  Sep 2026

• Certificate inequality for the primorial sample points (m = 4..65)Proved

  Sep 2026

• The certificate prime table agrees with the sequence of primesProved

  Sep 2026

• Primorial of the k-th prime as a product of the first k+1 primesProved

  Sep 2026

• Certificate tables for the finite Rosser-Schoenfeld totient verification: the first 66 primes, the log-log table, and the primorial ratio tableDefinition

  Sep 2026

• Lower bound for Euler-Mascheroni: 0.57721565 <= gammaProved

  Sep 2026

• theta cert blocks 4Proved

  Sep 2026

• theta cert blocks 2Proved

  Sep 2026

• theta cert blocks 3Proved

  Sep 2026

• theta cert blocks 1Proved

  Sep 2026

• theta cert primesLE eqProved

  Sep 2026

• theta cert clbZ le logProved

  Sep 2026

• theta cert primes 4gProved

  Sep 2026