创办一本新期刊

【本文为郭少明 – T.的特邀投稿】

我和几位数学领域的同行正筹备创办一本新期刊。在思考该期刊应秉持哪些价值理念时，我们意识到，作为学术共同体，还有许多其他值得探讨的价值，或许可以通过创办更多期刊来实现。

我们希望借助Terry的博客，就此展开讨论。这一议题涉及多个层面：期刊应当追求何种目标、应认可并鼓励哪些类型的数学成果、论文应如何评审，以及如何以最佳方式传播数学知识并确保其可靠性。

随着新型工具不断改变数学研究与交流的方式，我们有机会重新审视长期沿用的惯例，并畅想数学出版的全新可能性。

就我们目前筹划的这本期刊而言，除开放获取等传统理念外，我们还设定了两项核心价值：

优先考虑理解而非首发。我们更看重一篇论文对其结论及证明所带来理解的深度，而非其是否首次给出这些结论的证明。

通过形式化验证确保严谨性。随着大型语言模型（LLM）在数学证明构建中的应用日益广泛，潜在的细微且难以察觉的错误正引发越来越多的担忧。

为获得发表资格，论文的证明必须在Lean系统中完成形式化验证。

除了针对上述方案的反馈之外，我们也欢迎提出关于未来期刊的截然不同的构想：它们可能秉持的价值、满足的需求，以及可采纳的实践方式。

单一期刊很难容纳所有有价值的理念，而过多的要求也可能对作者形成过大的限制。我们期待此次讨论能够催生多种新期刊及其他平台，使学术共同体得以探索数学出版未来发展的不同路径。

_______