严格证明了。目前，镜像对称是纯数学中的热门话题，数学家正在物理直觉的基础上探索镜像对称的严格数学化表述。镜像对称也是进行弦论和量子场论计算的重要工具，这两者都是物理学家用来描述基本粒子的理论。镜像对称的数学表述主要有马克西姆·孔采维奇的，以及安德鲁·施特罗明格、丘成桐和的。