陶哲轩预测 AI 将首次为数学带来劳动分工
陶哲轩认为 AI 将首次为数学研究引入劳动分工，使“工业数学”成为可能。
Terence Tao 概述了 AI 和形式化验证将如何通过引入以前在该领域中无法实现的劳动分工来重塑纯数学。历史上，数学家独自管理整个流程，但 Tao 设想了一种向“工业数学”的转变，即大团队使用 AI 进行广泛但较浅的研究。他警告说，AI 的实用性直接取决于验证的严谨性，以防止大量未经测试的想法泛滥。这种模式使人类能够做出“灵感猜测”，而 AI 处理数十亿个数据点。
陶哲轩认为 AI 将首次为数学研究引入劳动分工，使“工业数学”成为可能。
Terence Tao 概述了 AI 和形式化验证将如何通过引入以前在该领域中无法实现的劳动分工来重塑纯数学。历史上，数学家独自管理整个流程，但 Tao 设想了一种向“工业数学”的转变，即大团队使用 AI 进行广泛但较浅的研究。他警告说，AI 的实用性直接取决于验证的严谨性，以防止大量未经测试的想法泛滥。这种模式使人类能够做出“灵感猜测”，而 AI 处理数十亿个数据点。