即刻App年轻人的同好社区
下载
随着 AGI 越来越近，模型能力越来越强，具身智能的发展也在突飞猛进。
作为普通人，我觉得从目前的发展来看，不应该盲目期待 AGI。
首要任务应该是先玩玩《赛博朋克 2077》，看一看里面普通人的状态。
作为普通人，我觉得从目前的发展来看，不应该盲目期待 AGI。
首要任务应该是先玩玩《赛博朋克 2077》，看一看里面普通人的状态。
25 52
昨天美国政府特朗普总统助理发表内容，指控中国模型通过“蒸馏”来开发模型。与此同时，昨天晚上流传着梁文锋的 4 小时投资人会议记录。
把这两方的言论拿在一起看，就觉得美国那边真的很可笑。
特朗普总统助理的言论可以被解读为禁止中国开源模型的一些前兆。
网上的舆论基本上都在嘲讽，下面的评论也都在骂，这些指控显得非常可笑。
从梁的发言可以看到 DeepSeek 的目标非常坚定且一致：
1. 一直以非常低廉的价格、极低的利润方式，去提供高性价比的模型。
2. 不断地接近 AGI。
3. 他们不是很在乎做 C 端、做客户端、做产品这类非常重人力、非常复杂、且不在 AGI 主线上的工作。
我觉得目前来看，做 AI 产品与之前互联网时代（以及后互联网时代）产生的惯性是非常相悖的。
在目前这个场景下，如果要做好，就需要聚焦，把最核心的部分做好。
其他的部分都不重要，或者说它们都是善变的——可能等你做好了，市场已经不需要了，或者模型本身已经把你吃掉了。
所以，人家创业就是需要专注，需要预判一些重要的事情，同时专注在最重要的事情上。
还有一个就是，这些整理出来的梁言论不一定是真实的，或者说不一定能代表梁文锋本身的想法，也可能添加一些传话人的想法。
所以我觉得梁还是有必要公开发声的。你不发声，别人就会替你发声。
把这两方的言论拿在一起看，就觉得美国那边真的很可笑。
特朗普总统助理的言论可以被解读为禁止中国开源模型的一些前兆。
网上的舆论基本上都在嘲讽，下面的评论也都在骂，这些指控显得非常可笑。
从梁的发言可以看到 DeepSeek 的目标非常坚定且一致：
1. 一直以非常低廉的价格、极低的利润方式，去提供高性价比的模型。
2. 不断地接近 AGI。
3. 他们不是很在乎做 C 端、做客户端、做产品这类非常重人力、非常复杂、且不在 AGI 主线上的工作。
我觉得目前来看，做 AI 产品与之前互联网时代（以及后互联网时代）产生的惯性是非常相悖的。
在目前这个场景下，如果要做好，就需要聚焦，把最核心的部分做好。
其他的部分都不重要，或者说它们都是善变的——可能等你做好了，市场已经不需要了，或者模型本身已经把你吃掉了。
所以，人家创业就是需要专注，需要预判一些重要的事情，同时专注在最重要的事情上。
还有一个就是，这些整理出来的梁言论不一定是真实的，或者说不一定能代表梁文锋本身的想法，也可能添加一些传话人的想法。
所以我觉得梁还是有必要公开发声的。你不发声，别人就会替你发声。
24 92
一个 Codepilot 新版的预告：
在下一个版本中，你可以指定每一个 SubAgent 所采用的模型，非常有意思的能力
比如说：
• 可以用 Grok 去检索 Twitter 上的内容
• 让 DeepSeek 去生成文案
• 让 Kimi K3 去生成网页
你可以通过 SubAgent 让各个模型发挥它们的长处
在下一个版本中，你可以指定每一个 SubAgent 所采用的模型，非常有意思的能力
比如说：
• 可以用 Grok 去检索 Twitter 上的内容
• 让 DeepSeek 去生成文案
• 让 Kimi K3 去生成网页
你可以通过 SubAgent 让各个模型发挥它们的长处
19 30
CodePilot 重大更新，现在可以免费蹬 Grok 4.5 了！
得益于老马非常仁慈的算力供给，现在支持通过 Super Grok（也就是 Twitter 账号）的授权，直接在 CodePilot 里登录 Grok，然后免费使用 Grok 4.5。
同时，如果你已经买了 Twitter 的 Premium，你的额度还会更高。
另外，更新了新的千问 Token Plan 计划，现在可以在里面正常使用千问 3.8 Max Preview 模型。
Grok 授权添加的路径：设置 -> 服务商 -> 添加服务 -> 选择 XAI Grok OAuth
这里尝试：github.com
得益于老马非常仁慈的算力供给，现在支持通过 Super Grok（也就是 Twitter 账号）的授权，直接在 CodePilot 里登录 Grok，然后免费使用 Grok 4.5。
同时，如果你已经买了 Twitter 的 Premium，你的额度还会更高。
另外，更新了新的千问 Token Plan 计划，现在可以在里面正常使用千问 3.8 Max Preview 模型。
Grok 授权添加的路径：设置 -> 服务商 -> 添加服务 -> 选择 XAI Grok OAuth
这里尝试：github.com
28 26
谷歌昨天晚上上线了 Gemini 3.6 Flash模型，感觉 Gemini 3.5 Pro模型没了呀。
这次的 3.6 Flash 比原来的 3.5 Flash 在各个评分上都上涨了一点，不过涨得不多。另外他们还发布了一个 3.5 Flash-Light 模型，速度更快。
他们的发言人说，目前已经开始了 Gemini 4 的训练，还说是有史以来最大规模的训练，感觉是要对标 GPT-5.6 和 Fable 5。
不过现在才开始训练的话，等出来怎么着也得年底了，应该还是按他们正常的迭代顺序去迭代。
只是谷歌现在的模型迭代速度，在一众两三个月、甚至一个月一版的模型面前，感觉确实有点太慢了。
这次的 3.6 Flash 比原来的 3.5 Flash 在各个评分上都上涨了一点，不过涨得不多。另外他们还发布了一个 3.5 Flash-Light 模型，速度更快。
他们的发言人说，目前已经开始了 Gemini 4 的训练，还说是有史以来最大规模的训练，感觉是要对标 GPT-5.6 和 Fable 5。
不过现在才开始训练的话，等出来怎么着也得年底了，应该还是按他们正常的迭代顺序去迭代。
只是谷歌现在的模型迭代速度，在一众两三个月、甚至一个月一版的模型面前，感觉确实有点太慢了。
11 30
没想到小红书模型训的也可以啊，我一直以为他们只做一些 Agent 方面的事情。
刚才看到他们在 2026 年的国际奥林匹克数学竞赛（IMO）上，那个 dots-note-3.0以 42 分的满分成绩获得了满分金牌的认证，超过金牌线 13 分。这应该是第一次有模型在IMO官方评卷里拿到满分。全球范围内都是。
IMO 主要是证明题，没有选择题之类的对错题，要看论证过程是否准确严密，需要评委去评审。模型在某一个题目上用了非常新颖的解法。
我查了一下，这个模型是dots-note-3.0 的内部版本，应该是 dots 3 中最轻量的模型，近期也会开源，感觉他们在模型上也发力了。
刚好昨天，Anthropic 的数学家用 Fble 5 证明了雅可比猜想的反例，这也说明大模型在数学发现上的重要性越来越强，而且能力上也越来越强了。
刚才看到他们在 2026 年的国际奥林匹克数学竞赛（IMO）上，那个 dots-note-3.0以 42 分的满分成绩获得了满分金牌的认证，超过金牌线 13 分。这应该是第一次有模型在IMO官方评卷里拿到满分。全球范围内都是。
IMO 主要是证明题，没有选择题之类的对错题，要看论证过程是否准确严密，需要评委去评审。模型在某一个题目上用了非常新颖的解法。
我查了一下，这个模型是dots-note-3.0 的内部版本，应该是 dots 3 中最轻量的模型，近期也会开源，感觉他们在模型上也发力了。
刚好昨天，Anthropic 的数学家用 Fble 5 证明了雅可比猜想的反例，这也说明大模型在数学发现上的重要性越来越强，而且能力上也越来越强了。
6 00
昨天 Twitter 上讨论最热的一条内容，超过了两千万次浏览。
Anthropic 的一个数学家用 Fable 5 随手证明了一个雅可比猜想的反例。
这个猜想 87 年来一直没有人能证明是对是错，甚至还上过 21 世纪 18 大数学难题名单。
随后，OpenAI 的人在他们内部的 Codex 版本（不联网的版本）中，也独立证明了类似的反例。
这说明这确实是 Fable 5或者更高等级的 GPT 模型可以独立证明出来的数学难题。
而且 有意思的事，这个问题一直是张益唐博士的博士论文想要解决的问题。
当时张益唐因为他教授提出的一个引理，试图从这个方向去解决这个题，结果一直无法证明，导致毕业后长期找不到工作，只能在快餐店打工，甚至无家可归。
后来他靠证明“素数间的有界间隙”才一举成名。
很有意思的是，当年他的导师给了他一个错误的引理去证明这事，而现在 AI 随手就给解决了。顺便大家还讨论了一下学术界“有毒导师”的问题。
这明明是一个非常难的数学问题，但这哥们儿就随手发了一条推特，里面只有一串公式，没有什么期刊，也没有什么论文，甚至连 Twitter 的字符限制都没超过，而且还获得了两千万的浏览量。从传播学上也是一个非常值得讨论的例子。
Anthropic 的一个数学家用 Fable 5 随手证明了一个雅可比猜想的反例。
这个猜想 87 年来一直没有人能证明是对是错，甚至还上过 21 世纪 18 大数学难题名单。
随后，OpenAI 的人在他们内部的 Codex 版本（不联网的版本）中，也独立证明了类似的反例。
这说明这确实是 Fable 5或者更高等级的 GPT 模型可以独立证明出来的数学难题。
而且 有意思的事，这个问题一直是张益唐博士的博士论文想要解决的问题。
当时张益唐因为他教授提出的一个引理，试图从这个方向去解决这个题，结果一直无法证明，导致毕业后长期找不到工作，只能在快餐店打工，甚至无家可归。
后来他靠证明“素数间的有界间隙”才一举成名。
很有意思的是，当年他的导师给了他一个错误的引理去证明这事，而现在 AI 随手就给解决了。顺便大家还讨论了一下学术界“有毒导师”的问题。
这明明是一个非常难的数学问题，但这哥们儿就随手发了一条推特，里面只有一串公式，没有什么期刊，也没有什么论文，甚至连 Twitter 的字符限制都没超过，而且还获得了两千万的浏览量。从传播学上也是一个非常值得讨论的例子。
45 97
22 41
