学界开始讨论预印本平台、形式化验证工具等辅助手段，以分担传统同行评议的压力。