已收录文章摘要，完整内容可前往原文阅读。
导语AI 能否参与量子计算的定理证明与方案设计？本期为AI for Math读书会第二季第4期，深圳国际量子研究院研究员邓修豪将结合AI辅助量子信息与量子计算研究的实践，探讨新概念形成、形式化验证与可