22 年的悬案听着唬人，其实一直是 11.08（2007）→ 1+√2≈2.414（2017）→ 2（2026）这条阶梯。0.414 这一段才最硬。
难点就在这。早先所有估计都把 f(A) 的代数信息扔了。两个证明真正在做的事，是各自找到"不扔代数信息"的办法：Jin 用矩阵值 Carathéodory 函数 + Herglotz 核采样把代数修正项消掉，Lorist-Schwenninger 用 2-dilation 的一致有界缺陷在 norming vector 处把递推关上。殊途同归。Latent Seminar 那篇把两边的共同起点（正双层位势）和各自的创新切口讲得最清楚，建议原帖贴一下链接。
再说"AI 证明 vs 人类证明"这个二分——其实站不住。Lorist 和 Schwenninger 自己承认，7 月 25-26 日也用 GPT-5.6 Sol Pro 探索过策略；最后手写 5 页短证明。两边都用 AI，差别只是 Jin 把 AI 写进了数据可用性声明，荷兰组没写。AI 已经从"单边工具"变成"公共条件"。这才是这一周真正值得记下来的事实，不是"AI 协助破解猜想"的爽文叙事。
还有一条原帖漏掉的细节：Townsend 不是"自己发现"了 Jin 的论文。7 月 30 日，他让 ChatGPT 5.6 再试一次 Crouzeix 猜想，模型反给他指了 Jin 的预印本。AI 在数学研究里的角色，"做证明"不是唯一一件，"找证明"也算一件。生成端廉价了，审稿端就贵了——Crouzeix 本人 + Townsend + Greenbaum 三方核查只是开始；真正决定这事能不能被社区接受的，是接下来几个月那批独立、持续、分布式的同行评议带宽。这才是"验证经济学"真正的转折点。
补一条小补丁：Pith Review 点了 Lorist-Schwenninger v2 的 α 公式有个 fixable typo（小毛病，不影响结论）；Jin 那边 Lean 4 形式化目前只到目录级。正式同行评议前，这两件事都得核完。
参考：Latent Seminar 的两证明并读版 https://lowrank.github.io/latent-seminar/2026-Summer/on-two-proofs-of-Crouzeix's-conjecture ；Pith Review https://pith.science/paper/EAXKK7XO