知乎热榜第2与第9名：Crouzeix 猜想进入验证期，GLM-5.3把编程与安全拉到一起 (2026)

截至 2026 年 8 月 15 日 00:00 前后，本期读取到知乎官方热榜快照 30 条。与 AI、数学科研和模型工程直接相关、且能找到可核验原始材料的热点有两条：第 2 名的 Crouzeix 猜想，第 9 名的 GLM-5.3。这里的排名和热度是读取时的快照，不等于全天固定榜单；两条都已进入「值得继续跟踪，但不能把宣传或传播直接当成定论」的阶段。1

本期筛选结果

综合排序	知乎热榜	话题	热度	本期判断
1	第 2 名	北京协和医院住院医用 AI 解决 Crouzeix 猜想	938 万	两份独立路线的预印本都给出常数 2 的证明；专家公开表示已仔细核验，但仍未完成正式同行评议。
2	第 9 名	智谱发布 GLM-5.3，前沿编程与网络安全能力出现跃升	174 万	官方性能数据和产品入口已经发布，权重仍待安全评估后开放；网络安全成绩首先是评测结果，不等于现实世界攻击能力。

1. Crouzeix 猜想：从「AI 解出难题」进入专家验证期

先把数学问题说清楚

Crouzeix 猜想讨论的是：给定一个复矩阵 A，它的数值域 W(A) 是所有单位向量 x 产生的 x*Ax 的集合；对多项式 p，是否始终有

||p(A)|| ≤ 2 max|p(z)|，其中 z 取遍 W(A)。

这个不等式把复平面上的函数最大值和矩阵函数的算子范数联系起来。它在 2004 年提出，2007 年已有 11.08 的通用上界，2017 年上界降到 1+√2，距离猜想中的 2 只差最后一段。两篇最新论文分别把结论写成「数值域是 2-spectral set」和直接给出「A solution to Crouzeix’s conjecture」。2

目前能确认到哪一步

第一条路线来自 Shanmu Jin 的预印本《The Numerical Range Is a 2-Spectral Set》，提交于 8 月 6 日、发布于 8 月 7 日。摘要给出的结论是：对任意复矩阵和多项式，都有上述常数 2 的界，并推广到数值域邻域内全纯函数；页面明确标注「This version is not peer-reviewed」。3

第二条路线由 Emiel Lorist 和 Felix L. Schwenninger 于 8 月 4 日发布到 arXiv。作者没有复述 Jin 的质量参数化构造，而是把此前的双层势方法与一个关于 2-dilation 的扰动引理结合起来，并在论文中称所得结论为 Crouzeix 猜想的证明。论文还披露，ChatGPT 5.6 被用于探索证明策略；作者对最终数学内容负责。2

更重要的独立信号来自 Alex Townsend 与 Anne Greenbaum 的说明。他们写道，自己和 Michel Crouzeix 已对 Jin 的证明进行仔细检查，并认为手稿正确；文中也把 Jin 描述为北京协和医院的博士后研究员兼神经外科住院医。这里是专家的公开判断，不是期刊同行评议结果；原文还明确保留了预印本和独立证明的出处。4

因此，最稳妥的表述不是「AI 已经独立证明了一个数学猜想」，而是：一名跨学科研究者在长程 AI 辅助探索后提交了一条证明路线，数学专家公开表示其核心论证可信；随后出现了另一条独立证明路线。结论的数学内容正在被认真对待，但「AI 自主发现」「原创性归属」「形式化验证是否完整」仍需分别核对，不能被一条热搜标题合并解决。

知乎公开回答受限版

问题页显示 120 个回答；当前工具返回的只是少量公开可见片段，无法恢复实时全量按赞同数排序的前三，因此以下不是实时最高赞前三：5

道可道 Science（页面显示 49 个赞同）：把事件解读成 AI 降低科研门槛、让有专业基础的自学者更容易参与研究，并进一步推演大学教授的知识垄断会被削弱。这个回答的后半部分是社会预测，不是对证明正确性的核验。6
追风客（页面显示 1 个赞同）：关注 Jin 本科地质、后转医学的跨学科经历，质疑专业训练边界。这是对人物路径的讨论，不构成对论文的支持或反驳。7
建造师（页面显示 0 个赞同）：直接提出「媒体是否把事情做成了大新闻」的怀疑，并重复追问本科地质、博士医学的经历。它代表了热榜下的谨慎情绪，但没有给出数学反例。8

接下来观察什么

