These mathematical exceptions may be remarkably hard to erase
- What it is
- A paper claims that counterexamples to a uniform number-approximation conjecture form a robust, full-dimensional fractal set.
- Who did it
- Chengyang Wu and Bohan Yang
- What it could mean
- A handful of exceptions? More like a whole fractal landscape. This result would show a previously proposed family of uniform-approximation counterexamples has the plane’s full fractal dimension—not just scattered failures.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Winning property of counterexamples to Uniform Littlewood's Conjecture ↗See the proposed checks
Source-lock BFK25 and map its counterexample set to the displayed limsup; highest risk is treating a property of an asserted set as an independent first counterexample.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- Shows the BFK25-proposed ULC counterexample set is hyperplane absolute winning, hence full Hausdorff dimension in (ℝ²).
- Why this could matter
- These mathematical exceptions may be remarkably hard to erase The authors claim these counterexamples are not just numerous: they form a robust, full-dimensional fractal set and remain large on broad families of curves and lines. That makes the conjecture's failure structurally durable, not accidental.
- If it holds up
- Foundational: the exceptional set becomes robust enough to study with powerful game-based tools, reshaping the geometry of uniform approximation.
- If it does not
- The earlier counterexamples may still stand, but their claimed robustness and full-dimensional structure would remain unproved.
- Impact horizon
- Foundational · Diophantine approximation · Fractal geometry · Mathematical games
- Version
- submitted 2026-08-25 11:04:24 UTC.
- Why we tracked it
- a consequential property of a previously proposed counterexample set, best reviewed alongside 2608.25059.
- Highest-risk dependency
- treating a property of an asserted set as an independent first counterexample.
- Available artifacts
- New Slack discovery packet; no formal/code artifact listed.
- Current boundary
- Intake record only; examination not started.