Geoffrey Irving：AI 与 AI 安全界都不应破坏数学，资源须流向基础建设

Geoffrey Irving 呼吁，抛开应用不谈，AI 与 AI 安全领域都应努力不去破坏数学这一学科。他认为大量规范、工作流和工具将不得不快速改变，资源不应只流向炫目的应用，也要用于把基础做对。同期 Resolution 向 Mathlib 计划捐资 100 万美元，应对 AI 形式化数学浪潮。