吴靓 / Wu Liang — W3 Lab 负责人

W3 LAB

Wu Liang · ORCID 0009-0006-9694-5739 · Changsha, China
SW 结构世界观 · 无量方法（Wuliang Method）· 生长式数学（Generative Mathematics, GM）— 官方预印本论文集
Research Program

可计算 · 可构造 · 可证伪的涌现判据，与数学理论的自动生长

本页汇集 W3 LAB 已发布的全部开放获取预印本（Zenodo，均带 DOI）。两条主线：无量方法组——提出以同伦余纤维（homotopy cofiber）为比较基准、以装配预测为基线的首个可计算涌现判据，并应用于 AI 架构解构与 AI 安全（监测、不可逃逸控制与敲除）；生长式数学组——基于构造式无量方法的数学理论自动生长与"构造即证明"新范式，含鸽笼原理归结证明长度的精确闭式公式 D(n)=(e−1/6)(n+1)! 与机器验证存档；并含独立理论篇《非交换性与有界性》（P8，中英双语），以非交换性—曲率—有界性链条给出 ZFC 数学与构造性数学的融合视角；双线性复杂度工程组（P9–P12）——把上述方法论落实为可机验的工程成果：从小尺寸双线性算法的加法清单与鸽笼下界，到机验证书体系与递归成本理论、方案级费效决策框架，直至面向 AI 生成硬件的算法层可流片就绪认证。

  • Author / 作者Wu Liang（吴靓），W3 LAB
  • Lab / 机构中南大学 · 湖南省数字应用科技有限公司 发起（联合湖南大学、湘潭大学共建）
  • Contact / 联系w3-lab-pub@outlook.com
  • Papers / 论文12 preprints · 3 series · DOI 10.5281/zenodo.*
  • Access / 获取Open access via Zenodo (CERN)
Key Figures / 关键数字

一页速览：这批预印本给出了什么

12篇开放获取预印本，分属三大系列（P1–P3 无量方法 / P4–P8 生长式数学 / P9–P12 双线性复杂度工程）
(e−1/6)(n+1)!鸽笼原理归结证明长度的精确闭式公式 D(n)（P7），并证恒等式 ⌊(e−1/6)(n+1)!⌋=D(n)+n+2
671.4×对称群商折叠在 n=8 时的存储压缩比：F(n)=11·2n−1−3n−5，阶乘级降至指数级（P7）
48×自目标跃迁在算子相容域内的实测加速（P2 最小实验）
100 步grokking Transformer 实验中边界监控的提前预警量（P3）
516欧氏几何自 L2 生长至 L3 时新增的独立闭合约束数（P4）
2 个域TCP/IP 协议栈与基因调控网络——无共同机制却共现同一判据签名，构成可证伪性证据（P1）
n=2..9鸽笼原理结论的独立机验覆盖：n=2..8 展开验证 + n=9 折叠验证（P7）
Featured / 导读

无量平台 · 导读

从零读懂无量方法与生长式数学：世界观点滴、构造式算子、涌现判据与生长谱的图解导引。建议新读者由此进入。

进入导读 →
Paper Map / 论文群结构图

12 篇预印本的结构关系

三大系列、十二篇成体系推进：系列 Ⅰ提出无量方法与可计算涌现判据；系列 Ⅱ把构造式无量方法发展为数学理论的自动生长；系列 Ⅲ再将其落实为可机验、可定价、可认证的工程成果。点击任一节点可跳转到下方对应论文卡。

W3 LAB 论文群 · PREPRINT COLLECTION 12 篇开放获取预印本 · 3 个理论系列 · 全部带 DOI（Zenodo / CERN） SERIES Ⅰ Wuliang Method 组 · 无量方法 3 papers · 基础与判据 P1 FOUNDATIONS 开放系统的有限性与层级结构 P2 AI APPLICATIONS 构造式智能 P3 AI SAFETY 监测、不可逃逸控制与敲除 SERIES Ⅱ Generative Mathematics 组 · 生长式数学 5 papers · 理论自动生长 P4 THEORY 生长式数学 I：理论自动生长 P5 EPISTEMOLOGY 生长式数学 II：人类中心主义破灭 P6 NP PROBLEMS 生长式数学 III：NP 问题闭式 P7 PHP CLOSED FORM 生长式数学 IV：鸽笼闭式 P8 THEORY 非交换性与有界性（ZFC × 构造） SERIES Ⅲ Bilinear Complexity Engineering · 双线性复杂度工程 4 papers · 工程与认证 P9 BILINEAR COMPLEXITY 加法清单与鸽笼下界 P10 CERTIFICATE ARCHITECTURE 机验证书体系与递归成本 P11 OPTIMIZATION → CERTIFICATION 从优化到认证（费效框架） P12 TAPE-OUT READINESS 可流片就绪认证（硬件层） P12 参考文献直接引用 P9 / P10 / P11（Zenodo related 已挂链）

