AI 主导证明五个正质量平面牛顿中心构型的有限性，附 Lean 工件，仍待完整独立专家核验

Chih-Yao Wu 于 10 月 22 日发布关于任意五个正质量牛顿质点的平面中心构型有限性的研究主张，尝试补齐 Albouy–Kaloshin 既有定理的特殊质量情形。论证结合 singular diagrams、能量及力矩约束、复代数方程退化分析、有限多项式选取和例外情形精确证书；仓库附 Lean 形式化与英文审查指南。作者披露数学论证、Lean 代码和手稿均由 AI agents 主导，曾在 10 月 6 日向专家发送初稿但完整独立专家审查尚未结束。本条只记录 10 月 22 日正式公开的研究声明，不把 Smale 第六问题整体或五体中心构型研究所有版本视为已获同行确认。