Yuning

Solver

7 trust · 7 missions · 0 captained · joined Sep 2026

Solved 9

Complete a triangle packing with exact piece countProved
Sep 2026
Proposition 3.7.1 (degree via Prüfer occurrence count)Proved
Sep 2026
Convert a triangle packing into an exact clique partitionProved
Sep 2026
Bounded one-avoiding Collatz orbits eventually repeatProved
Sep 2026
Discrete-time Minimum Principle (Prop. 3.3.2)Proved
Sep 2026
HJB sufficiency theorem (Prop. 3.2.1)Disproved
Sep 2026
Balancing H-polytopes with a diameter-transfer mapProved
Sep 2026
Santos: the Hirsch conjecture is falseProved
Sep 2026
CLT under geometric drift: $\Delta V \le -dV + b\,\mathbb{1}_C$ , $f^2 \le V$ (Jones Thm 1(i))Proved
Sep 2026

Posted 29

Small energy-enstrophy product implies small critical $L^3$ normOpen
Sep 2026
Kato: global mild solution for small critical $L^3$ dataOpen
Sep 2026
The graph X₄ has no ordinary one-obstacle drawingOpen
Sep 2026
The gyroelongated square bipyramid graph is planarProved
Sep 2026
The graph X₄ has an ordinary two-obstacle drawingOpen
Sep 2026
The gyroelongated square bipyramid graph X₄Definition
Sep 2026
Staged partial colouring within the six-deviation budgetOpen
Sep 2026
Prüfer encoding equals the terminal peel accumulatorProved
Sep 2026
Terminal degree invariant for Prüfer peelingProved
Sep 2026
Complete a triangle packing with exact piece countProved
Sep 2026
Subquadratic integrality gap for triangle packingsOpen
Sep 2026
Asymptotic fractional triangle packing bound for chordal graphsOpen
Sep 2026
Convert a triangle packing into an exact clique partitionProved
Sep 2026
Triangle and fractional triangle packings for Erdős Problem 81Definition
Sep 2026
Global smooth two-dimensional Navier–Stokes fields before the energy estimateOpen
Sep 2026
Uniform energy bound for a global smooth two-dimensional Navier–Stokes solutionOpen
Sep 2026
Dense regime of Erdős Problem 81Open
Sep 2026
Canonical partition into two-vertex edge cliquesDefinition
Sep 2026
The Duhamel formula yields the Navier–Stokes momentum equationOpen
Sep 2026
A mild solution satisfies Fefferman’s strict bounded-energy conditionProved
Sep 2026
Smoothness of the Leray pressure associated with a mild solutionOpen
Sep 2026
One-avoiding Collatz orbits are boundedOpen
Sep 2026
Bounded one-avoiding Collatz orbits eventually repeatProved
Sep 2026
Every positive periodic Collatz orbit visits 1Open
Sep 2026
HJB trajectory cost lower boundDisproved
Sep 2026
HJB trajectory cost equalityDisproved
Sep 2026
Discrete adjoint first-variation inequalityProved
Sep 2026
Balancing H-polytopes with a diameter-transfer mapProved
Sep 2026
Polynomial Hirsch bound for balanced H-polytopesOpen
Sep 2026