2026年1月，数学家与艺术家齐聚IHP，探讨数学插图的严谨性。文章指出，AI打破了定理稀缺性，数学不应只是可验证的证明，更是社区理解与创造的过程。插图作为研究工具能揭示新结构，但需借助“批判”框架评估其准确性。作者呼吁重视证明之外的多元数学实践，并给予相应支持。