统计学者 RexDouglass：AI 让数学可复现变得“一键化”，人工审核注定过时

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