陶哲轩，著名数学家，早在8月便试用了OpenAI o1的完整版，远早于公众。他在测试中发现，该模型能够成功识别克莱姆定理，并给出“完全令人满意的”答案，相较于之前的模型，整体性能提升明显，但在细节处理和创新方面仍有限。陶哲轩形象地将模型比喻为“平庸但有小能力的研究生”，指出若提供额外资源如代数软件，模型性能可显著增强。此次测试在HackerNews等平台引发热议。此外，陶哲轩通过三轮测试对比了ChatGPT与o1，显示后者在理解和解决问题时更为条理化，且能够找到合适的数学定理解决复杂问题。在数学研究层面，大模型的应用已渐趋日常化，如用户wenc分享，借助大模型能高效生成MIP公式，节省大量研究时间。陶哲轩表示，未来大模型在数学领域的应用有望更加广泛，但强调其价值取决于用户对提示词的运用技巧，而非模型本身。