如果论文的主要读者不再是人
中文摘要
本文探讨AI对科研循环和学术评价的挑战，建议在数学等领域采用AI调用记录作为新指标，强调好奇心仍是研究的核心驱动力。
English Summary
The article explores AI's impact on research evaluation, suggesting AI call logs as metrics in formalizable fields, while emphasizing curiosity as the core driver of research.
原文节选
📌 一句话摘要 本文探讨了 AI 介入科研循环后，学术影响力评价体系面临的根本性挑战，并提出在数学等可形式化领域，AI 系统的调用记录可能成为新的影响力度量，但最终驱动好研究的仍是好奇心与对问题本身的兴趣。 📝 详细摘要 文章以数学研究为切入点，系统分析了 AI 如何从写作、阅读到方法端全面介入科研循环，导致个人产出膨胀但集体视野收缩。作者指出，在数学领域，形式化验证为 AI 时代的学术评价提供了一条独特出路：当证明可...