OpenAI 辅助构造 double Hall property 最优渐近度：√(2n) 及显式误差项

John Tripodo 于 10 月 22 日公开 double Hall property 二部图的渐近最优最大度证明主张：最小可能最大度与 √(2n) 渐近等价，给出同时对两个 shores 成立的确定性规则二部图构造，度数不超过 √(2n)+O(n^(21/80))。作者表示 OpenAI tools 参与数学探索、程序核验、撰稿和形式证明，有限误差估计调用已发表 Baker–Harman–Pintz 素数短区间结果，形式转移保留其为显式假设。无外部同行审稿、无最近 fresh Lean 编译主张，论文不是独立发明相关经典素数分布引理。