AI 打破稀缺后，数学证明不再是全部

Illustration Beyond Proof

当 AI 让定理生产不再稀缺，数学界正重新审视“理解”的本质。在 Institut Henri Poincaré 的工作坊上，数学家与艺术家探讨：当证明不再是衡量深度的唯一标准，数学插图如何成为一种严谨的研究方法？从 Bryna Kra 到 Grant Sanderson，多位学者指出，数学不仅是可验证的解，更是被学术共同体消化、解读的知识体系。通过 shader 代码意外发现的代数结构、GPT-6 Astra 辅助发现的 Chair44 单瓦片，都表明插图能揭示未被探索的数学。我们呼吁给予“通过制作来学习”更多认可，让数学回归对直觉、美感与洞察的珍视。