陶哲軒預測 AI 將首次為數學帶來勞動分工
陶哲軒認為 AI 將首次為數學研究引入勞動分工，使「工業數學」成為可能。
Terence Tao 概述了 AI 和形式化驗證將如何通過引入以前在該領域中不可能的分工來重塑純數學。歷史上，數學家們獨自管理整個流程，但 Tao 設想了一個轉變為「工業數學」的過程，其中大團隊使用 AI 進行廣泛但較淺的研究。他警告說，AI 的實用性直接取決於驗證的嚴謹性，以防止大量未經測試的想法湧入。該模型使人類能夠做出「有靈感的猜測」，而 AI 處理數十億個數據點。
陶哲軒認為 AI 將首次為數學研究引入勞動分工，使「工業數學」成為可能。
Terence Tao 概述了 AI 和形式化驗證將如何通過引入以前在該領域中不可能的分工來重塑純數學。歷史上，數學家們獨自管理整個流程，但 Tao 設想了一個轉變為「工業數學」的過程，其中大團隊使用 AI 進行廣泛但較淺的研究。他警告說，AI 的實用性直接取決於驗證的嚴謹性，以防止大量未經測試的想法湧入。該模型使人類能夠做出「有靈感的猜測」，而 AI 處理數十億個數據點。