AI 为何让数学家落泪：Steven Strogatz 谈发现与理解的分离

I know why Mathematicians weep

AI 自动求解数学难题引发的悲伤，涉及数学家对研究意义、共同探索和人类理解的担忧。文章通过与 Steven Strogatz 的对话，将科学区分为发现知识的技艺与跨世代交流，并讨论 AI 产出难以理解的推理可能带来的影响。文章也承认 AI 扩大数学能力获取范围及救治疾病的价值，提出保留教学、讨论与将机器逻辑转化为人类理解的空间。