ChatGPT已成为数学家陶哲轩的研究助手，帮助他解决从寻找公式到查询数学名词发音等多种问题。陶哲轩认为传统的计算机软件就像数学中的标准函数，而AI工具则更像是概率函数，更加灵活。ChatGPT在解答问题时用到了lmgf公式，并且给出的论证思路之前陶哲轩从未见过。虽然有时候给出的答案不完全正确，但ChatGPT在数学研究中发挥着重要作用。