Polynomial-factor hardness of Euclidean closest vector
Is Euclidean closest vector NP-hard to approximate within for some fixed constant under a deterministic reduction?
References
Primary source
Progress summary
One source claims the conjectured hardness result, but no corroborating publication was found, so the claim remains unverified.
The problem asks whether Euclidean closest vector is NP-hard to approximate within a fixed polynomial factor under deterministic reductions.
Known results
- Dinur, Kindler, and Safra: ordinary closest vector is hard to approximate within for some , which is weaker than a fixed polynomial factor.
- For , constant-factor hardness results are known under Gap-SETH; the Euclidean case is excluded.
Undated polynomial-factor hardness claim
A source titled “NP-Hardness of Approximating the Closest Vector Problem within a Polynomial Factor” states that is NP-hard under deterministic polynomial-time Karp reductions, apparently implying the requested result. No independently corroborating preprint or peer-reviewed artifact was found.
Current status (as of March 2026): A direct source claims the result for , but corroboration is absent; without it, the claim is unverified.
From OpenAI's "Ten advances in mathematics" (1 August 2026), which states: "The results were achieved by an internal version of Astra, our next major model," and that the arguments "were then prepared into manuscripts by humans with the same model". Claimed, not independently verified.
Solutions 0
No solutions have been posted yet.