经济学家 Afinetheorem 提议学术期刊改革：AI 初审、一键复现与形式化证明

经济学家 Afinetheorem 提议以 AI 初审、一键复现和形式化证明重构学术期刊流程，回应 AI 时代的技术核查需求。方案要求作者修正技术意见、从原始数据生成标准化可复现包并交由期刊 AI 验证，并提供开放且 AI 可读的数据。理论证明参照 MathEconLib 使用 Lean 等形式语言；Kevin Bryan 认同方向，但称双盲几乎不改变偏见水平，AI 辅助造假凸显一键复现的必要性。