GPT-5.6 Sol Pro 生成 Daykin–Frankl 猜想证明，作者核验后公开四页证明

Kada Williams 公布对 1983 年 Daykin–Frankl conjecture 的证明：若 P 是 Boolean lattice Q_n 的 convex subset，则 P 至少包含 |P|·binom(n,⌊n/2⌋)·2^{-n} 个两两不可比较元素。论文摘要直接说明其工作是“verify and communicate an LLM-generated proof”，公开记录将模型标为 GPT-5.6 Sol Pro。论证实际上证明一个更强的 product-width inequality，并以 k=0 推出原猜想。