陶哲轩在演讲中探讨了机器如何改变数学研究，特别是机器学习和形式证明助手的应用。他指出，尽管数学界相对保守，但机器的使用在数据处理和实验数学方面逐渐增加。机器学习帮助数学家发现数据中的模式，促进了合作和新方法的探索。形式证明助手提高了数学证明的验证效率，未来可能推动数学研究的发展。