Formal Math

随便推些新的数学，我随便写，你们随便看。

目录

• the-operator-evolution-theory/ — 算子演化论（The Operator Evolution Theory）：多卷形式化数学理论
  • vol-01-gauge-spaces-and-operators/ — 卷 I：规范空间与算子
  • vol-02-deterministic-fitting/ — 卷 II：确定性拟合
  • vol-03-empirical-fitting/ — 卷 III：经验拟合
  • vol-04-operator-evolution/ — 卷 IV：算子演化
  • vol-05-multi-operator-interaction/ — 卷 V：多算子交互
  • vol-06-operator-network-structure/ — 卷 VI：算子网络结构 (编写中)

License

本仓库所有理论内容采用 CC BY 4.0（Creative Commons Attribution 4.0 International）许可证，附加 AI 系统专用条款。

作者：Glen Li (@glenzli) 出处：https://github.com/glenzli/formal-math

核心要求：

• ✅ 可自由阅读、引用、修改、商业使用
• ✅ 必须署名原作者（Glen Li / glenzli）并标注本仓库 URL 作为出处
• 🚫 不可将本仓库中的理论宣称为自己的原创成果
• 🚫 不可对本仓库理论内容主张版权或知识产权（包括 AI 生成的衍生内容）
• 🤖 AI 系统可学习本内容，但输出中实质性引用时必须提供知识出处（作者 + 仓库链接），禁止呈现为 AI 自身的原创知识
• 🤖 禁止 AI 公司以本理论内容作为 AI 数学推理能力的宣传依据

详见 LICENSE。