一月，数学家、历史学家、艺术家和教育工作者聚集在亨利·庞加莱研究所，参加一场关于数学意义的研讨会。他们的焦点是探讨插图如何具备严谨性。此次讨论发生在研讨会六个月后，促成了一篇被《 Notices 》接受的文章，其背景是莱顿宣言。过去几个月，人们对“作为人类如何从事数学”表达了深切的观点。数学插图，包括计算机图形学及其他超越符号交流的媒介，是一种超越证明写作的活动。布莱娜·克劳指出当前问题：定理产出是最重要的成功衡量标准，但它始终只是理解的代理指标。人工智能已打破了深奥定理的稀缺性。西尔维娅·德·托福利和埃蒙·杜埃德拒绝数学是机器能获胜的游戏这一观点，认为它是一个由学术群体参与的知识体系。马蒂尔德·马科尔利认为，伟大的定理从来不是重点，只是被选中的价值体系。格兰特·桑德森问如何真正认可其他形式的数学理解。该论文追溯了在加斯帕尔·蒙日的巴黎综合理工学院，手绘为何是必需的，历史学家弗雷德里克·布雷肯马赫指出“绘图即认知”。这一传统虽在二十世纪被搁置，仍得以延续。插图数学社区在2019年ICERM学期期间形成，聚集了开发图像、模型、软件和数学体验的数学家。
来源: Hacker News · 由HeadlinesBriefing整理摘要