多智能体协同下张量网络理论的自治形式化：TNLean 深度解析与科研范式变革2026-07-10本文深入解析利用多智能体协同系统自主形式化张量网络理论核心定理（FT-MPS）的里程碑式工作，探讨其科学原理、技术瓶颈及在凝聚态物理和量子化学中的深远影响。#张量网络#矩阵乘积态#形式化证明#大语言模型#Lean-4#量子信息