Publication v7
Original question, distinct results, proof provenance, selected history and an explanatory schematic.
Formal proofs: The pinned Lean source reports complete optimality for the unit-slack event. Deliberate challenge placeholders are separate from the solution imports. OpenMath has not built the project.
AI-assisted work: Fu, Han, Wang, Yan, Zhang and Zhou and Nie–Wei receive separate proof credits. The papers attribute different roles to GPT-5.6 Pro and GPT-5.6 Sol. Wang–Zhang’s Codex formalization is separately credited. Ling owns the later Samuels proposal; its source does not attribute a specific AI role.
Selected primary papers, exact formal declarations, project provenance and official descriptions checked on 13 October 2026; Fu et al. §1.1 for the earlier lower bounds.
Checked Oct 13, 2026 · independent review pending.
Sharp unit-slack bound proved by Fu and coauthors · observed Oct 13, 2026
Source status dated Jul 27, 2026 · observed Oct 13, 2026
Theorem 1.1 at δ = 1, including finite-dimensional sharpness.
Unit-slack bound proved by Nie and Wei · observed Oct 13, 2026
Source status dated Jul 27, 2026 · observed Oct 13, 2026
Their separately authored proof reaches the same finite-dimensional constant.
Unit-slack optimality reported complete in Lean · observed Oct 13, 2026
Source status date unavailable · observed Oct 13, 2026
The pinned source targets δ = 1 only; no general-δ formal proof is attributed to it.
Weibo Fu, Yanjun Han, Guanyang Wang, Jun Yan, Peng Zhang, Zhengqing Zhou · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
feige-conjecture:entry:fu:v1feige-conjecture:entry:fu-history:v1Zipei Nie, Jiaye Wei · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
feige-conjecture:entry:nie:v1Zhi Ling · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
feige-conjecture:entry:ling:v1Guanyang Wang, Peng Zhang · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
feige-conjecture:entry:lean:v1Source-linked pilot import; independent mathematical review remains pending.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.