北京
一刻 talks | 思想实验
8月9日，2026国际基础科学大会上，丘成桐站在台上，说了一句话：
“人类独有的原创思想不会被机器代替”
8天前，8月1日，OpenAI的Astra做了一件事：用2000美元的算力成本，解了十个悬置十年以上的数学难题，每个题平均一小时。
一个是最强AI，一个是最懂数学的人。
AI刚刚在数学界投下一枚震撼弹，丘成桐没有说"AI很厉害"，他说的是，"原创思想"这四个字，不在AI的赛道里。
丘成桐在开幕式上致辞
他不是在给人类打气，他是在划一条线，这道线比任何技术参数都重要，因为它是人类和AI之间唯一还没有被越过的边界。
这对你意味着什么？ 这跟你有什么关系？你不需要解数学题，但你的工作和AI的边界，跟数学题和AI的边界是同一条线。 AI能把你十年能做的事压缩到一个小时，它解得了你做过的问题，但有一件事它做不了：当你面前摆了十件可以做的事，你选了其中一件说"就是这个"，那个选择的瞬间，AI永远没有。 丘成桐说的"原创思想"，不是多聪明，是你能从一个问题跳到另一个问题的联想力，是你能从一个错误里长出新的方向。AI解得了题，但AI不会自己问出那道题。
十个数学题
和一个AI没有回答的问题
Astra解的十个题，每一个都在数学界挂了十年以上，不是没有人试过，是试了十年，没做出来。
2000美元，一小时一题，十个全破。
如果你是一个数学家，看到这条新闻的第一反应是什么？后背发凉，但丘成桐没有说AI会替代数学家，他说的是：AI替代不了"原创思想"。
被Astra解出的10道难题
什么叫原创思想？Astra比所有活着的人类数学家加起来算得都快，但这十个题有一个共同特征：
它们已经被"提出来"了，有人在十年前定义了问题的边界、框定了假设条件、指明了目标方向，Astra只是沿着这些设定好的参数一路推进到了终点。
丘成桐说的"原创思想"，是那个在十年前决定"这个问题值得问"的瞬间，没有那个瞬间，就没有后面AI的一小时，AI解题的前提，是人类先问了题。
一个AI永远跨不过去的坎
AI可以证明一个猜想，AI不能决定哪个猜想更值得证明。
这不是技术差距，是范畴差距，证明猜想是"从A到B"的逻辑推演，AI在逻辑推演上碾压人类。
但"从A到B值得吗"是一个价值判断，没有标准答案，没有最优路径，只有一个活人根据自己的直觉、经验、甚至偏见做出的选择。
丘成桐本人的经历就是最好的例子。
他在1976年证明了卡拉比猜想，这个猜想之所以被挑出来，不是因为它最难，不是因为它在数学体系里有一个固定的重要性排序，而是因为丘成桐觉得"这个值得赌"，他赌了六年，最后赢了。
丘成桐与卡拉比在巴黎综合理工学院
AI能在六小时之内把证明过程优化得更漂亮，但那个"我赌卡拉比"的瞬间，AI做不出来，不是因为算力不够，是因为AI没有"赌"这个概念。
原创不是第一次想到，是第一个敢赌
很多人搞混了"原创"和"第一次"。
AI当然可以"第一次"做到很多事，Astra解的十个题，每一个都是人类数学史上AI的第一次，但"第一次"不等于"原创"。
原创不是产出了一件没人产出过的东西，是你在别人都在做A的时候选择了B，并且在所有人说B不对的时候坚持了B。
1976年，新婚不久的丘成桐
便完成了卡拉比猜想的证明
丘成桐选了卡拉比；李飞飞选了ImageNet，那时所有人都在做模型架构，她在做数据；DeepSeek选了开源，那时所有人都在闭源烧钱。
这些选择没有一个是AI能做的，不是AI不够格，是"选择的方向对不对"只有在回头看的时候才知道，而AI不会回头看，它只有向前算。
边界不在解法，在问法
丘成桐的这句话，放在Astra解完十个题之后听，意思完全不同了。
他不是在说"AI不够强所以威胁不到我们"，也不是在说"人类很厉害所以不用担心"，他是在做一件数学家最擅长的事——定义边界。
AI能做的事和人类能做的事之间的边界，不是解法强不强，是你有没有能力问出一个AI自己永远问不出来的问题。
2026国际基础科学大会开幕了500多场学术会议，覆盖大模型、人机交互，全场最安静的一句话，是一个数学家说的：原创思想不会被机器代替。
不是因为有信心，是因为他算过了。
明天，我们聊聊，600亿，马斯克买的不是一家公司——是让市场上再也没有第二家Cursor……
关注「一刻talks」
我们不替你划边界，我们帮你看清楚，AI从你身上拿不走的，不是你比别人强在哪，是你跟所有人都不一样的那一点。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
