Das与Fox证明Murty-Simon猜想

斯坦福组合数学家 Sanjana Das 与 Jacob Fox 提交 arXiv 论文，给出直径-2 临界图边数至多 ⌊n²/4⌋ 的 Murty-Simon 猜想证明，并称等号仅在完全平衡二部图中取得。⌊n²/4⌋ 上界的原始证明主要由 AI 找到，研究者随后简化证明并将相关思想推广至所有 n。 此前 Füredi 借助正则性方法仅对超过约 10^14 高度幂塔门槛的 n 证明该上界。此次论文尚未经同行评审；J.P. Traverso Gianini 使用 AI 生成的 Lean 形式化证明对相关证明进行了核对。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。