陶哲轩提前实测OpenAI o1满血版，发现其能成功识别克莱姆定理，但缺乏自己的思想。大模型的研究已普及，能解决重要课题。陶哲轩认为大模型的输出效果媲美研究生水平，但需要精准的prompt和验证结果。大模型的差距将在未来几年进一步缩小。大模型的价值因人而异，取决于提示词水平。