In his speech entitled "Math 2.0", Tao Zhexuan posited that AI is propelling mathematical research from an era characterized by "proof scarcity" to a novel stage marked by "proof abundance". Nevertheless, he also underscored that the present over-dependence on AI for automatically resolving open problems within the mathematical community might sidestep the crucial step of human comprehension. This, in turn, could jeopardize the long-term advancement of mathematics and the security of its practical applications. He champions the utilization of AI as a supplementary tool to augment human understanding of mathematics and foster the growth of the mathematical research community. To achieve this, he put forward specific research avenues, such as the open interpretation of problems, the construction of dynamic networks of mathematical knowledge, and the development of high-quality formalized mathematical libraries. Tao Zhexuan is of the opinion that the linchpin to realizing Math 2.0 does not reside in technological advancements but rather in the imagination necessary to transcend traditional research path dependencies.