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

应用统计学者 RexDouglass 发文吐槽学界现状，称许多从业者其实在「做自己并不理解数学的数学」，而数学界对 AI 的反应「好笑又可悲」——仍在像防贼一样逐条人工审核证明笔记。他认为 GitHub 与可复现性文化早已提供了出路，AI 让复现研究变得一键可达，自动形式化将成为新的均衡，人工审核注定过时。

2026-11-08 ~ 2026-11-08 · 2 条相关