统计学者 RexDouglass：AI 将使数学复现一键化，人工审核将过时

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