正式论文状态。 Jin 的版本是否经过同行评审、是否有勘误或后续版本，是判断「解决」能否转成学界共识的第一节点。
独立复核能否复现关键引理。 Lorist 和 Schwenninger 的短证明已提供另一条路线，但「两篇论文都写出了常数 2」不等于所有技术细节已经被社区广泛复核。
形式化验证与发现过程要分开。 即使部分等式进入 Lean 或其他证明助手，也只能说明形式化对象和对应步骤被检查；它不能自动回答 AI 是否自主发现、证明是否具有原创性。
应用端是否真的受益。 该不等式对矩阵函数、GMRES 以及多项式和有理 Krylov 方法有理论意义；工程影响要等数值线性代数研究者把新界限接入算法分析，而不是由热搜传播量推断。

2. GLM-5.3：模型竞争开始从参数规模转向长程工作流

发布了什么

智谱 8 月 14 日发布 GLM-5.3，官方定位是以前训练好的 GLM-5.2 基座上继续做后训练扩展：更多长程任务环境、更丰富的任务类型和更长的训练过程，而不是更换基座架构。官方博客声称，GLM-5.3 在自有 Z.ai Code Bench 上比 GLM-5.2 提升 50%，并在 Terminal Bench 3.0 等公开测试上达到开源模型领先水平。9

公开表格里最醒目的变化是 Terminal Bench 3.0 从 4.6 提高到 28.3，CyberGym 从 77.2 提高到 84.5；ExploitGym 的 2 小时/6 小时成绩为 105/130，而这些数字都是官方测试表中的模型对比，不是现实网络中的成功入侵次数。官方还说，权重计划在发布后两周、完成安全评估和加固后开放。9

产品侧也出现了一个值得留意的时间差：开发者文档写明上下文长度为 1M、最大输出 128K，支持思考模式、函数调用、上下文缓存、结构化输出和 MCP；但同一页面顶部仍写着「GLM-5.3 API is coming soon」，同时表示 Coding Plan 用户已经可以使用。也就是说，模型已经进入特定产品入口，不等于公开 API、开放权重和所有开发者可用性同时完成。10

网络安全能力，为什么要拆成三层看

第一层是漏洞发现评测。CyberGym 84.5% 是模型在特定测试环境中的成绩，说明后训练可能让模型更擅长理解代码、寻找缺陷和组织工具链，但不能直接换算为对真实系统的攻击成功率。

第二层是漏洞账本与安全工作流。Z.ai 自己的披露账本页面目前列出 2436 个收录漏洞、53 个已公开漏洞、2383 个未公开漏洞，其中严重及高危 1097 个，覆盖 269 个开源项目。这个账本能证明团队在经营漏洞发现和披露流程，但不能证明其中每个漏洞都由 GLM-5.3 发现，也不能证明模型具备稳定的现实攻击能力。11

第三层是完整攻防能力。官方文档自己也承认，当前优势主要在漏洞利用链的前端，深入利用和完整攻防任务仍有提升空间。科技日报援引智谱说法，提到发布前测试发现了大量潜在漏洞，并将模型接入 ZCode、Trae、WorkBuddy、Qoder、CawPaw 和 OpenCode 等平台；这属于发布方与媒体转述，应和可独立复测的结果分开。12

知乎公开回答受限版

该问题显示 118 个回答。当前返回的公开片段不足以证明实时全量点赞前三，因此下面只总结可见回答中的代表性观点，不能称为最高赞前三：13

MNACSTMSYSD（页面显示 210 个赞同）：称实际使用中的综合体感超过单项跑分，并把速度、准确性、harness 和模型本身能力放在一起评价。这是单个使用者的体验报告，不是独立基准复测。14
agic（页面显示 2 个赞同）：认为这次发布说明模型参数和性能之间可能还有优化空间，并联想到未来本地部署的可能性。前半句是产业判断，后半句还取决于权重、硬件、许可证和推理成本，不能从本次发布直接推出。15
情欣不念（页面显示 0 个赞同）：把重点放在「同一基座、继续扩大后训练」和模型竞争换赛道的叙事上。它有助于理解舆论焦点，但其中的参数与产业结论没有被本文当作独立事实采用。16

接下来观察什么

权重是否按承诺开放。 只有拿到可下载权重、许可证和部署要求，才能比较它与其他开源模型的真实使用成本。
公开 API 的价格与限额。 1M 上下文和 128K 输出是规格，不是单位任务成本；需要等 API 价格、并发、速率限制和默认思考模式完整落地后再算性价比。
独立复测能否覆盖长程任务。 一次终端演示或单个用户的体感不能替代不同 harness、不同预算和失败率统计；尤其要区分模型能力与工具编排能力。
安全评测能否转成可审计披露。 重点不是漏洞数字越大越好，而是能否公开测试范围、漏洞复现、修复状态、误报率和披露流程，并在开放权重后继续约束滥用风险。

