稀疏t一致超图可超图性问题的完全二分定理
针对稀疏t一致超图的可超图性问题，给出完全二分刻画。 属理论计算机/组合数学研究，以定理证明方式给出二分判定结果。
单圈图消解拟阵的级并联结构与实稳定性
作者给出结构定理：非裸单圈图若存在消解拟阵，则该拟阵为准级并联拟阵，并由此推出其平面图性、余图性、二元性、正则性及在任意域上的可表示性；该结论为必要条件式刻画，而非充要分类。 研究为数学预印本，属理论证明与计算验证结合的设计；对象为有限连通单圈图，证明综合终端线余回路约化、有根树
Closure Compiler：JavaScript 检查与优化编译器
Google 开源的 JavaScript 编译器，通过解析、分析与重写代码来检查语法、变量引用和类型，并删除死代码、压缩体积，使脚本下载和运行更快。
高维专家混合模型Lasso的非渐近oracle不等式
结论：在高维softmax门控高斯专家混合回归中，Lasso估计可获得显式的非渐近KL oracle不等式；该结论属理论推导，证据档位为C，尚不足以直接外推到实际数据分析。 设计：统计理论论文，未涉及人体或生物样本；设定预测维度P可大于样本量N，参数有界，推导含正则化水平的显式充
数学家证明图三明治猜想
一项数十年悬而未决的猜想获得证明，为理解复杂网络提供新途径。 属资讯报道，未给出证明细节、所用方法或验证方式。
随机系数椭圆偏微分方程的多层核近似方法
结论：作者提出多层核近似方法，用于高效求解带周期随机系数的椭圆偏微分方程，在保持给定精度ε的同时降低计算成本；该结论基于理论误差分析与数值实验，属方法学层面的证据支持。 设计与做法：本研究为数值数学方法学研究，包含完整正则性理论与误差分析，并开展数值实验，将多层近似与单层近似进行
Hamming立方体临界指数附近的尖锐等周不等式
该文研究Hamming立方体在临界指数附近的尖锐等周不等式问题。 由Durcik、Ivanisvili与Roos完成，发表于Advances in Mathematics第503卷C部分。
AI自动数学的形式正确性与概念进展之解剖学综述
该综述对Bloch与Noguer i Alonso（2026）的自动数学框架作批判性综合，认为其区分形式正确性、忠实形式化与数学理解的主张具有技术价值，但既不支持将形式验证视为数学进展的完整说明，也不否定谨慎测量与状态区分的意义；方向为审慎肯定，强度为评论性判断。 研究设计为文献
高维约束优化的随机子空间梯度法：迭代复杂度与步长分析
结论方向：作者提出面向高维约束优化问题的随机子空间梯度方法，并在线性与非线性设定下给出最坏情况迭代复杂度，理论上提示其可较确定性对应方法采用更大步长；该结论为理论推导结果，材料未报告数值实验验证。 研究设计与做法：属方法学与理论分析类工作，非人体或动物实验；做法为将梯度向量投影到
黎曼流形上有界截面曲率凸非光滑优化的凸束方法
结论：作者提出一种用于有界截面曲率黎曼流形上凸非光滑优化问题的凸束方法，并在温和条件下证明其收敛到极小点；该结论为理论证明与数值示例层面的证据支持，尚不涉及实际应用验证。 设计与做法：属方法学与理论分析类研究，提出凸束方法并给出收敛性证明；每步基于将此前收集的次梯度平行移动至当前
