特伦斯·陶刚刚确认，AI在数学领域已经达到了一个门槛，当一位伟大的现存数学家说这是真的，争论就结束了。 陶说：“能力确实有了非常明显的提升。这绝不是纯粹的炒作。” 来自一个能够立即识别是否被过度宣传的人的直接确认。AI在数学领域从承诺跨越到了操作能力。 陶说：“在我看来，这些进展表明有一种互补的方式来进行数学。” 不是替代。并行模式在规模上运作，超出了人类的物理能力。 人类在小组中花费数月时间解决困难问题。这一点不会改变。但现在还有其他东西与之并存。 陶说：“我们可以让AI进行规模化：解决一千个问题，挑选所有的低悬果。找出所有将问题与方法匹配的方式。” AI并不深入思考。它搜索得更广。系统地将每种技术应用于每个问题。人类无法进行的全面探索。 陶说：“如果有20种不同的技术，将它们全部应用于1000个问题，看看哪些可以解决。这就是今天存在的能力。” 二十种技术。一千个问题。每种组合都经过测试。这是人类需要职业生涯去探索的20,000次尝试。AI以系统的方式完成这一切。 不是未来的能力。是今天。 新的分工出现。人类：持续关注抵抗已知方法的问题。AI：在工业规模上对问题与技术进行全面匹配。 AI通过系统应用识别所有可解决的问题。人类专注于真正需要洞察力的问题。 不是替代数学创造力。自动化搜索，消耗了几个世纪的集体努力，仅仅是为了找出哪些问题适合哪些现有方法。 进步的加速不是因为AI证明了困难的定理。是因为消除了人类在AI通过粗暴的系统应用解决的问题上浪费的时间。 ...