ChatGPT、Codex 与 Claude 协助反驳多色 nonnested matching 猜想：每个 r,k≥3 都可构造同阈值反例

Pedro Machado Manhães de Castro 于 10 月 18 日公开组合学构造，报告否定 Barát–Gyárfás–Tóth 关于有序完全图多色无嵌套匹配阈值的猜想：对任意 r,k≥3，在经典单色 k-匹配的 Ramsey 阈值 (r−1)(k−1)+2k 个顶点上存在一种 r-边着色，使每个单色 k-匹配都含一对相互嵌套的边。证明使用端点计数和两次边重染色；研究者公开表示 ChatGPT、Codex、Claude 参与文献、构造与证明审查，自己理解并对数学内容负责。未报告 Lean kernel certificate 或外部独立同行评议。