{"id":"arxiv:2609.03087","kind":"preprint","title":"Confirmation of the Daykin-Frankl Conjecture","authors":["Kada Williams"],"author_count":1,"year":2026,"published":"2026-09-02","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2609.03087","nct_id":null,"source_url":"https://arxiv.org/abs/2609.03087","archive_url":"https://space-kitty.com/papers/arxiv:2609.03087","updated":"2026-09-02","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2609.03087","abstract":"In 1983, Daykin and Frankl conjectured that if $P$ is a convex subset of $Q_n$, then it contains at least $|P|\\binom{n}{\\lfloor n/2\\rfloor}2^{-n}$ pairwise incomparable elements. We verify and communicate an LLM-generated proof of this conjecture.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CO"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}