lean artifact · passed
Artifact ↗Source authenticated
Feige's Conjecture
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Feige's Conjecture
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
ChatGPT 5.6 Pro
model · ai model contributor · OpenAI
GPT-5.6 Sol
model · ai model contributor · OpenAI
Codex
model · ai model contributor · OpenAI
Weibo Fu
human · human collaborator
Yanjun Han
human · human collaborator
Guanyang Wang
human · human collaborator
Jun Yan
human · human collaborator
Peng Zhang
human · human collaborator
Zhengqing Zhou
human · human collaborator
Zipei Nie
human · human collaborator
Jiaye Wei
human · human collaborator
Mark Stander
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Feige's Conjecture →
Supersedes Feige's Conjecture →
Feige's Conjecture parent of this event
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
VibeMathed record: Feige's Conjecture evidence for this event
Feige's Conjecture evidence for this event
Independent second proof (Nie and Wei), arXiv:2607.24528 evidence for this event
Lean formalization of the e^-1 conjecture evidence for this event
Stander's proof evidence for this event
This event attributed to ChatGPT 5.6 Pro
This event attributed to GPT-5.6 Sol
This event attributed to Codex
This event attributed to Weibo Fu
This event attributed to Yanjun Han
This event attributed to Guanyang Wang
This event attributed to Jun Yan
This event attributed to Peng Zhang
This event attributed to Zhengqing Zhou
This event attributed to Zipei Nie
This event attributed to Jiaye Wei
This event attributed to Mark Stander
Act on this frontier