AI自动数学的形式正确性与概念进展之解剖学综述
该综述对Bloch与Noguer i Alonso（2026）的自动数学框架作批判性综合，认为其区分形式正确性、忠实形式化与数学理解的主张具有技术价值，但既不支持将形式验证视为数学进展的完整说明，也不否定谨慎测量与状态区分的意义；方向为审慎肯定，强度为评论性判断。 研究设计为文献
高维约束优化的随机子空间梯度法：迭代复杂度与步长分析
结论方向：作者提出面向高维约束优化问题的随机子空间梯度方法，并在线性与非线性设定下给出最坏情况迭代复杂度，理论上提示其可较确定性对应方法采用更大步长；该结论为理论推导结果，材料未报告数值实验验证。 研究设计与做法：属方法学与理论分析类工作，非人体或动物实验；做法为将梯度向量投影到
对称正定粗空间用于不定Helmholtz问题的两层加性Schwarz预条件
针对非齐次Helmholtz问题，在两层加性Schwarz预条件中引入并分析Δk-GenEO粗空间。 该工作改编Δ-GenEO粗空间，给出k显式的GMRES收敛条件分析，放宽子域尺寸与特征值阈值限制。
黎曼流形上有界截面曲率凸非光滑优化的凸束方法
结论：作者提出一种用于有界截面曲率黎曼流形上凸非光滑优化问题的凸束方法，并在温和条件下证明其收敛到极小点；该结论为理论证明与数值示例层面的证据支持，尚不涉及实际应用验证。 设计与做法：属方法学与理论分析类研究，提出凸束方法并给出收敛性证明；每步基于将此前收集的次梯度平行移动至当前
POD降阶模型中BDF-q时间积分的收敛性分析
结论：在半线性反应扩散模型的POD降阶模型中，采用BDF-q（1≤q≤5）作时间积分器可达到时间方向q阶最优收敛率，该结论为数值分析层面的理论证明，属证据支持。 研究设计与做法：属数值分析类理论研究，针对半线性反应扩散模型问题，快照集由原问题的有限元近似在不同时刻计算得到，有限元
经典0-1背包问题的快速求解方法综述
该综述以理论视角梳理经典0-1背包问题的主要快速求解方法及其适用条件。 围绕弱NP难问题，分析精确算法如何利用数值参数、线性松弛、支配关系等结构特征。
Generalized Analytic Function Classes Using an Extended Two-Factor q-Differential Operator: Fekete–Szegő Problem
In this paper, we introduce an extended two-factor q-differential multiplier operator denoted by ℳq,,n,mf(z). Using this operator, we define
Gonum：Go 语言的数值计算库集合
Gonum 是一组用 Go 编写的数值库，提供矩阵、统计、优化、图等计算能力，为 Go 生态中的科学计算与数据分析提供基础组件。
git-quick-stats：快速获取 Git 仓库统计信息
一个 Shell 脚本工具，通过交互菜单或命令行参数，快速查看 Git 仓库的提交、贡献者、分支等统计信息，简化繁琐的 git 命令。
无序体系中的拓扑：Nature Physics 期刊论文
材料仅提供标题“Topology from disorder”，未报告摘要与结果数据，因此无法就无序与拓扑之间的方向或强度作出结论，当前证据不足以下结论。 研究设计与做法：材料未报告。仅可知该文为2026年9月28日发表于Nature Physics的期刊论文，属理论或计算类研究
