研究

优化算法、形式化数学与 AI 辅助研究。

我关注优化算法的数学性质，以及 AI 如何帮助我们提出、探索和验证数学问题。以下工作包含公开论文与正在发展的开源项目。

2026

AI 辅助发现与构造三块 ADMM 的不收敛反例

Kenan Xu, Xiangfeng Wang · arXiv preprint

AI-Assisted Discovery and Construction of a Counterexample to the Convergence of Three-Block ADMM with the Identity Matrix as its Third Constraint Block

当第三个约束块为单位阵时，直接三块 ADMM 仍可能不收敛。通过周期轨道研究这一结构的边界，并探索 AI 辅助数学发现的过程。

论文代码项目导读

Lean 4

Adaptive ADMM in Lean

形式化数学 · 开源项目

用 Lean 4 形式化自适应 ADMM 的收敛性分析，把算法、参数策略与数学假设之间的关系写清楚。

代码