Jonathan ƒ(n) Reed

Geometric Exclusion of Smooth Solutions to Navier-Stokes Equations at Stationary Right-Angles under No-Slip Boundary Conditions in Lean 4

This paper presents a proof by contradiction demonstrating that smooth solutions to the three dimensional incompressible Navier-Stokes equations do not exist for all time. Our argument is a direct consequence of a specific no-slip boundary condition: a stationary right-angle corn...

Vizing's Impossible Descent - Boundary Analysis and Formal Proof by Contradiction of Vizing's Conjecture in Lean 4 via the Impossibility of Minimal Counterexample Descent

Traditional approaches to Vizing’s conjecture have long relied on asymptotic bounds, structural invariants, and local density heuristics, frequently stalling against the combinatorial explosion of graph products. This paper shatters those bottlenecks. By combining integrality gap...