整件事最戏剧性的部分是什么呢？

不是什么人苦心孤诣，卧薪尝胆，十年磨一剑，解决了在数学史上举足轻重的NS 问题。（这是前AI时代大众脑海里想象的数学工作的模样）

是 OAI 听说自己最大的竞争对手 Anthropic 可能解决了 NS 问题的传闻，于是马力全开，用了不超过四天时间（88小时）集中火力， 调度远超任何私人和传统学术机构所能调度的算力资源和最前端模型，消耗约 1300 亿输出 token，直接后发超车一举解决了这个困扰人类几百年的问题。（超车的意思是它们证明出的结果比对手更强）

人类智力工作的面貌再也回不到从前了。