为了解释这个观点，还陶哲轩设计了一个“假如AI早来20年”的思想试验，在这个IF线的世界中，张益唐竞争不过AI还在刷盘子。

ClaudeOpus5.1把上界刷到260，AxiomMath宣布220，OpenAI的GPT-6Astra则在几小时内跟进，报出186。陶哲轩回忆说，这场竞赛已经是AI基准测试文化的一个早期预兆，时间压力驱使作者在论述和验证上偷工减料。然后陶哲轩构建了一条假想时间线：如果今天这种以基准测试为导向的AI公司在2005年就已存在，会发生什么？而在这条时间线的2013年，张益唐仍然在三明治店打工，Maynard则转向了其他研究方向。陶哲轩的这番表态并非突然转向。而AI公司的成果，OpenAI声称的186上界截至目前尚未经过独立验证。