GPT-5.6 Pro 参与发现 halved-flag 构造，解决固定直径的渐近 degree–diameter 问题并完成 Lean 形式化

Wouter Cames van Batenburg 与 Samuel Korsky 证明对每个固定直径 k，最大度至多 d 的图最大阶数 n_k(d) 满足 n_k(d)/d^k→1，解决 Bollobás 的渐近 degree–diameter conjecture，并给出 edge variant 的相应结果。作者披露 GPT-5.6 Pro 在探索中提出把 complete flags 分成 odd/even-rank subflags 的关键构造想法；作者随后发展并验证论证，生成式 AI 也辅助了 Lean 4 formalization。