对称正定粗空间用于不定Helmholtz问题的两层加性Schwarz预条件
针对非齐次Helmholtz问题，在两层加性Schwarz预条件中引入并分析Δk-GenEO粗空间。 该工作改编Δ-GenEO粗空间，给出k显式的GMRES收敛条件分析，放宽子域尺寸与特征值阈值限制。
拓扑富集匕首范畴中鞅与倒向鞅的收敛性证明
结论：作者用拓扑富集范畴论给出鞅与倒向鞅依L^p范数收敛的范畴论证明，并称任意网指标倒向鞅的收敛结果似为新结果；该结论属数学证明层面的证据支持，非实验或临床证据。 设计与做法：属理论/数学论文，非人体或动物研究。作者在概率空间与Markov核（模几乎必然相等）构成的拓扑富集匕首范
无序体系中的拓扑：Nature Physics 期刊论文
材料仅提供标题“Topology from disorder”，未报告摘要与结果数据，因此无法就无序与拓扑之间的方向或强度作出结论，当前证据不足以下结论。 研究设计与做法：材料未报告。仅可知该文为2026年9月28日发表于Nature Physics的期刊论文，属理论或计算类研究
图的部分Petrial多项式的递推与系数不等式
材料仅为期刊出版资讯，未提供摘要与结果数据，无法给出方向性结论；就标题所示主题而言，证据不足以判断该数学结果的具体内容与强度。 研究设计与做法：材料未报告。仅可知为Discrete Mathematics第350卷第2期的一篇论文资讯，作者为Ruiqing Feng、Xia Gu
黎曼流形上有界截面曲率凸非光滑优化的凸束方法
结论：作者提出一种用于有界截面曲率黎曼流形上凸非光滑优化问题的凸束方法，并在温和条件下证明其收敛到极小点；该结论为理论证明与数值示例层面的证据支持，尚不涉及实际应用验证。 设计与做法：属方法学与理论分析类研究，提出凸束方法并给出收敛性证明；每步基于将此前收集的次梯度平行移动至当前
分位数回归生成式元建模实现随机模拟实时决策
提出生成式元建模概念与分位数回归算法QRGMM，目标是构建“模拟器的快速模拟器”，在给定输入下快速生成随机输出并近似保持条件分布，从而支持实时决策中任意汇总统计量的即时计算；作者报告其具有分布收敛性，并在数值实验中表现优于其他先进生成算法。 研究为方法学论文，属算法开发与数值实验
AI自动数学的形式正确性与概念进展之解剖学综述
该综述对Bloch与Noguer i Alonso（2026）的自动数学框架作批判性综合，认为其区分形式正确性、忠实形式化与数学理解的主张具有技术价值，但既不支持将形式验证视为数学进展的完整说明，也不否定谨慎测量与状态区分的意义；方向为审慎肯定，强度为评论性判断。 研究设计为文献
物理—数字活动空间隔离框架：多源大数据模拟验证与真实数据概念验证
该研究提出一个区分共在、数字暴露与数字互动的物理—数字活动空间框架，将物理隔离与数字隔离作为两个独立成分而非强行合成；模拟结果显示两类成分对其生成机制具有选择性响应，但真实数据层面未报告收入隔离、数字暴露、物理—数字耦合或不平等的因果效应估计，因此整体证据档位为C，仅提示框架可行
单圈图消解拟阵的级并联结构与实稳定性
作者给出结构定理：非裸单圈图若存在消解拟阵，则该拟阵为准级并联拟阵，并由此推出其平面图性、余图性、二元性、正则性及在任意域上的可表示性；该结论为必要条件式刻画，而非充要分类。 研究为数学预印本，属理论证明与计算验证结合的设计；对象为有限连通单圈图，证明综合终端线余回路约化、有根树
scikit-opt：Python 群体智能优化算法工具包
scikit-opt 是一个 Python 库，实现了遗传算法、粒子群优化、模拟退火、蚁群算法、免疫算法、人工鱼群算法和差分进化等群体智能优化算法，并提供 TSP 求解示例。
