首先你得知道奥数培养的是什么能力。 奥数培养的是「用低阶数学工具解决高阶数学问题」的能力。 问题是这个能力并没有什么用，真正有用的是「发明高阶数学工具」的能力。 面对高阶数学问题，不用高阶数学工具，而用低阶数学工具，并美其名曰培养思维。是何异于，面对万亩农田，不用大型农机，而用手工农具，并美其名曰工匠精神。 连伽罗瓦这种天才，都是先发明高阶数学工具（抽代），再解决高阶数学问题（证明五次多项式无根式解…

我倒是不太担心o1把国内的AI甩得太远。o1这种类似于CoT的模式能成功，说明原本那些模型（GPT-4o, Claude 3.5 Sonnet等等）的上限是非常高的，只是之前的推理范式不给它们足够的token数思考。用GPT-4o mini做的o1 mini推理能力也这么强，更加证明推理能力和模型本身智力的关联并没有那么大。 现在OpenAI把reasoning这条路走通了，有理由相信Anthropic, xAI, 阿里，幻方都可以在几个月内跟上。也许最终的完成度没有OpenAI那么高，…

这一类的事情屡见不鲜。是骡子是马拉出来溜溜就好了嘛。 当年象棋圈子特级大师郑惟桐质疑王天一这个没有师门的人横空出世可能是用了软件作弊，公开质疑，并在比赛上私自带了信号屏蔽器。 王天一的态度也很简单，你要质疑没问题，我可以跟你下十番棋。接受你的信号屏蔽器。 比赛正面赢下郑惟桐，狠打了蜀山少侠的脸，之后无人再怀疑王天一作弊。 有实力，面对质疑直接正面给质疑的人俩耳光就得了嘛。