AI时代中的数学方法与人类思维

摘要

本文由Tanya Klowden和陶哲轩联合撰写，探讨人工智能与形式化如何改变数学的目的、实践及社会角色。文章指出，AI和数学形式化可能重塑数学研究的本质，影响数学家的日常工作方式以及数学在科学和社会中的应用。作者强调，尽管AI工具日益强大，但人类的数学直觉和创造性思维仍不可或缺，技术变革将重塑人与数学的关系。