数学插图：超越证明的严谨实践

近日，法国庞加莱研究所举办专题研讨会，汇聚数学界、历史学界及艺术领域学者，共同探讨人工智能时代数学严谨性的新内涵。与会专家指出，传统评价过度依赖定理产出，而AI的突破已打破知识稀缺性，迫使学界重新定义数学实践的核心价值。在此背景下，数学插图、代码生成与可视化建模正从辅助说明工具，全面转型为探索未知、构建认知的独立研究方法。 研讨论文强调，严谨的视觉表达应具备认知可供性，即通过精确的图形与算法反馈揭示隐含的数学结构。研究团队以代数数星图与三维准周期平铺Tile的发现为例，论证了可视化探索在直觉生成与逻辑验证中的关键作用。为建立科学评估标准，会议引入艺术界作品评议机制与具身学习理念，构建了一套基于同行反馈与创作过程的严谨性框架。 目前，国际几何实验室网络等机构已逐步搭建支持多元实践的基础设施。学界正积极推动评价体系改革，主张将图形构建、交互软件与科普传播纳入正式学术认可范畴。这一范式转移旨在恢复数学作为人类创造性认知活动的本质，确保数学研究在算法时代持续拓展理性思维与多元理解的边界。