Discoveries / probability-statistics

Source authenticated

Feige's Conjecture

VibeMathed recorded: Feige's Conjecture. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jul 27, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Feige's Conjecture

Confidence: Not scored

Registry verification: lean verified · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

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

ChatGPT 5.6 Pro
model · ai model contributor · OpenAI

GPT-5.6 Sol
model · ai model contributor · OpenAI

Codex
model · ai model contributor · OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Feige's Conjecture

specialist registry · passed

An end-to-end Lean formalization of the $e^{-1}$ conjecture accompanies the primary paper, formalizing the Vlassis-Thomas theorem, Grünbaum's centroid theorem and the combining argument. Three independent AI-assisted proofs appeared within days; neither preprint is peer-reviewed yet.

Source ↗

Lean formalization of the e^-1 conjecture

lean artifact · passed

lean-proof link supplied by the VibeMathed registry.

Source ↗

Feige's Conjecture

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Independent second proof (Nie and Wei), arXiv:2607.24528

independent reproduction · pending

independent link supplied by the VibeMathed registry.

Source ↗

Stander's proof

paper · pending

paper link supplied by the VibeMathed registry.

Source ↗

Artifacts and verifiers

Lean formalization of the e^-1 conjecture

lean artifact · passed

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to Zipei Nie

This event attributed to Jiaye Wei

This event attributed to Mark Stander

This event attributed to Jun Yan

This event attributed to Weibo Fu

This event attributed to Yanjun Han

This event attributed to Guanyang Wang

This event attributed to Peng Zhang

This event attributed to Zhengqing Zhou

This event attributed to GPT-5.6 Sol

This event attributed to ChatGPT 5.6 Pro

This event attributed to Codex

VibeMathed record: Feige's Conjecture evidence for this event

Independent second proof (Nie and Wei), arXiv:2607.24528 evidence for this event

Stander's proof evidence for this event

Lean formalization of the e^-1 conjecture evidence for this event

Feige's Conjecture parent of this event

Feige's Conjecture evidence for 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

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph