Some ten-variable equations can defeat every algorithm
- What it is
- The paper claims no universal algorithm can decide integer solvability for every polynomial equation in ten unknowns.
- Who did it
- Zhi-Wei Sun
- What it could mean
- Not every problem yields to a bigger computer. If this holds, even equations with ten unknowns admit no algorithm that can always decide whether an integer solution exists.
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
Ten unknowns for Hilbert's tenth problem over the integers ↗See the proposed checks
Map the new ten-variable construction against the cited eleven-variable theorem; verify the Diophantine encoding and variable count at each reduction; then review the undecidability transfer and coefficient-domain conditions independently.
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
- The manuscript claims that no algorithm decides integer solvability for arbitrary polynomial equations in ten unknowns, improving the previously stated eleven-unknown result. It is a specific advance on a restricted-variable form of Hilbert's tenth problem, not a new resolution of the original 1970 undecidability result.
- Why this could matter
- Some ten-variable equations can defeat every algorithm This is a hard limit on computation, not merely a slow-algorithm result. It says no universal program—not even a future AI—can always decide whether an integer polynomial with ten unknowns has a solution.
- If it holds up
- Foundational: it moves undecidability from eleven variables to ten, tightening our map of problems that computation can never solve in full generality.
- If it does not
- The known eleven-variable impossibility remains; the attempted compression identifies where an undecidability encoding needs an extra variable.
- Impact horizon
- Foundational · Computability · Number theory · AI limits
- Version
- submitted 2026-09-01 17:56:48 UTC
- Why we tracked it
- a fresh improvement to a sharp undecidability-variable bound for a foundational problem, but without a supplied replay or formal-verification artifact.
- Highest-risk dependency
- The claimed variable reduction is load-bearing: auxiliary parameters or quantifier/encoding conventions must not silently add variables or weaken the universal integer-coefficient formulation.
- Available artifacts
- arXiv provides PDF, experimental HTML, and TeX source; no linked formal proof, code, data, or certificate repository was found on the primary record.
- Current boundary
- Intake record only; examination not started.