In physics, mirror symmetry is justified on physical grounds. However, mathematicians generally require rigorous proofs that do not require an appeal to physical intuition. From a mathematical point of view, the version of mirror symmetry described above is still only a conjecture, but there is another version of mirror symmetry in the context of topological string theory, a simplified version of string theory introduced by Edward Witten, which has been rigorously proven by mathematicians. In the context of topological string theory, mirror symmetry states that two theories called the A-model and B-model are equivalent in the sense that there is a duality relating them. Today mirror symmetry is an active area of research in mathematics, and mathematicians are working to develop a more complete mathematical understanding of mirror symmetry based on physicists' intuition.