📁 特伦斯·陶，菲尔兹奖数学家，表示数学可能成为AI最安全和最强大的领域。 语言模型可能非常聪明，也可能完全错误，但在数学中，每一个主张都必须经过逻辑的检验，甚至可以通过证明助手进行验证。 在其他领域面临不可靠性时，数学可以消除噪音，仅保留真实的内容。