【#AI数学# 突破】 如何让工具代劳数学机械推理？

陶哲轩演示AI辅助证明，33分钟完成传统复杂推导，重塑数学研究方式。