Chen–Huang 借助 ChatGPT 提交偶特征线性 MDS 猜想独立证明；与较早 Lean 登记成果并行

Bocong Chen、Jing Huang 于 10 月 20 日首发 34 页论文，声称对所有偶数阶有限域 F_q 的非平凡线性 [n,k] MDS 码证明长度界 n≤q+1，仅 k=3 或 q−1 的例外允许 n≤q+2。证明结合 tangent-envelope 多项式、Reed–Solomon 对偶码与三变量 Artinian Gorenstein Hilbert 函数的单峰性。作者披露 ChatGPT 用于证明策略探索、中间计算检查与编辑，数学责任由作者承担；论文亦引用 Kumar 于 10 月 15 日公开的另一份配 Lean 登记的独立论证。当前这篇手稿未报告完整 Lean 形式化或外部正式同行评议，因此记录 10 月 20 日新增的独立论证，而非宣告猜想已获学界公认解决。