即刻App年轻人的同好社区
下载
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
2 00
谷歌昨天晚上上线了 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。
不过现在才开始训练的话，等出来怎么着也得年底了，应该还是按他们正常的迭代顺序去迭代。
只是谷歌现在的模型迭代速度，在一众两三个月、甚至一个月一版的模型面前，感觉确实有点太慢了。
3 10
没想到小红书模型训的也可以啊，我一直以为他们只做一些 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 证明了雅可比猜想的反例，这也说明大模型在数学发现上的重要性越来越强，而且能力上也越来越强了。
0 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 的字符限制都没超过，而且还获得了两千万的浏览量。从传播学上也是一个非常值得讨论的例子。
41 97
22 41
Anthropic 可真鸡贼啊！
从 20 号开始，Fable 5 的限额会相较于之前再减少 25%，相当于缩水了一半。
因为从 5 月开始到 7 月 19 号，他们有一个政策是会员的周限额会提高 50%，等于是你在 5 月到现在，所有的总限额是正常情况下的 150%。
所以，Fable 5 的限额其实是你原来应该得到限额的 75%。
但是从 19 号这个活动结束以后，你的 Fable 5 和你总的限额，在不管是 100 美元还是 200 美元的情况下，都会减少 50%。
所以整体上来看，全都缩水了。
从 20 号开始，Fable 5 的限额会相较于之前再减少 25%，相当于缩水了一半。
因为从 5 月开始到 7 月 19 号，他们有一个政策是会员的周限额会提高 50%，等于是你在 5 月到现在，所有的总限额是正常情况下的 150%。
所以，Fable 5 的限额其实是你原来应该得到限额的 75%。
但是从 19 号这个活动结束以后，你的 Fable 5 和你总的限额，在不管是 100 美元还是 200 美元的情况下，都会减少 50%。
所以整体上来看，全都缩水了。
11 43
果不其然，Claude 宣布 Fable 5 将会长期内置在 max 和 team premium 的计划里面，限额是 50%。
估计是由于 OpenAI 和 Kimi K3 的推出的压力带来的，这次不延期直接内置了。
PRO 和其他 team 会员只能通过积分访问。会一次性获得 100 美元的积分
估计是由于 OpenAI 和 Kimi K3 的推出的压力带来的，这次不延期直接内置了。
PRO 和其他 team 会员只能通过积分访问。会一次性获得 100 美元的积分
32 35
