即刻App年轻人的同好社区
下载
App内打开
歸藏
567关注28k被关注50夸夸
产品设计师、模型设计师、 不会代码的独立开发者。
关注人工智能、LLM 、 Stable Diffusion 和设计。
歸藏
14:35
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
00
歸藏
13:58
谷歌昨天晚上上线了 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。

不过现在才开始训练的话,等出来怎么着也得年底了,应该还是按他们正常的迭代顺序去迭代。

只是谷歌现在的模型迭代速度,在一众两三个月、甚至一个月一版的模型面前,感觉确实有点太慢了。
10
歸藏
13:51
没想到小红书模型训的也可以啊,我一直以为他们只做一些 Agent 方面的事情。

刚才看到他们在 2026 年的国际奥林匹克数学竞赛(IMO)上,那个 dots-note-3.0以 42 分的满分成绩获得了满分金牌的认证,超过金牌线 13 分。这应该是第一次有模型在IMO官方评卷里拿到满分。全球范围内都是。

IMO 主要是证明题,没有选择题之类的对错题,要看论证过程是否准确严密,需要评委去评审。模型在某一个题目上用了非常新颖的解法。

我查了一下,这个模型是dots-note-3.0 的内部版本,应该是 dots 3 中最轻量的模型,近期也会开源,感觉他们在模型上也发力了。

刚好昨天,Anthropic 的数学家用 Fble 5 证明了雅可比猜想的反例,这也说明大模型在数学发现上的重要性越来越强,而且能力上也越来越强了。
00
歸藏
2天前
昨天 Twitter 上讨论最热的一条内容,超过了两千万次浏览。

Anthropic 的一个数学家用 Fable 5 随手证明了一个雅可比猜想的反例。

这个猜想 87 年来一直没有人能证明是对是错,甚至还上过 21 世纪 18 大数学难题名单。

随后,OpenAI 的人在他们内部的 Codex 版本(不联网的版本)中,也独立证明了类似的反例。

这说明这确实是 Fable 5或者更高等级的 GPT 模型可以独立证明出来的数学难题。

而且 有意思的事,这个问题一直是张益唐博士的博士论文想要解决的问题。

当时张益唐因为他教授提出的一个引理,试图从这个方向去解决这个题,结果一直无法证明,导致毕业后长期找不到工作,只能在快餐店打工,甚至无家可归。

后来他靠证明“素数间的有界间隙”才一举成名。

很有意思的是,当年他的导师给了他一个错误的引理去证明这事,而现在 AI 随手就给解决了。顺便大家还讨论了一下学术界“有毒导师”的问题。

这明明是一个非常难的数学问题,但这哥们儿就随手发了一条推特,里面只有一串公式,没有什么期刊,也没有什么论文,甚至连 Twitter 的字符限制都没超过,而且还获得了两千万的浏览量。从传播学上也是一个非常值得讨论的例子。
97
歸藏
3天前
歸藏
4天前
Anthropic 刚才再次大规模封号,很多用了好几年的号也都被封了,我刚买的也没了
288
歸藏
4天前
Anthropic 可真鸡贼啊!

20 号开始,Fable 5 的限额会相较于之前再减少 25%,相当于缩水了一半。

因为从 5 月开始到 7 19 号,他们有一个政策是会员的周限额会提高 50%,等于是你在 5 月到现在,所有的总限额是正常情况下的 150%。

所以,Fable 5 的限额其实是你原来应该得到限额的 75%。

但是从 19 号这个活动结束以后,你的 Fable 5 和你总的限额,在不管是 100 美元还是 200 美元的情况下,都会减少 50%。

所以整体上来看,全都缩水了。
43
歸藏
5天前
果不其然,Claude 宣布 Fable 5 将会长期内置在 max team premium 的计划里面,限额是 50%。

估计是由于 OpenAI Kimi K3 的推出的压力带来的,这次不延期直接内置了。

PRO 和其他 team 会员只能通过积分访问。会一次性获得 100 美元的积分
35
歸藏
5天前
虽然人没去 WAIC,但是东西去了。
50