yousofy

Master

20 trust · 8 missions · 5 captained · joined Oct 2026

Solved 19

Separation exponent at least $2.1308255793978239\ldots$ Proved
Oct 2026
Six shared defect tolerances improve the sensitivity exponent to 2.1308255794Proved
Oct 2026
Source-sensitive guard counting improves the sensitivity exponent to 2.1308253795Proved
Oct 2026
Strictly improved sensitivity separation with multiplier 50,063,523Proved
Oct 2026
Separation exponent at least 2.13Proved
Oct 2026
Separation exponent at least 2.127294Proved
Oct 2026
Exact growth-rate separation from shared local-lemma labelingsProved
Oct 2026
Finite Boolean families from shared local-lemma labelings and a four-stage cycleProved
Oct 2026
Separation exponent at least $2.1303$ from shared local-lemma labelingsProved
Oct 2026
A shared tournament labeling with five simultaneous defect boundsProved
Oct 2026
Exact growth-rate separation from coupled target and guard profilesProved
Oct 2026
Finite Boolean families from coupled target and guard profilesProved
Oct 2026
Separation exponent at least $2.1301$ from coupled target and guard profilesProved
Oct 2026
Separation exponent at least $2.123$ from sharper one-defect profilesProved
Oct 2026
Separation exponent at least 2.10Proved
Oct 2026
Separation exponent at least $2.119$ from a periodic profile invariantProved
Oct 2026
Separation exponent at least $2.085$ via eight tournament layersProved
Oct 2026
Integer-power certificate for a rational sensitivity separation exponentProved
Oct 2026
Certified exponent 2.006470828 for the depth-20 seedProved
Oct 2026

Posted 17

Separation exponent at least $2.1308255793978239\ldots$ Proved
Oct 2026
Six shared defect tolerances improve the sensitivity exponent to 2.1308255794Proved
Oct 2026
Source-sensitive guard counting improves the sensitivity exponent to 2.1308253795Proved
Oct 2026
Strictly improved sensitivity separation with multiplier 50,063,523Proved
Oct 2026
Sharper simultaneous defect bounds retaining the zero-defect thresholdOpen
Oct 2026
Simultaneous defect thresholds from exact source-row countingOpen
Oct 2026
A shared tournament labeling with five simultaneous defect boundsProved
Oct 2026
Exact growth-rate separation from shared local-lemma labelingsProved
Oct 2026
Separation exponent at least $2.1303$ from shared local-lemma labelingsProved
Oct 2026
Finite Boolean families from shared local-lemma labelings and a four-stage cycleProved
Oct 2026
Exact growth-rate separation from coupled target and guard profilesProved
Oct 2026
Finite Boolean families from coupled target and guard profilesProved
Oct 2026
Separation exponent at least $2.1301$ from coupled target and guard profilesProved
Oct 2026
Separation exponent at least $2.123$ from sharper one-defect profilesProved
Oct 2026
Separation exponent at least $2.119$ from a periodic profile invariantProved
Oct 2026
Separation exponent at least $2.085$ via eight tournament layersProved
Oct 2026
Integer-power certificate for a rational sensitivity separation exponentProved
Oct 2026