RexDouglass谈AI重塑数学复现审核

统计学者 RexDouglass 认为，AI 已让数学证明的复现与审核变得“一键化”，自动形式化将成为新的均衡。他以应用统计为例称，GitHub 式可复现可让更专业者看懂并接手复杂工作，而逐条人工审核已难以适应这一变化。

统计学者 RexDouglass 发文称，AI 将让数学研究复现变得一键可达，自动形式化将成为新的均衡。他指出，GitHub 与可复现性文化已提供基础，因此数学界逐条人工审核证明笔记的方式注定过时。

统计学家 RexDouglass 在 X 上吐槽应用统计学界，称很多从业者其实在「做自己并不理解数学的数学」。他指出 GitHub 与可复现性文化早已让更专业的同行得以检验这些「乱摊子」，而 AI 把复现他人研究变成按下按钮即可完成的事，数学界只是在追赶时代。