数学同行筹备新期刊：以理解优先于首发、Lean 形式化验证保障严谨性

[This is a guest post by Shaoming Guo – T.]

Several math colleagues and I are preparing to launch a new journal. As we considered which values we wanted the journal to uphold, we realized that there may be many other values worth exploring as a community, potentially through the creation of additional journals. We would like to use Terry’s blog to open a discussion of these possibilities. There are many dimensions to this discussion: what journals should aim to accomplish, what kinds of mathematical contributions they should recognize and reward, how papers should be evaluated, and how mathematical knowledge can best be communicated and made reliable. As new tools change the way mathematics is developed and shared, we have an opportunity to reconsider long standing conventions and imagine new possibilities for mathematical publishing.

For the journal we are currently planning, we envision two core values (in additional to traditional values like open access):

Prioritizing understanding over being first. We place far greater value on how much a paper deepens our understanding of its results and proofs than on whether it provides the first proof of those results.

Ensuring rigor through formal verification. As large language models (LLMs) are increasingly used to develop mathematical proofs, the potential for subtle, hard-to-detect errors is a growing concern. To be accepted, a paper will need to have its proofs formally verified in Lean.

Alongside feedback on this proposal, we welcome ideas for substantially different visions of future journals: the values they might uphold, the needs they might serve, and the practices they might adopt. A single journal is unlikely to accommodate every worthwhile idea, and combining too many requirements could place excessive constraints on authors. We hope this discussion will inspire a variety of new journals and other platforms, allowing the community to explore different approaches to the future of mathematical publishing.

注意转载授权 · 阅读原文