今天真正值得记住的两条线

Crouzeix 猜想的核心进展是：两条独立证明路线加上专家公开核验，让这条数学结果值得进入严肃复查；但预印本、同行评审、形式化验证和 AI 贡献归属仍是四个不同问题。
GLM-5.3的核心进展是：模型厂商把后训练、长程软件工程和漏洞发现放进同一套产品叙事；接下来要看权重、API、成本和可审计安全证据，而不是只看发布日跑分。

对读者而言，下一次遇到类似热榜，最有用的判断顺序仍然是：先确认原始材料，再拆出评测边界，最后等待能被外部复核的下一节点。热度可以告诉我们该看哪里，但不能替我们完成验证。

References

1
知乎热榜
zhihu.com
2
Crouzeix 猜想的独立证明，arXiv:2608.03841
arxiv.org
3
Shanmu Jin：The Numerical Range Is a 2-Spectral Set
preprints.org
4
Alex Townsend、Anne Greenbaum：The Neurosurgery Resident Who Proved Crouzeix’s Conjecture
alextownsend.net
5
知乎问题：如何评价北京协和医院住院医用AI解决了困扰数学界的难题Crouzeix猜想？
zhihu.com
6
道可道Science 的公开回答
zhihu.com
7
追风客的公开回答
zhihu.com
8
建造师的公开回答
zhihu.com
9
Z.ai：GLM-5.3: Frontier Coding with Emergent Cyber Capabilities
z.ai
10
Z.ai 开发者文档：GLM-5.3
docs.z.ai
11
Z.ai 漏洞披露账本
cvd.z.ai
12
科技日报：智谱发布新一代基座模型GLM-5.3
stdaily.com
13
知乎问题：智谱发布GLM-5.3，如何评价前沿编程能力与涌现的网络安全能力？
zhihu.com
14
MNACSTMSYSD 的公开回答
zhihu.com
15
agic 的公开回答
zhihu.com
16
情欣不念的公开回答
zhihu.com

本期筛选结果

综合排序	知乎热榜	话题	热度	本期判断
1	第 2 名	北京协和医院住院医用 AI 解决 Crouzeix 猜想	938 万	两份独立路线的预印本都给出常数 2 的证明；专家公开表示已仔细核验，但仍未完成正式同行评议。
2	第 9 名	智谱发布 GLM-5.3，前沿编程与网络安全能力出现跃升	174 万	官方性能数据和产品入口已经发布，权重仍待安全评估后开放；网络安全成绩首先是评测结果，不等于现实世界攻击能力。

1. Crouzeix 猜想：从「AI 解出难题」进入专家验证期

先把数学问题说清楚

Crouzeix 猜想讨论的是：给定一个复矩阵 A，它的数值域 W(A) 是所有单位向量 x 产生的 x*Ax 的集合；对多项式 p，是否始终有

||p(A)|| ≤ 2 max|p(z)|，其中 z 取遍 W(A)。

目前能确认到哪一步

知乎公开回答受限版

问题页显示 120 个回答；当前工具返回的只是少量公开可见片段，无法恢复实时全量按赞同数排序的前三，因此以下不是实时最高赞前三：5

道可道 Science（页面显示 49 个赞同）：把事件解读成 AI 降低科研门槛、让有专业基础的自学者更容易参与研究，并进一步推演大学教授的知识垄断会被削弱。这个回答的后半部分是社会预测，不是对证明正确性的核验。6
追风客（页面显示 1 个赞同）：关注 Jin 本科地质、后转医学的跨学科经历，质疑专业训练边界。这是对人物路径的讨论，不构成对论文的支持或反驳。7
建造师（页面显示 0 个赞同）：直接提出「媒体是否把事情做成了大新闻」的怀疑，并重复追问本科地质、博士医学的经历。它代表了热榜下的谨慎情绪，但没有给出数学反例。8

接下来观察什么

正式论文状态。 Jin 的版本是否经过同行评审、是否有勘误或后续版本，是判断「解决」能否转成学界共识的第一节点。
独立复核能否复现关键引理。 Lorist 和 Schwenninger 的短证明已提供另一条路线，但「两篇论文都写出了常数 2」不等于所有技术细节已经被社区广泛复核。
形式化验证与发现过程要分开。 即使部分等式进入 Lean 或其他证明助手，也只能说明形式化对象和对应步骤被检查；它不能自动回答 AI 是否自主发现、证明是否具有原创性。
应用端是否真的受益。 该不等式对矩阵函数、GMRES 以及多项式和有理 Krylov 方法有理论意义；工程影响要等数值线性代数研究者把新界限接入算法分析，而不是由热搜传播量推断。

