经济学家 Afinetheorem 提议学术期刊改革：AI 初审+一键复现+形式化证明
Afinetheorem · x · 2026-10-23
经济学家(Afinetheorem)分享其约两年前向美国经济学会(AEA)建议的 AI 时代期刊改革方案，并称今天更为迫切：
- AI 做第一轮技术审查：作者对认可的修改意见进行修正；
- 一键复现：强制要求从原始数据出发、标准化的可复现包，由期刊「AI」先做验证；
- 开放且 AI 可读的数据；
- 形式化证明：参照 MathEconLib,要求理论证明用 Lean 等形式语言书写(AI 会让这变得容易)。
配图为 Kevin Bryan 的邮件回复：他大体赞同，但认为报告对双盲评审的偏见问题过于悲观(实证显示双盲几乎不改变偏见水平)，并强调 AI 作为「第四审稿人」做表格、计算、证明的快速核查已接近超人类水平，且 AI 辅助造假使一键复现更为必要。
「漫话AGI」频道最新
- Joe Weisenthal 力挺 AI 激发智识繁荣，多数人用法却遭质疑 — ArtificialOther · 2026-10-23
- Reddit 热帖断言：主流 LLM 推理引擎和 agent 框架里几乎必然已藏后门 — Ori_553 · 2026-10-23
- waitbutwhy 经典 AI 智能爆炸图：从「猴子把戏」到措手不及 — pickover · 2026-10-23
- 形式化方法社区为何拥抱 AI：自动验证本就是这个群体的旧梦 — jefrankle · 2026-10-23
- 长寿研究者：攻克衰老等于解锁无限时间与无限解法 — rand_longevity · 2026-10-23
- Reddit 热议：中国开源模型崛起，美国闭源路线恐输掉开放权重时代 — StandardLovers · 2026-10-23