The Approximation Ratio for Boolean Max-k-CSP

Removes the constant factor from the previous best guarantee; whether $k/2^k$ is optimal is not settled here.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 5, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.

Canonical aliases: The Approximation Ratio for Boolean Max-k-CSP · Boolean Max-k-CSP

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Attribution

VibeMathed
registry · event recorded by

Ainesh Bakshi
human · human collaborator

GPT-5.6 Sol Max
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Ainesh Bakshi

This event attributed to GPT-5.6 Sol Max

Act on this frontier