陶哲轩：数学不该被AI'掠夺式开采'

OpenAI发布数学、计算机科学和物理学领域三项新发现，陶哲轩质疑AI在数学研究中过度追求速度而忽视理解，人类数学协会已有1008位成员加入'无AI研究小组'。陶哲轩提出Math 2.0构想，倡导数学共同体建立自己的开放模型和研究工具，同时AI数学研究公司Axiom Math完成了有限单群分类定理的形式化证明。