衡宇 萧箫 发自 凹非寺量子位 | 公众号 QbitAI

鹅妹子嘤，天才数学家陶哲轩搞数学研究，已经离不开普通人手里的“数学菜鸡”GPT了！

就在他最新解决的一个数学难题下面，陶哲轩明确指出自己“使用了GPT-4”，后者给他提出了一种可行的解决方法。

借助GPT-4，他不仅成功地突破了这一难题，还将答案分享在了MathOverflow上：

它给我提供了最终的解题思路，接下来我只需要继续计算就行。

为了给更多数学家分享用GPT-4工作的便利性，陶哲轩还将自己的聊天记录po了出来，里面完整地记载了他和GPT-4的对话。

不仅如此，戳对话记录底部的“continue this conversation”按钮，还能一键把对话记录导入自己的ChatGPT中，突然闯入人类大师和AI的交谈。

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

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

GPT-4很快给出了对应的回答，这也促使陶哲轩对另一个问题产生了新的灵感。

简单来说，陶哲轩在短短两段与GPT-4的对话中，展示了数学家使用GPT-4的正确姿势——找灵感和查资料。

这样一来，即使“数学菜鸡”如GPT-4，也能成为数学家的AI助理了。

分享人类大师和AI的聊天记录之余，陶哲轩的乳齿象博文里还附带着一份贴心指南，是他使用ChatGPT和GPT-4的经验之谈。

根据他过去的实操经验，最要紧的第一点：

不要试图让AI直接回答问题，因为这几乎肯定会得到一些看起来专业的废话。

为了避免GPT成为废话文学大王，行之有效的方案如下：

让AI扮演合作者的角色，而后让它提供策略建议。

Like this：

而且他还自曝，在GPT-4发布之前，他本人就从微软那里获得了访问资格。

也就是和微软154页《AGI的火花》论文里同款，未经过安全训练但能力更强的满血版。

除了数学研究，GPT-4已经是陶哲轩生活中的全方位小助手了。

他经常使用GPT-4回答一些随意、措辞含糊的问题，这些问题以前需要在搜索引擎里精心调整关键词才行。

还有位同事，因为亲戚拿到重症诊断而郁郁寡欢。为此，陶哲轩让大手一挥，让GPT-4洋洋洒洒写了封慰问信。

结果呢？同事眼含热泪，被感动哭了。

加入陶哲轩和GPT-4的对话：https://chat.openai.com/share/53aab67e-6974-413c-9e60-6366e41d8414

参考链接：[1]https://mathoverflow.net/questions/449361/elegant-recursion-for-a301897[2]https://mathstodon.xyz/@tao/110601051375142142[3]https://finmath.stanford.edu/~cgates/PERSI/papers/77_04_spearmans.pdf

— 完 —

量子位 QbitAI · 头条号签约

关注我们，第一时间获知前沿科技动态