数学家利用chatgpt做数学研究

有一位著名的数学家陶哲轩（Terence Tao）曾经在网上分享过他如何使用ChatGPT来辅助他的数学研究。他认为ChatGPT虽然数学能力不强，但是可以作为一个发散思维的工具，帮助他寻找公式、提示、术语等相关信息。他还用ChatGPT来改写论文语句、查询小语种数学名词的发音等。

陶哲轩给出了一些具体的例子，比如说他用ChatGPT来解决同事提出的一个问题，虽然ChatGPT给出的答案是错误的，但是它提到了一个高度相关的术语：对数矩生成函数，并且给出了一个具体的例子。陶哲轩仔细分析了ChatGPT的解答过程，发现它用到了一个和标准答案很接近的公式。他还用儿子帮忙做的ChatGPT手机短信版来证明有无穷多个素数，发现ChatGPT给出了一个他从未见过的论证思路。

陶哲轩总结说，ChatGPT在处理数学问题时可以做一些半成品的语义搜索工作，也就是说不用提供确切的答案，只用生成一些可能的提示。然后结合传统搜索引擎就可以找到答案。他还把传统计算机软件和AI工具做了一个类比：传统计算机软件就像是数学中的标准函数，比较死板；AI工具更像是数学中的概率函数，会更加灵活。

陶哲轩对AI在数学研究中的应用非常感兴趣，他还组织了一场机器学习辅助证明主题研讨会，展示了很多前沿成果。他还分享了如何用数学结合机器学习预测火灾变化等实际问题。

这些例子可以说明数学家利用ChatGPT做数学研究是有可能和有价值的。当然，这也需要数学家有足够的专业知识和创造力，以及对AI工具有正确和合理的期待和使用方式。