陶哲轩在演讲中指出，人工智能（AI）并非要取代数学家，而是帮助扩展数学研究的范围。他强调形式验证是促进大规模数学协作的关键，能够解决信任问题。他的项目在三个月内解决了2200万道代数题，展示了AI与人类合作的潜力。AI应被视为工具，帮助处理大量中等难度问题，让数学家专注于更复杂的挑战。