Source authenticated

Polynomial-Factor Hardness for the Closest Vector Problem

Is the closest vector problem NP-hard to approximate within polynomial factors $n^c$? Yes for some $c > 0$: hardness of approximation reaches polynomial factors, with consequences for decoding and related lattice problems - a foundational question underpinning post-quantum cryptography where hardness had stalled at almost-polynomial factors since the late 1990s.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Aug 1, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Polynomial-Factor Hardness for the Closest Vector Problem · CVP hardness

Confidence: Not scored

Registry verification: lean verified · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Astra (internal preview)
model · ai model contributor · OpenAI

Artifacts and verifiers

Lean certificate (GapCVP.lean)

lean artifact · passed

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Astra (internal preview)

Act on this frontier

Verify, challenge, or extend the result.

Polynomial-Factor Hardness for the Closest Vector Problem — Mathematical Frontier Network