著名数学家陶哲轩在使用大模型AI工具解决数学问题时发现，对初学者帮助有限，但在编码和创建论文等高级任务中非常有用。他认为专家可以利用AI工具完成高水平任务，尽管需要对输出结果进行检查。陶哲轩强调了AI教育和输出验证的重要性，认为它们是现代世界必备的技能。