2. GLM-5.3：模型竞争开始从参数规模转向长程工作流

发布了什么

网络安全能力，为什么要拆成三层看

知乎公开回答受限版

该问题显示 118 个回答。当前返回的公开片段不足以证明实时全量点赞前三，因此下面只总结可见回答中的代表性观点，不能称为最高赞前三：13

MNACSTMSYSD（页面显示 210 个赞同）：称实际使用中的综合体感超过单项跑分，并把速度、准确性、harness 和模型本身能力放在一起评价。这是单个使用者的体验报告，不是独立基准复测。14
agic（页面显示 2 个赞同）：认为这次发布说明模型参数和性能之间可能还有优化空间，并联想到未来本地部署的可能性。前半句是产业判断，后半句还取决于权重、硬件、许可证和推理成本，不能从本次发布直接推出。15
情欣不念（页面显示 0 个赞同）：把重点放在「同一基座、继续扩大后训练」和模型竞争换赛道的叙事上。它有助于理解舆论焦点，但其中的参数与产业结论没有被本文当作独立事实采用。16

接下来观察什么

权重是否按承诺开放。 只有拿到可下载权重、许可证和部署要求，才能比较它与其他开源模型的真实使用成本。
公开 API 的价格与限额。 1M 上下文和 128K 输出是规格，不是单位任务成本；需要等 API 价格、并发、速率限制和默认思考模式完整落地后再算性价比。
独立复测能否覆盖长程任务。 一次终端演示或单个用户的体感不能替代不同 harness、不同预算和失败率统计；尤其要区分模型能力与工具编排能力。
安全评测能否转成可审计披露。 重点不是漏洞数字越大越好，而是能否公开测试范围、漏洞复现、修复状态、误报率和披露流程，并在开放权重后继续约束滥用风险。

今天真正值得记住的两条线

Crouzeix 猜想的核心进展是：两条独立证明路线加上专家公开核验，让这条数学结果值得进入严肃复查；但预印本、同行评审、形式化验证和 AI 贡献归属仍是四个不同问题。
GLM-5.3的核心进展是：模型厂商把后训练、长程软件工程和漏洞发现放进同一套产品叙事；接下来要看权重、API、成本和可审计安全证据，而不是只看发布日跑分。

References

1
知乎热榜
zhihu.com
2
Crouzeix 猜想的独立证明，arXiv:2608.03841
arxiv.org
3
Shanmu Jin：The Numerical Range Is a 2-Spectral Set
preprints.org
4
Alex Townsend、Anne Greenbaum：The Neurosurgery Resident Who Proved Crouzeix’s Conjecture
alextownsend.net
5
知乎问题：如何评价北京协和医院住院医用AI解决了困扰数学界的难题Crouzeix猜想？
zhihu.com
6
道可道Science 的公开回答
zhihu.com
7
追风客的公开回答
zhihu.com
8
建造师的公开回答
zhihu.com
9
Z.ai：GLM-5.3: Frontier Coding with Emergent Cyber Capabilities
z.ai
10
Z.ai 开发者文档：GLM-5.3
docs.z.ai
11
Z.ai 漏洞披露账本
cvd.z.ai
12
科技日报：智谱发布新一代基座模型GLM-5.3
stdaily.com
13
知乎问题：智谱发布GLM-5.3，如何评价前沿编程能力与涌现的网络安全能力？
zhihu.com
14
MNACSTMSYSD 的公开回答
zhihu.com
15
agic 的公开回答
zhihu.com
16
情欣不念的公开回答
zhihu.com

知乎热榜第2与第9名：Crouzeix 猜想进入验证期，GLM-5.3把编程与安全拉到一起

本期筛选结果

1. Crouzeix 猜想：从「AI 解出难题」进入专家验证期

先把数学问题说清楚

目前能确认到哪一步

知乎公开回答受限版

接下来观察什么

2. GLM-5.3：模型竞争开始从参数规模转向长程工作流

发布了什么

网络安全能力，为什么要拆成三层看

知乎公开回答受限版

接下来观察什么

今天真正值得记住的两条线

References

Related content

知乎热榜第2与第9名：Crouzeix 猜想进入验证期，GLM-5.3把编程与安全拉到一起

本期筛选结果

1. Crouzeix 猜想：从「AI 解出难题」进入专家验证期

先把数学问题说清楚

目前能确认到哪一步

知乎公开回答受限版

接下来观察什么

2. GLM-5.3：模型竞争开始从参数规模转向长程工作流

发布了什么

网络安全能力，为什么要拆成三层看

知乎公开回答受限版

接下来观察什么

今天真正值得记住的两条线

References

Related content