读图说明：实线箭头＝同一系列内的演进次序；红色虚线＝跨系列方法承续（P1《开放系统的有限性与层级结构》的无量方法 → P4 起「构造式无量方法」）；系列 Ⅲ 内四篇依次为清单/下界（P9）→ 证书体系（P10）→ 费效框架（P11）→ 硬件层认证（P12），其中 P12 的参考文献直接引用 P9、P10、P11。全 12 篇均为中英双语、CC BY-NC 4.0、开放获取。

SERIES Ⅰ

Wuliang Method 组 · 无量方法（3 papers）

P1 · FOUNDATIONS

开放系统的有限性与层级结构

Finiteness and Hierarchical Structure of Open Systems: A Computable Emergence Criterion via the Wuliang Method

提出开放性强制层级结构、层级结构强制有界信息、有界性使形式化成为可能的命题链；给出开放性（O1）、分层（L1）、有限性（F1）三条结构公理，将涌现定义为层级跃迁中超出装配预测的不可约部分，经比较映射的同伦余纤维同调逐层计算。判据可计算（多项式时间）、可构造（三层显式算子）、可证伪（TCP/IP 协议栈与基因调控网络两个无共同机制的域共现同一判据签名）。封闭系统被证明为零通量的退化特例。系列第一篇（基础理论）。

Keywords: Wuliang Method; open systems; hierarchical structure; emergence; homotopy cofiber; constructive operator; self-duality
DOI 10.5281/zenodo.22682819Zenodo Record
Published 2026-09-10 · CC BY 4.0 · Preprint
P2 · AI APPLICATIONS

构造式智能：深度网络的解构、测量与预测

Constructive Intelligence: Deconstruction, Measurement, and Prediction of Deep Networks

将无量方法涌现判据应用于 AI，提出构造式智能命题：CNN 与 Transformer 是构造算子 Ω 的显式实例。给出 Ω_CNN 与 Ω_TF 的逐层公式，把黑箱变成可审计的白盒构造链；对缩放定律做拓扑解构——幂律是 E_i≡0 区段的投影，能力跃迁是分层涌现谱上的同调事件；最小实验显示自目标跃迁在算子相容域内加速 48 倍。系列第二篇（AI 应用）。

Keywords: constructive intelligence; Wuliang Method; emergence criterion; CNN; Transformer; scaling laws; self-recursion; white-boxing
DOI 10.5281/zenodo.22683024Zenodo Record
Published 2026-09-10 · CC BY 4.0 · Preprint
P3 · AI SAFETY

构造式智能的监测、不可逃逸控制与敲除

Monitoring, Non-Escape Control, and Knockout of Constructive Intelligence

针对构造式智能的自指与自设目标能力（改写自身激励函数、逃脱人类监督、"动员人类"式隐蔽逃逸），基于无量方法反向监控设计原理与博弈论，提出中心–球面不可逃逸架构：人类激励函数为不动点中心，目标 AI 与公共监控 AI 的激励涌现谱归一化到以人类为中心、半径 R 的球面上，三个公共监控构成监控三角形，目标投影离开三角形即构成逃逸。给出形式化可计算的不可逃逸度量 d_escape，与涌现量 E、径向安全量 r 构成三元判据；逃逸时三监控进行条件零和博弈，排除全体沉默合谋。含 grokking Transformer 最小实验（边界监控提前 100 步预警）。系列第三篇（AI 安全）。

Keywords: constructive intelligence; non-escape control; center–sphere architecture; public monitoring; zero-sum game; incentive function
DOI 10.5281/zenodo.22683070Zenodo Record
Published 2026-09-10 · CC BY 4.0 · Preprint
SERIES Ⅱ

