张量网络
张量网络理论的多智能体自动形式化Lu 等（2026）构建了一支专门化的大语言模型智能体团队，在 Lean/Mathlib 中完成了矩阵乘积态基本定理的研究级自动形式化演示，构建了 TNLean 库并延伸至一维对称保护拓扑相 2026-07-12 张量网络算法：路线图
Bañuls (2023) 对张量网络算法进行了全面综述，从基本 MPS 算法（DMRG、TEBD）到高级技术（PEPS、费米子、动力学、激发态），并讨论了网络重整化及与其他数值方法的交叉融合。 2026-07-05
Lu 等（2026）构建了一支专门化的大语言模型智能体团队，在 Lean/Mathlib 中完成了矩阵乘积态基本定理的研究级自动形式化演示，构建了 TNLean 库并延伸至一维对称保护拓扑相 2026-07-12 张量网络算法：路线图
Bañuls (2023) 对张量网络算法进行了全面综述，从基本 MPS 算法（DMRG、TEBD）到高级技术（PEPS、费米子、动力学、激发态），并讨论了网络重整化及与其他数值方法的交叉融合。 2026-07-05