数学期刊新方案：拟要求投稿证明经 Lean 形式验证，同时把“理解价值”置于首创优先权之上

Shaoming Guo 在陶哲轩博客发布联合筹备的新数学期刊设想：除开放获取外，拟优先奖励能加深数学理解的阐释，并要求拟录用论文的证明经过 Lean 形式化验证，以应对 LLM 时代大量难以人工逐一审查的证明。文章邀请社区讨论不同期刊的互补定位；截至本次公告，新刊仍在筹备，并非已经运行或正式采用的投稿政策。