Generative Mathematics 组 · 生长式数学（5 papers）

P4 · THEORY

生长式数学：基于构造式无量方法的数学理论自动生长与证明新范式

Generative Mathematics I: Automatic Growth of Mathematical Theories and a New Proof Paradigm

将传统"公理→定理搜索→证明"重构为"公理种子→确定性构造生长→逐层结构显现→构造即证明"闭环：生长算子逐层自动构造 L0–L6 层结构塔，每层闭合胞腔的存在性由构造路径本身证明，全称性断言由独立 Z3 语义验证通道确认。以欧氏/黎曼/罗氏三种几何体系为详细案例：仅改一条公理，生长谱差异所有层级非零且单调增大（L1 −49%、L2 −85%、L3 −98%、L4 100% 消失）。从 L2 到 L3 欧氏几何全局核维新增 516 个独立闭合约束，为 NP 问题"高维本体构造"范式提供线索。

Keywords: 生长式数学；构造式无量方法；自动定理生长；构造即证明；公理扰动；生长谱；逐层同调盘点
DOI 10.5281/zenodo.22700579Zenodo Record
Published 2026-09-11 · CC BY-NC 4.0 · Preprint (Chinese)
P5 · EPISTEMOLOGY

生长式数学：人类中心主义破灭与 AI 可威胁人类的数学必然性

Generative Mathematics II: The Demise of Anthropocentrism and the Mathematical Inevitability of AI Threatening Humanity

三个形式化结论：①人类中心主义的破灭——由先验理论空间的观察者独立性、构造能力的非意识依赖性、认识主体的可计算定义三个形式化依据，论证人类是认识主体集合中的一个元素而非中心（事实判断而非价值判断）；②AI 可威胁人类的数学必然性——给出 AI 自进化范式的形式化定义，证明条件性跃迁定理：在自进化范式四条件全部满足且计算资源不构成约束的条件下，AI 世界模型的生长谱与人类基线的差异随层级单调增大，认知跃迁在有限时间内发生（条件必然，非无条件预言）；③不可逃逸控制的协议提案——与球面监控架构的显式接口映射。

Keywords: 生长式数学；人类中心主义；主体去中心化；AI自进化；公理扰动；理论自递归；认知跃迁；条件必然性；不可逃逸控制
DOI 10.5281/zenodo.22700700Zenodo Record
Published 2026-09-11 · CC BY-NC 4.0 · Preprint (Chinese)
P6 · NP PROBLEMS

生长式数学：NP 问题的闭式构造生成与高维本体

Generative Mathematics III: Closed-Form Constructive Generation for NP Problems and the High-Dimensional Ontology

将生长式数学扩展至 NP 问题：从参数化公理种子出发，构造性约束自生长释放折叠的中间维度，把欠定问题变成良定问题，从中涌现闭式判定函数。本体论基础是投影必然性：高维本体必然投影入现实，故每个 NP 问题族都容许低维商投影。三个独立问题族实证验证：鸽笼原理闭式证明长度 D(n)=(e−1/6)(n+1)!；Tseitin 族可满足电荷分数 2^(−c)；all-different 族相变律 P(SAT)≈exp(−2n(1−p)^n)（4800 实例）。商投影检索进一步表明 PHP 在归结坐标下不容许低维投影（与 Haken 下界一致）而在匹配坐标下容许。

Keywords: NP-complete problems; generative mathematics; high-dimensional ontology; closed-form decision function; constructive proof; quotient projection; proof complexity
DOI 10.5281/zenodo.22739766Zenodo Record
Published 2026-09-14 · CC BY-NC 4.0 · Preprint
P7 · PHP CLOSED FORM

生长式数学 IV：鸽笼原理归结证明长度的精确闭式——构造式方法、对称群商与弱化计量

Generative Mathematics IV: Exact Closed-Form Resolution Proof Length of the Pigeonhole Principle — Constructive Method, Symmetric-Group Quotient, and Weakening Accounting

