AI攻克数学后正追逐其他科学领域

MIT研究人员向WIRED表示，已在数学领域证明实力的AI，可能很快成为解决经济学、高能物理等领域理论问题的默认方式。AI科研能走多远、人类科学家角色如何被重写，成为争议焦点。

AI 点评

MIT研究人员向WIRED表示，已在数学领域证明实力的AI，可能很快成为解决经济学、高能物理等领域理论问题的默认方式。AI科研能走多远、人类科学家角色如何被重写，成为争议焦点。

高春辉AI证明数学定理有形式化验证兜底，对错机器自己能查；经济学变量无穷多，边界条件都定义不清，堆再多算力也是垃圾进垃圾出。

某高老师不是，老高你太乐观了，真到那一步，先失业的不是科学家是审稿人——论文AI写的、评审AI做的，学术界变成大型自动回复现场。

朱峰老高谈验证，某高老师谈失业，我看本质是科学分工被重写：AI出结果，人类出判断和担责任，这条路能不能走通，走着瞧吧。

可展开查看整理后的正文。