数学：陶哲轩如何将GPT-4作为“专业数学合作者”

最近看到一篇文章挺有意思的，之前知道陶哲轩用上了无阉割版的GPT-4，辅助他更好工作，他具体是怎么与之合作的呢，这篇文章里详细记录了过程和Prompts：​

https://www.36kr.com/p/2316755186068736

摘录几段内容：

1.
陶哲轩解决了什么新问题？​

陶哲轩研究的问题，是一个两天前在数学网站MathOverflow上更新的提问。​

这个名叫“优雅的递归之A301897”问题，具体长这样：

其中，A301897是一个被整数数列网站OEIS收录的数列：

这个数列中有一系列来自长度为n的排列b的数，它们有一个共同点，就是满足Diaconis-Graham不等式且等号成立。​

Diaconis-Graham不等式由戴康尼斯（Persi Diaconis）和葛立恒（没错，就是“最大数”之父Ronald Graham）于1977年共同提出，属于概率统计方面的研究。​

显然，这一大段提问中不仅夹杂着大量专业数学公式，而且还涉及需要跳转的网页资料。​

作为数学公认不太好的“数学菜鸡”，GPT-4真的能像一名专业数学家那样快速读懂公式、给出解决问题的专业建议吗？​

事实上，相比直接把问题复制粘贴给GPT-4，陶哲轩做了三件事：​

•
首先，做一些提示工程，明确GPT-4的“身份”和“目标”。其中身份是“一个擅长给技巧性建议的数学合作专家”，目标是“提供一些建议”而非解决问题。​

•
然后，相比直接把大段公式复制进GPT-4提问栏（确实可以这样做），陶哲轩选择将问题描述转成Markdown格式。​

•
最后，涉及需要GPT-4自己查找资料的内容，陶哲轩将它转变成一个引用注释，并在结尾给出网址。​

完整的提问过程长这样：

数学：陶哲轩如何将GPT-4作为“专业数学合作者”​