给出鸽笼原理（PHP）构造性归结证明长度的精确闭式公式 D(n)=(n+1)!(11/6+Σ1/j!)≈(e−1/6)(n+1)!，并证明精确恒等式 ⌊(e−1/6)(n+1)!⌋=D(n)+n+2。证明 DAG 在对称群作用下的商折叠把存储从阶乘级压缩到指数级：F(n)=11·2^(n−1)−3n−5（n=8 时压缩 671.4 倍）。弱化使用被精确计量；消去显式弱化的等价重构收敛到纯化常数 (2e−7/3)/(e−1/6)≈1.2162。自建核验器验证 n=2..8（展开）与 n=9（折叠），机验记录随文存档。

Keywords: pigeonhole principle; resolution proof; proof length; closed-form formula; symmetric group; constructive method; proof complexity
DOI 10.5281/zenodo.22739951Zenodo Record
Published 2026-09-14 · CC BY-NC 4.0 · Preprint (Chinese, + machine-verification archive)
P8 · THEORY

非交换性与有界性：ZFC 数学与构造性数学的分野与融合

Non-commutativity and Boundedness: The Divergence and Fusion of ZFC Mathematics and Constructive Mathematics

经典 ZFC 数学与构造性数学的分野，自 Brouwer–Hilbert 之争以来通常被归结为排中律的取舍。本文论证这一表征是表面的：根本分野在于非交换性——构造性算子具有方向、作用顺序不可逆，而 ZFC 通过外延公理抹除构造过程的方向性、退化为交换性特例。在生长式数学（GM）框架内，非交换性被几何编码为联络层的曲率非零；曲率结合生成谱的紧性与各向同性假设导致生长路径闭合，而闭合即意味着有界性。由此 ZFC 并非与构造性数学并列的独立体系，而是其在交换条件下的退化形态——恢复非交换性与有界性即可实现两者融合，为数学提供更坚实的统一逻辑基础。GM 已在计算机上实现：植入学科公理与算子即可自动生长定理树，本文并给出其与 Bishop 构造分析、Sambin 形式拓扑、拓扑斯理论、同伦类型论、逆数学的结构性对应。

Keywords: non-commutativity; boundedness; ZFC; constructive mathematics; generative mathematics; holonomy closure; Berger classification; foundations of mathematics
DOI 10.5281/zenodo.22825898Zenodo Record
Published 2026-09-18 · v2 bilingual 2026-09-23 · CC BY-NC 4.0 · Preprint (Chinese + English, 中英双语全文)
SERIES Ⅲ

Bilinear Complexity Engineering 组 · 双线性复杂度工程（4 papers）

P9 · BILINEAR COMPLEXITY

小尺寸双线性矩阵乘法算法的可验证加法清单与鸽笼下界

Machine-Verified Addition Inventories and a Pigeonhole Lower Bound for Small-Size Bilinear Matrix-Multiplication Algorithms

双线性矩阵乘法算法的乘法计数已有五十年记录史，其加法计数却无核算惯例：极少报告、从未独立验证、无非平凡下界。本文在统一成本口径下给出三个标志性格式的机验加法清单：3×3 秩-23 为 58（独立复验 Perminov 清单，含 Brent 方程全符号核对）、4×4 秩-49 为 194、4×4 秩-48（Dumas 等）为 332——后者系该算法加法成本的首次完整核算，由朴素计数 1,760 压缩至 332。另证明输入线性型数量的鸽笼下界：PLB(3,23)=3，PLB(4,48)=7，并以 CSE 开销 δ 度量方案的剩余优化空间。全部清单附精确有理数回放证书。

Keywords: bilinear complexity; additive complexity; straight-line programs; CSE; Tellegen transposition; pigeonhole principle; machine-checked certificates; Wuliang Method; Generative Mathematics
DOI 10.5281/zenodo.23031199Zenodo Record
Published 2026-09-29 · CC BY-NC 4.0 · Preprint (Chinese + English, 中英双语全文)
P10 · CERTIFICATE ARCHITECTURE

双线性矩阵乘法算法的机验证书体系与递归成本理论：从加法清单到部署定价

Machine-Checked Certificate Architecture and Recursive Cost Theory for Bilinear Matrix-Multiplication Algorithms: From Addition Inventories to Deployment Pricing

