数学家陶哲轩刚刚自曝,在GPT-4发布之前就从微软那里获得了访问资格。也就是和微软154页《AGI的火花》论文里同款,未经过安全训练但能力更强的满血版。他让GPT-4针对论文提出问题来准备讲座。他让GPT-4生成数学证明,并发现过去阅读人类作品的经验完全不适用了。
对于AI在数学研究中的表现,他给出的大胆却又严谨的预言:当与形式证明验证器、互联网搜索和数学符号包等工具整合时,2026年的AI,如果使用得当,将成为数学研究中值得信赖的共同作者,而且在许多其他领域也是如此。除了数学研究,他也把GPT-4用在了生活中。他经常使用GPT-4回答一些随意、措辞含糊的问题,这些问题以前需要在搜索引擎里精心调整关键词才行。
还有一位亲戚拿到重症诊断的同事,被GPT-4写的慰问信感动得哭了。在对话中,GPT-4可以充当富有同情心的倾听者、热情洋溢的反馈者、富有创造力的灵感来源、翻译者或教师,又或是魔鬼的代言人。微软邀请他依据自己的体验写了一篇文章,在开头处他总结到:在过去的几十年里,人类已经习惯了从信息技术中期待某些东西……随着GPT-4等生成式AI工具的出现,所有这些期望都需要重新校准,如果不是完全放弃的话。