数学插图：作为严谨证明之外的一种数学认知方式

数学家 Kate Stange 和 Edmund Harriss 撰文探讨数学插图能否成为一种严谨的认知形式。文章结合一月份巴黎 Institut Henri Poincaré 工作坊的讨论，借助"代数星空图"等案例阐述插图作为研究手段的探索性，并强调在 LLMs 已能生成代码甚至发现新定理的当下，人类数学实践正面临对"理解"重新定义的迫切问题。