{"schema_version":"source-reader-v1","record":{"source_id":"feige-conjecture-nie","versions":[{"work":{"authors":["Zipei Nie","Jiaye Wei"],"kind":"research_paper","publication":"preprint","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"Nie and Wei credit GPT-5.6 Sol for exploration and discovery, state that they checked the arguments and authored the text, and retain responsibility. Their argument uses the Vlassis–Thomas calibration theorem.","artifacts":[],"published":{"value":"2026-07-27"}},"id":"feige-conjecture:source:nie:v1","source_id":"feige-conjecture-nie","title":"On Feige’s conjecture","owner":"Zipei Nie, Jiaye Wei","url":"https://arxiv.org/abs/2607.24528v1","subject_scope":"Gives a separate argument for the unit-slack inequality and the bound δ(n/(n+δ))^n for 0 < δ ≤ 1 under unit means.","revision":"2026-07-27","content_sha256":"e579dbffa9befce4f0094a587e7037bfd1fd45bd89de69c1298b6d146135114f","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://arxiv.org/abs/2607.24528v1","attribution":"Zipei Nie, Jiaye Wei","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"feige-conjecture:entry:nie:v1","source_version_id":"feige-conjecture:source:nie:v1","item_id":"nie","url":"https://arxiv.org/abs/2607.24528v1","wording":"Gives a separate argument for the unit-slack inequality and the bound δ(n/(n+δ))^n for 0 < δ ≤ 1 under unit means.","wording_kind":"paraphrase","locator":"Theorem 1.3 and AI acknowledgement; arXiv submitted 27 July, HTML manuscript dated 24 August","supersedes":null}],"problems":[{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7}],"selected_version_id":"feige-conjecture:source:nie:v1","available_versions":[{"id":"feige-conjecture:source:nie:v1","revision":"2026-07-27","observed_on":"2026-10-13","title":"On Feige’s conjecture","publication":"preprint","content_sha256":"e579dbffa9befce4f0094a587e7037bfd1fd45bd89de69c1298b6d146135114f","used_in_current_publications":true}],"usages":[{"id":"source-use-76eeb88c9d49795cfeff","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Unit-slack bound proved by Nie and Wei","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":{"id":"feige-conjecture:report:unit-nie:v1","entry_id":"feige-conjecture:entry:nie:v1","state":"resolved","source_label":"Unit-slack bound proved by Nie and Wei","scope":"Their separately authored proof reaches the same finite-dimensional constant.","source_date":"2026-07-27","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2607.24528v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-7aee5acc2df73418fe1f","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"assessment","title":"Unit-slack bound proved by Nie and Wei","claim":{"id":"claim-feige-unit-slack","version":1,"slug":"feige-unit-slack","title":"The dimension-free unit-slack inequality"},"fragment":"claim-feige-unit-slack","assessment":{"id":"feige-conjecture:report:unit-nie:v1","entry_id":"feige-conjecture:entry:nie:v1","state":"resolved","source_label":"Unit-slack bound proved by Nie and Wei","scope":"Their separately authored proof reaches the same finite-dimensional constant.","source_date":"2026-07-27","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2607.24528v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-b4a47cd4ee4a785aa1c6","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"bound","title":"Unit-slack probability","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-e7988f32feb7a64d49a3","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"bound","title":"Unit-slack probability","claim":{"id":"claim-feige-unit-slack","version":1,"slug":"feige-unit-slack","title":"The dimension-free unit-slack inequality"},"fragment":"claim-feige-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4df42bbea17c117294b1","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"connection","title":"The finite constants (n/(n+1))^n decrease to 1/e; each is strictly larger than 1/e.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6bfc7a7f6c16e712f1b0","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"construction","title":"A finite-dimensional extremizer","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-2e9af425b8048fd95221","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"milestone","title":"Separately authored proofs of the unit-slack bound","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-85a0ed71625c20ff9747","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"milestone","title":"Feige’s probability question","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-81191425c575d2d357e2","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"proof","title":"Nie–Wei account","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-83c975147efc66c94dc3","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"question","title":"Feige’s probability conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f162b55124cde6c6e7de","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-22e26ee50925084aa625","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"The dimension-free unit-slack inequality","claim":{"id":"claim-feige-unit-slack","version":1,"slug":"feige-unit-slack","title":"The dimension-free unit-slack inequality"},"fragment":"claim-feige-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3997bda1a32edd0facb3","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"The July bounds in two deviation ranges","claim":{"id":"claim-feige-july-deviation-bounds","version":2,"slug":"feige-july-deviation-bounds","title":"The July bounds in two deviation ranges"},"fragment":"claim-feige-july-deviation-bounds","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5b1c3f7344c01f64bc68","entry_id":"feige-conjecture:entry:nie:v1","problem":{"slug":"feige-conjecture","title":"Feige’s probability conjecture","publication_version":7},"kind":"statement","title":"The optimal bound for a fixed number of variables","claim":{"id":"claim-feige-sharp-finite-unit-slack","version":1,"slug":"feige-sharp-finite-unit-slack","title":"The optimal bound for a fixed number of variables"},"fragment":"claim-feige-sharp-finite-unit-slack","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}