Math 2.0

由数学家陶哲轩提出的数学研究范式概念，指借助形式化验证工具、AI协作与大规模开放协作平台，突破传统数学研究在验证成本、协作规模等方面局限的新型研究模式