随着AI在猜想生成与证明搜索中的应用，数学研究出现类似「抽卡」的随机化产出模式。文章讨论这种高效率但可解释性弱的方式，与传统依靠直觉、长期积累的「古法科研」之间的张力，涉及学术评价、证明可信度与人类数学直觉的不可替代性。

📌 原文来源：知识分子

🔗 阅读原文

内容基于公开资讯总结整理，仅供学习参考。