数学家郭少明等人计划创办新期刊，核心主张有两点：重视论文对理解的深化而非首发；要求证明经Lean形式化验证，以防范大语言模型带来的隐蔽错误风险。他们希望借此引发对数学出版未来的讨论，并鼓励创办多种期刊以探索不同理念与做法。
完成下面两步后，将自动完成登录并继续当前操作。