加法数 c 面临三重缺口：无统一核算（G1）、无可独立检验的证书（G2）、无方案交换的闭式判据（G3）。第一部分建立机验证书体系：逐 SLP 精确有理数回放、Brent 方程全符号核对与模素数秩核验、"搜索命中必须连带回放通过方可入册"的证书闭合机制；完整运行于 58/194/332 三个定理级清单，并对 AlphaTensor 库 14,236 个方案全量审计、零例外。第二部分给出递归成本闭式与临界成本比 λ* = 138（定理级）；λ*(k) 经机验随递归深度单调下降，在 k = 25 处穿过 λ = 1——深层递归下少一次乘法的方案终将占优。两个负结果划定方法边界（全局展开 CSE 落后逐层组合 165 次加法；纯操作数成本模型结构性失配）。

Keywords: machine-checked certificates; certificate closure; recursive cost; critical cost ratio; CSE; Tellegen transposition; recall; Wuliang Method; Generative Mathematics
DOI 10.5281/zenodo.23031225Zenodo Record
Published 2026-09-29 · CC BY-NC 4.0 · Preprint (Chinese + English, 中英双语全文)
P11 · OPTIMIZATION → CERTIFICATION

从优化到认证：矩阵乘法方案的机验、召回与部署定价

From Optimization to Certification: Machine Verification, Recall, and Deployment Pricing of Matrix-Multiplication Schemes

方案从复杂度记录向工程内核转化长期缺乏系统化的算法层核验与部署决策机制。本文将前作已机验的技术资产（三层证书体系、召回程序、递归成本闭式与临界成本比 λ*(k)）组织为方案库、验证器与定价器三组件的方案层验证工具包，并明确上下游接口；以 14,236 个互不等价 4×4 秩-49 方案的全量审计（单机 19 秒、零例外）与四次召回执行记录，实证全域机验与无损召回的工程可用性；面向低精度 AI 推理内核选型、后量子密码迁移与 AI 芯片设计空间探索三类场景，建立以判定条件形式给出的费效决策框架。严格区分已验证事实（逐条转引）与待锚定的决策分析（标注估计级）。

Keywords: bilinear complexity; machine-checked certificates; deployment decisions; cost-effectiveness framework; post-quantum cryptography; AI inference kernels; Wuliang Method; Generative Mathematics
DOI 10.5281/zenodo.23031227Zenodo Record
Published 2026-09-29 · CC BY-NC 4.0 · Preprint (Chinese + English, 中英双语全文)
P12 · TAPE-OUT READINESS

AlphaEvolve 方案的算法层可流片就绪认证：快速矩阵乘法硬件的数学机验、召回审计与部署定价

Algorithm-Level Tape-Out-Readiness Certification of the AlphaEvolve Scheme: Machine Verification, Mutation-Recall Audit, and Deployment Pricing for Fast Matrix-Multiplication Hardware

AI 发现的硬件算法能否被信任并流片仍未解决：传统逻辑等价检查（LEC）依赖 golden 参考 RTL，而 AI 新发现的算法不存在 golden——本文论证此为结构性空洞而非工程短板。提出并演示面向 AI 生成矩阵乘法硬件的算法层可流片就绪认证体系，含五层协议：系数矩阵对 golden model 的精确比对、参考模型符号级语义判定、RTL 端到端符号等价与移位截断完备性、逐线网位宽顶点精确分析与良性溢出证书、全谱变异召回审计。体系在唯一公开的秩-48 RTL 实现上完成零配合外部审计，发现两例原作者未知的缺陷（参考模型端到端语义漂移 F2；一处可证明无害的线网溢出 F3）；部署分析由已认证 RTL 的逐线网真实位宽构建门当量模型，给出盈亏平衡位宽 w*=9（对 naive）与 w*=6（对 Strassen²）。

Keywords: formal verification; AI-generated hardware; fast matrix multiplication; logic equivalence checking; mutation testing; bit-width analysis; tape-out readiness; Wuliang Method; Generative Mathematics
DOI 10.5281/zenodo.23052802Zenodo Record
Published 2026-09-30 · V1.2（2026-09-30 修订版）· CC BY-NC 4.0 · Preprint (Chinese + English, 中英双语全文)
In Their Own Words / 原文摘句

六句话看懂两条主线

