天才数学大佬如何“调教”ChatGPT-4?

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

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

天才数学大佬如何“调教”ChatGPT-4?

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

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

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

天才数学大佬如何“调教”ChatGPT-4?

可以看见,在这份聊天记录中,他把GPT-4称呼为“专业数学合作者”,而不仅仅是一个普通的数学助手。

这个身份属实不一般了,不知道之后陶哲轩写论文的时候会不会把GPT-4列为共同作者(手动狗头)。

天才数学大佬如何“调教”ChatGPT-4?

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

天才数学大佬如何“调教”ChatGPT-4?

陶哲轩解决了什么新问题?

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

天才数学大佬如何“调教”ChatGPT-4?

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

天才数学大佬如何“调教”ChatGPT-4?

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

天才数学大佬如何“调教”ChatGPT-4?

(责任编辑:AK007)