scikit-opt：Python 群体智能优化算法工具包
scikit-opt 是一个 Python 库，实现了遗传算法、粒子群优化、模拟退火、蚁群算法、免疫算法、人工鱼群算法和差分进化等群体智能优化算法，并提供 TSP 求解示例。
AI 证明准黎曼猜想：专家解读与后续影响
该资讯称，一项由 AI 给出的准黎曼猜想证明已由人类专家拆解核查；报道转述一位数学家的评价，称其意义“惊人”。原文未给出可量化的效应量或统计检验，故只能作为方向性信息看待，不足以据此判断该证明的数学地位。 研究设计：材料未报告。本文为 Quanta Magazine 资讯报道，非
图拉普拉斯算子的半经典拟微分刻画与测地流逼近
结论：在紧致无边光滑子流形上，当核带宽ε衰减快于半经典参数h（h≫ε）时，图拉普拉斯算子可视为半经典拟微分算子，其对应的量子演化在O(h)误差内逼近测地流；该结论属数学理论推导，证据档位为C。 设计与做法：研究为纯数学理论工作，未涉及人体或生物样本；作者在紧致、无边、光滑的欧氏空
高维专家混合模型Lasso的非渐近oracle不等式
结论：在高维softmax门控高斯专家混合回归中，Lasso估计可获得显式的非渐近KL oracle不等式；该结论属理论推导，证据档位为C，尚不足以直接外推到实际数据分析。 设计：统计理论论文，未涉及人体或生物样本；设定预测维度P可大于样本量N，参数有界，推导含正则化水平的显式充
四元数Kähler流形上由Killing向量场构造的近Hermitian结构的可积性
结论：对带处处非零四元数矩映射的Killing向量场的四元数Kähler流形，作者给出改变J1符号所得近Hermitian结构可积及共形Kähler的充要条件，并证明在含单圈形变c-map空间的一大类流形上该结构可积；属数学结构定理，证据档位C。 设计与做法：纯理论推导研究，无样
不规则间隔时间序列拓扑数据分析的子序列嵌入方法
提出一种面向不规则间隔时间序列的子序列嵌入方法，用于替代传统时延嵌入与持续同伦结合的分析路径；作者报告该方法在保留原始状态空间拓扑的同时减少伪同伦特征，属于方法学层面的理论加数值证据，尚不足以支持实际应用结论。 研究为方法学论文：先给出理论稳定性与收敛性结果，再以数值模拟和一组真
Mathematics-for-ML：机器学习数学学习资源合集
一个汇总机器学习所需数学学习资源的清单仓库，涵盖教材、论文、视频课程与数学基础材料，供学习者按需查阅。
Transformed Linear Prediction for Extremes
ABSTRACT We address the problem of prediction for extreme observations by proposing an extremal linear prediction method. We construct an in
用Butcher级数与辛群胚构造Hamilton-Poisson积分器
结论：作者在辛群胚框架下构造了一个新的pre-Lie代数，并据此用Butcher树计算辛群胚上Hamilton-Jacobi方程解的Taylor级数，进而定义了一类新的Poisson积分器；该文属数学构造性工作，未报告数值验证或误差数据。 设计与做法：纯理论与代数构造研究，未涉及
凸体规范下对数凹测度混合测度的几何大偏差型原理
结论：作者针对一类密度依赖凸体规范的 log-concave 概率测度，证明了一阶混合测度在伸缩下的几何大偏差型渐近，并给出平面情形二阶混合测度的显式表示与对数极限；该结果属纯数学理论，方向为建立型结论，强度为证明性而非统计显著性。 设计与做法：研究为纯理论数学论文，无样本量、无
