AGI Hunt· danintheory·· 37 分钟前AI 评分53
新论文用张量网络验证并形式化 OpenAI 的 Haldane 能隙证明
新论文用张量网络消化 OpenAI 的 Haldane 能隙证明并 Lean 4 形式化
AI 导读
Sirui Lu 在 arXiv 发布论文《Bridging Gaps with Tensor Networks: From the Haldane Gap and Beyond》，用张量网络验证并形式化 OpenAI 生成的周期自旋-1 海森堡链均匀能隙计算机辅助证明。
来源：AGI Hunt · agihunt.info