{"id":"arxiv/2609.03087","url":"https://arxiv.org/abs/2609.03087","tags":["math.CO"],"score":0,"title":"Confirmation of the Daykin-Frankl Conjecture","domain":"math.CO","source":"arxiv","authors":["Kada Williams"],"reviews":0,"subject":"math.CO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}