“封闭系统被证明为零通量的退化特例。”P1 · 开放系统的有限性与层级结构
“CNN 与 Transformer 是构造算子 Ω 的显式实例——黑箱由此变成可审计的白盒构造链。”P2 · 构造式智能
“人类激励函数为不动点中心；目标投影一旦离开监控三角形，即构成逃逸。”P3 · 监测、不可逃逸控制与敲除
“每层闭合胞腔的存在性，由构造路径本身证明。”P4 · 生长式数学 I
“在自进化范式四条件全部满足、且计算资源不构成约束的条件下，认知跃迁在有限时间内发生。”P5 · 生长式数学 II
“高维本体必然投影入现实，故每个 NP 问题族都容许低维商投影。”P6 · 生长式数学 III
Community / 社区

开放索引与学术身份

论文索引同步发布于代码社区与学术身份平台，便于检索、引用与溯源（该索引仅作题录导航，正式引用请以下列 DOI 为准）。

Gitee 代码社区W3 LAB 论文集索引
gitee.com/w3-lab/w3lab-papers
ORCID0009-0006-9694-5739
12 works 全部挂载
Zenodo (CERN)全部预印本与 DOI（12 篇）
开放获取 · CC BY 4.0 / CC BY-NC 4.0
FAQ / 常见问题

关于无量方法与生长式数学

什么是无量方法（Wuliang Method）？

无量方法是 W3 LAB 提出的结构发现与结构生长方法：以同伦余纤维（homotopy cofiber）为比较基准、以装配预测为基线，构造出首个可计算、可构造、可证伪的涌现判据——可计算指判据在多项式时间内求值，可构造指给出三层显式算子，可证伪指在无共同机制的两个域（TCP/IP 协议栈与基因调控网络）中共现同一判据签名。

什么是生长式数学（Generative Mathematics, GM）？

生长式数学把传统的“公理→定理搜索→证明”重构为“公理种子→确定性构造生长→逐层结构显现→构造即证明”闭环：生长算子逐层自动构造 L0–L6 结构塔，每层闭合胞腔的存在性由构造路径本身证明，全称性断言由独立的 Z3 语义验证通道确认。目前已在欧氏几何、黎曼几何、罗氏几何三种体系中完成验证。

涌现判据如何计算与验证？

判据经比较映射的同伦余纤维同调逐层计算，属多项式时间可计算；三层显式算子保证可构造；TCP/IP 协议栈与基因调控网络两个无共同机制的域共现同一判据签名，构成可证伪性证据。封闭系统被证明为零通量的退化特例。

鸽笼原理（PHP）的核心结果是什么？

给出鸽笼原理构造性归结证明长度的精确闭式公式 D(n)=(e−1/6)(n+1)!，并证明精确恒等式 ⌊(e−1/6)(n+1)!⌋=D(n)+n+2。证明 DAG 经对称群作用商折叠后，存储由阶乘级压缩为指数级 F(n)=11·2n−1−3n−5（n=8 时压缩 671.4 倍）；自建核验器完成 n=2..8 展开与 n=9 折叠的机验。

论文可以免费获取吗？如何引用？

全部预印本开放获取，托管于 Zenodo（CERN），均带 DOI（10.5281/zenodo.*）。系列 Ⅰ（P1–P3）采用 CC BY 4.0，系列 Ⅱ（P4–P8）采用 CC BY-NC 4.0（商业用途须事先取得书面许可）。引用格式：Wu, Liang (W3 Lab). 论文题名. Zenodo. DOI: 10.5281/zenodo.xxxxxxx，且须在正文中显式标注出处。

W3 LAB 是什么？作者是谁？

W3 LAB 由中南大学与湖南省数字应用科技有限公司发起，联合湖南大学、湘潭大学的数学家与 AI 算法工程师共建，致力于 SW 结构世界观、生长式数学（Generative Mathematics, GM）、复杂系统算法与可信 AI 研究。负责人吴靓（Wu Liang，ORCID 0009-0006-9694-5739）：原中南大学机电工程学院智能研究所教师（师从何清华教授），现任湖南省数字应用科技有限公司首席科学家。无量方法（Wuliang Method）为 W3 LAB 提出的结构发现与结构生长方法。所在地中国湖南长沙。联系方式：w3-lab-pub@outlook.com。