他们说的”失配”，是指 AI 公司和数学家想要的东西对不上：数学家要的是新方法、新理解，AI 公司要的是拿名题给模型刷分。七天，五件事都指向这样一个缺口：AI 创造知识的速度、人类确认知识的速度与规则调整的速度，正在严重脱节。上个月，OpenAI 把一批顶尖数学家请到旧金山办公室开闭门会，假设 AI 终将在数学上超越人类，然后大家再来讨论教育怎么办、科研合作怎么办、论文发表怎么办、下一代数学家还怎么培养。
他们说的”失配”，是指 AI 公司和数学家想要的东西对不上：数学家要的是新方法、新理解，AI 公司要的是拿名题给模型刷分。七天，五件事都指向这样一个缺口：AI 创造知识的速度、人类确认知识的速度与规则调整的速度，正在严重脱节。上个月，OpenAI 把一批顶尖数学家请到旧金山办公室开闭门会，假设 AI 终将在数学上超越人类，然后大家再来讨论教育怎么办、科研合作怎么办、论文发表怎么办、下一代数学家还怎么培养。