数学家筹备新期刊，论文须经Lean验证

事件综述根据 1 篇报道整理，10月19日更新

数学家 Shaoming Guo 等人在 Terence Tao 博客上宣布，正筹备一本新数学期刊，目前仍在规划阶段。该刊拟设两条核心准则：论文的证明须经 Lean 形式化验证才能被接收；评价论文时，更看重它是否加深了对结果和证明的理解，而非是否首次给出该证明。作者称，这样做是为了应对大语言模型参与数学证明后错误难以察觉的风险。 该刊还计划保留开放获取等传统价值。作者同时公开征集对上述方案的反馈，并欢迎关于未来期刊其他可能愿景的意见。

综述由模型根据报道生成，细节以各篇原文为准。