Qiyue Tang 用约 27 分钟 AI 推理提出 Huang–Ma 矩阵突变不变量二值猜想的证明及全尺寸取值分类

Qiyue Tang 于 10 月 18 日公布关于正对角可斜对称化整数矩阵的 Huang–Ma mutation invariant 研究，论文声称证明其二值猜想，确定每个矩阵尺寸允许的精确取值并给出实现相应取值的矩阵。作者在 provenance 中说明自己编写题目提示词，AI 约用 27 分钟生成完整解答，随后又借助 AI 审查与润色。Hexagon 标注人类理解部分内容，未提供 Lean 形式化或独立数学专家审稿；因此按作者公开的 proof claim 收录，而非将二值猜想表述为公认已解决。