2026-09-05 信息流

88 条 · 非中文默认译为简体中文
HK-IPO归档
X: 66微博: 17Podcast: 5
E

“阅读、数学和科学成绩高于全国平均水平,与德国和瑞典的平均成绩相当。”

这是我们试点项目的成果。该项目配备 AI 家教,已在 171 所公立学校运行了一年多。

今年 6 月,该项目接受了 PISA for Schools 评估。自那以来,项目已扩展到 1,000 多所学校,并将在 18 个月内覆盖我国所有公立学校。

几年之内,萨尔瓦多将激励全世界。

安全只是开始 🇸🇻

萨尔瓦多首次参加 PISA for Schools 评估取得的亮眼成绩充分说明,当把学生学习置于核心位置,并让改革真正走进课堂时,教育改革能够实现什么样的成果。

这关乎的不只是一项分数,更是整整一代人的未来,以及他们在劳动力市场中的发展前景。

这些来自一组学校的初步发现表明,这是一条值得继续探索的道路。世界银行集团很自豪能够支持萨尔瓦多加强教育、为未来一代又一代人拓展机会。

有关该评估的更多信息:https://bit.ly/4x7q1zQ

G

Anthropic 上市前的博弈帖。纯属猜测,但分享出来,想听听大家的看法。

Anthropic 将 ARR(年度经常性收入)的核算从总额改为净额,并从其 650 亿美元 ARR 数字中剔除了 Meta 和中国蒸馏带来的部分。有人推测 Meta 的 ARR 超过 50 亿美元,因此把这部分去掉后,即使 Meta 在上市后不久关停相关合作——这被广泛认为很可能发生——Anthropic 也能轻松承受。此举也会降低 Meta 关停相关合作的概率,具体还取决于 Watermelon 的质量。一切都很聪明。

然后发布 Fable 5.1,让 OpenAI 有信心发布 Astra。顺带一提,目前大家对 Astra 的感觉非常好。我认为,Astra 的表现可能超出了 Anthropic 的预期。

现在有传闻称,Anthropic 已经解决了 Navier-Stokes 方程,这将非常令人印象深刻。

Anthropic 可能会在 IPO(首次公开募股)之前的某个时间发布 Fable 5.2。除非出了什么岔子,它应该会比 Astra 更好。他们可能还计划展示 9 月 ARR 的显著重新加速,这当然会泄露给媒体。

Grok 4.7、Meta 的 Watermelon 和 ChatGPT 6.1 可能也都会在未来 6 周内发布。这些实验室对各自路线图的信心,都是我过去 18 个月里前所未见的。至于 Gemini 4,我们拭目以待。竞争对手也会影响所有这些计划。

就企业用例而言,Grok Bot 感觉是目前最好的智能体运行框架;就消费者用例而言,Instinct 是一个很有前景的智能体运行框架。竞争对手很快应该也会推出二者的类似版本。Grok Bot 仍在改变我的工作方式。

E

迄今已完成 600 多次自主火箭着陆

大多数人没有意识到,猎鹰 9 号(Falcon 9)已经具备令人难以置信的自主能力。

猎鹰 9 号升空后,几乎整个任务都由火箭自行执行。

而最不可思议的是:

这种自主能力并不依赖生成式 AI。

它来自经过极致打磨的飞行软件、物理学、传感器、控制理论和高级优化技术,并在数百次任务中不断改进。

猎鹰 9 号可以自主完成:

→ 通过闭环制导完成起飞和上升
→ 在精确计算的条件下进行级间分离
→ 执行发动机点火和关机序列
→ 进入轨道并部署有效载荷
→ 完成助推器回推、再入和着陆点火
→ 在下降过程中实时修正制导
→ 在距离海岸数百公里的海上无人船上着陆
→ 当任务安全规则被违反时自主终止飞行

一枚 70 米高的轨道级火箭自行升空、自行分离、自行将有效载荷送入轨道……随后第一级穿过大气层返回,并在距离海岸数百公里的海上浮动平台上自行着陆。

物理学、软件和硬件都经过了近乎荒谬的精密工程设计。

猎鹰 9 号是人类迄今建造的最伟大自主机器之一。

而 SpaceX 让这一切看起来稀松平常。

media
S

Astra 尚未向大众开放时,可能是我们最大的竞争优势。

自从拥有 Astra 以来,我们的生产力大幅提升,因此将部分计划提前了 6 个月,改为在 DevDay 发布,而不是等到明年年中。

S

相较于其他一切,这显然微不足道,但 Astra 能让我制作任何我能想象出的有趣小游戏,而且几分钟后我就能玩到,这实在太酷了。

E

德州应该取缔教育卡特尔!

即便在一个深红州,阴暗的左翼 NGO(非政府组织)也在图谋控制各大机构,积聚巨额公共资金,并利用这些资金对付我们、颠覆民主,以此弥补他们在选举中的失利。

我们正在觉醒并奋起反击。🧵

G

追逐地位的猴子。

我很喜欢把贵族社会和黑猩猩社会进行类比。https://asteriskmag.com/issues/15/after-work-we-ll-have-each-other

阑

一代人有一代人的变脸绝活。

Podcast 节目 跨国串门儿计划

#707.掌控习惯的艺术:用微小行动建立习惯,并在不同人生阶段持续调整

整体概括

James Clear 认为,真正有效的习惯改变并不从宏大的目标、最优的计划或强大的意志力开始,而是从一个足够小、能够稳定重复的动作开始。两分钟定律的重点不是永远只做两分钟,而是先把“出现并开始做”变成可靠的标准,再逐渐优化。每次行动既在累积结果,也在为“我是什么样的人”提供证据;当一个人开始把自己看成读书人、跑步者、创作者或能够坚持的人,习惯就不再只是外部要求,而会成为身份认同的一部分。

本期对话还把习惯放回更大的生活系统中讨论:先广泛试验,找到有效的方法后集中投入,并坚持到它确实失效;用环境设计降低好行为的阻力、提高坏行为的阻力;通过公开失败、复盘和长期重复建立心理韧性。Clear 也谈到作品、声誉、学习、投资和家庭生活,强调高质量产出会创造新的机会,安全边际会让人拥有应对意外的选择权,而所谓努力不只是投入更多时间,也包括思考自己是否在正确的方向上。…
Podcast 节目 跨国串门儿计划

#706.匡灵秀:如何通过观察、模仿与反复打磨,写出有生命力的文字

整体概括

一恺与匡灵秀围绕“作家如何观察、模仿并反复打磨文字”展开长谈。匡灵秀认为,写作的起点不是寻找漂亮的抽象词,而是细致观察身体、他人和现实经验,再把复杂、矛盾的感受转化为具体场景。她也分享了自己通过绘画、辩论、历史资料、模仿练习和多轮修改训练写作的方法,并讨论了人工智能(AI)创作与人类缓慢、带有偶然性的艺术劳动之间的差异。全篇的核心结论是:有生命力的文字来自真实观察、主动冒险和持续修改,而不是某种神秘的天才灵感。

主要内容

匡灵秀首先从写强烈情感谈起。她会把心智分成两半:一半经历悲伤、恐慌或害怕,另一半保持抽离与好奇,观察自己的呼吸、哭泣节奏、身体反应,以及情绪如何压在胸口。她在教学中让学生只描写生理层面,而不要直接写“喜悦”“胜利”或“愤怒”。例如,升职的消息可能带来心率加快、脚趾发麻、胃部翻涌,也可能同时伴随害怕失去机会、担心把事情搞砸等情绪。相互矛盾的感受叠在一起,场景才不会变成“某人收到好消息,感觉棒极了”的空泛陈述。…
阑

突然意识到,苹果的核心管理层(高级副总裁及以上)已经是一个非常老龄化的团队了啊,平均年龄59岁了,51岁的新任CEO特努斯是最年轻的。

media
阑

GPT-6全量推送了!Fable别联系我了,我怕Astra误会⋯⋯

media
高

#模型时代# 正在测试GPT-6,这玩意完全不能用传统提示词,甚至Skill的方式来测试,而是只能扔给它一个真正的工程看结果。

现在看着它操作电脑,更新blender,居然有一种科幻感。很多年前,有一句话叫计算机要从娃娃抓起,现在这个娃娃成了“agent”。有了自动挡汽车汽车之后,很多人不会开手动档了;有了自动驾驶/ 360度监控之后,很多人停车入库也做不到了;所以可能我们也是最后完全手工使用计算机的几代人之一吧。

mediamedia
来

http://t.cn/AX0oOfCc 🤷🤷//@来去之间:这种绿色海藻藤壶,港口刮底就行,都不用入坞PIA~

CVN-72林肯号核动力航空母舰在泰国靠港 😏

看看出海部署272天后的美国航母是什么鬼样子?其斑驳的船身就像一艘快退役报废的战舰😄

林肯号水线之下都变成了绿色,我敢打包票这艘航母2030年之前再也不可能重新部署了 [阴险]

图源网络

#烽火问鼎计划#

mediamediamedia
来

8月美国非农数据意外大增16.2万,远超市场预期。可能是因为外卖爆发

数据真的很离谱,打破了8月非农长期以来的“偏弱魔咒”。

市场预期是5.3-5.6万,一下报告了16.2万,偏离太多了。而且7月从初值的-2.3万上修至+2.1万,6月从+2万上修至+3.1万,两月合计上修5.5万。就是说就业一片红火,没有所谓的就业收缩。

历史统计,在过去23年的8月报告中,有17年(约74%)的数据未能达到市场预期。 这一现象被市场称为“魔咒”。原因是,教育行业每年七八月学校暑假导致大量临时岗位消失;夏季制造业常进行设备维护与更新,伴随暂时性裁员。

美国这次8月就业意外大幅增长,最大单项来源是餐饮酒吧行业,新增5.9万个岗位。这远高于过去12个月平均每月1.2万人的增幅,强度超出预期。另外一个因素是,7月地方政府教育部门就业大减5万人,8月反弹增加4.2万,基本抵消了前月降幅。算是前面砍,后面加。这两项就是10万人。

美国人为什么忽然一下餐饮就业大增打破规律?诡异的是,美国人下馆子的钱在缩水。艾睿铂2026年全球消费者展望报告指出,美国消费者将缩减外出就餐支出,并优先将额外收入用于储蓄,储蓄意愿较2025年上升4个百分点。约四成消费者减少了外出就餐次数,但彻底不去的人不多。更多人采取“从每周3次降到每周1次”的策略。

专家分析,8月的5.9万新增就业,很可能集中在快餐、咖啡、外卖平台等低成本、高频次业态,而非高端餐厅。这解释了为什么就业在增、但人均消费在降。消费者用总支出下降,但交易频次和用工密度反而上升。餐饮就业增长更多来自后厨产能扩张、外卖打包、配送支持等岗位,而非传统意义上的服务员。这些岗位的增加反映的是消费模式转移,从堂食转向外卖,而非消费总量的增长。

美国餐厅每月有高达71.5万人离职。 8月可能不是在扩招满足新增需求,而是在持续填补离职造成的空缺。这不是因为美国人越来越爱下馆子,正相反,点外卖变多了。

美国金融市场的离谱在于,一些数据波动容易被解释为形势一片大好,或者很糟糕。非农数据近年来变化极大。一会ICU,一会KTV。应该是就业市场在发生激烈变化。

media
高

#模型时代##gpt6正式发布# 用gpt-6模拟一个世界,模拟世界中的agent又继续模拟……。

gpt6的用例中,Matt Shumer的这个最有趣。Matt是提示词专家,以前分享过蛮多的。而且他曾经设想过,通过提示词的方法,给模型加think标签,让模型性能提升,最后事实证明是不能,但是也和后边的推理模型蛮接近了。

有点跑题了,说回这个case。

Matt先让 GPT-6 Astra在 Unreal Engine里建出一个生存世界,再往里面放进一批由 Astra驱动的人类智能体,要求他们必须互相合作才能活下去。一天后,他在卧室里突然听到客厅传来说话声,一度以为家里进了人。走出去才发现,是模拟里的智能体自己开始交谈了。(视频一)

接着他又往这个世界里放进一台能写代码、能跑模拟的电脑。其中一个智能体坐下来,自己写了一套新世界,并让里面也住进一批智能体。视频里能看到它在屏幕上定义水源、庇护所、长椅和果园,随后画面切到俯视,那个更小的聚落里已经有角色在走动。(视频二)

当然,Matt自己也说,这个实验其实有点“送分”:因为把能跑模拟的电脑直接交给它们,智能体去做嵌套模拟并不算太意外。不过,模拟世界中的模拟世界,依然是第一层模拟世界的智能体自己决定的。可以看作“递归”。

高

mark先 //@成一虫:看了,不错。刘慈欣原著粉的我,表示认可。//@徒法无以自行://@马少平THU:先收藏,哪天闲了看😄//@刘群MT-to-Death:太好看了!大刘这想象力也真是无敌了👍,也完全没有想到,我能从头到尾看完一部纯AI制作的90分钟电影!//@刘群MT-to-Death:这么好吗?先马一下。//@青枚煮菁瓜:码//@三个老爸实验室:《山》真的脑洞开的合理的一批//@史老柒:附议右边,这文案大佬有点东西,不只是山这一部小说,属于大串烧,而且还烧的很合理👍//@猫爪玩数码-爱机喵:好多刘慈欣别的作品里面的元素被融入到这里了,太棒了。这导演有点东西,先不说ai的画面,就光这个改编原著的部分都不知道比某些作品好了多少,太棒了这个。

刘慈欣的《山》居然有人做了AI版电影,最牛的是居然长达90分钟!真的是电影啊……码住慢慢看!B站:野生锅导演#我在微博聊电影#

G

Astra 帮你处理个人生活和工作事务

值得一试的 9 个 GPT 6 Astra 酷炫提示词:

1. 账单谈判员。

“查看我的网络、电话和软件账单,进入每家供应商的聊天客服,把费用谈下来,或者取消我没有使用的服务。”

2. 把代理机构变成软件。

“挑选一个 [细分领域] 的服务型企业,逆向拆解他们卖给客户的确切工作流程。把流程拆分成步骤、所用工具、输入、输出、需要人工判断的节点,以及工作变慢或变贵的环节。然后设计出最简单的 AI 产品,替代该服务的第一版,并按每月 500 至 5,000 美元收费。”

3. 跳蚤市场倒卖者。

“在我所在城市的 Facebook Marketplace 和 Craigslist 上关注 [相机 / 家具 / 自行车],寻找价格远低于市场价的商品,一旦发现定价错误,就立即把链接发短信给我。”

4. 创建我的一人公司仪表盘。

“查看我的文档、笔记、Stripe 导出数据、分析数据、客户通话记录和项目清单,然后建立一份每周运营者仪表盘。我想知道什么在赚钱、什么在浪费时间、客户在要求什么、我应该停止做什么,以及下周最具杠杆效应的三项行动。直截了当,并展示你的工作过程。”

5. 审计我的公司,寻找智能体机会。

“查看这家企业的运作方式,找出在招聘更多人之前应该交给智能体完成的任务。对于每项任务,估算当前所需的人力时间、出错成本、涉及的工具、自动化难度,以及我们可以部署的第一个安全版本。优先处理能在 30 天内节省成本或创造收入的事项。”

6. 充当我的浏览器操作员。

“使用浏览器完成以下流程:[流程]。执行过程中,点击实际网站,收集数据,并在适当时填写表单,同时记录哪些环节出错或拖慢了你。完成后,给我结果、可重复执行的标准操作流程(SOP)和自动化方案,让它最终能够成为一个智能体。”…

Podcast 节目 跨国串门儿计划

#705.Paul Graham创业的底层规律、狂妄雄心与厉害创始人

整体概括

Vivian Shen 与 Paul Graham 在 YC 最初的办公室里谈创业。Paul 认为,创业跨越时代的底层规律基本不变:真正推动创始人的通常不是对财富的想象,而是对失败、灾难和失控的恐惧;真正厉害的创始人,无论处境如何都能拿到自己想要的东西。AI 改变了工具和成本,却没有改变创业判断、想点子、持续发布和解决问题的核心要求。

主要内容

对话从 YC 第 47 期训练营开始。Paul 解释,所谓 YC 的“美好旧时光”并不一定更好,今天的创业项目更加宏大。谈到“狂妄雄心”,他强调创始人必须有足够强的驱动力,因为创业中的障碍太可怕,单靠责任心无法扛过去。财富可能是结果,但创始人日常更常想着修好服务器、避免失控。

Paul 还区分了真正的创业与把创业当作简历徽章:创业没有容易混的专业,想靠 YC 镀金的人往往低估了它的艰难。…
E

只会越来越好

我已经花了很多很多时间,体验过所有我能接触到的自动驾驶汽车(AV),可以自信地说,Tesla Cybercab 是我迄今体验过最令人愉悦的乘坐体验。

media
E

确实

大多数人完全不知道 Tesla 领先了多少,因为这些车看起来、开起来都和其他汽车差不多。

但在引擎盖之下,Tesla 与其他汽车几乎没有相似之处。每一个部件都已经(或将会)从第一性原理出发重新思考。

即使传统车企有意愿从头开始(但它们并没有),也没有这样的能力。

举个例子:

仅软件一项,Ford 就依赖 150 家不同的供应商。各家的代码库无法整合,Ford 修改代码还必须获得供应商许可。光是理清这团乱麻,就要花上好几年。

我最近给女儿买了一辆新 Toyota,感觉就像回到了过去。无论是购车流程还是汽车本身,大体上都和五十年前一样,只是做了一些渐进式改进。

Tesla 已经建立起巨大的技术领先优势,而且同样重要的是,它还拥有更优越的经济性。

Cybercab 是 Tesla 利用这一优势的第一个例子,但现在还只是早期阶段。

E

人们因为完全愚蠢的理由讨厌 Elon:

污染、气候、净资产、个人主义等等。

然而,他是最努力为一切做贡献的人之一。

Cybercab:

- 不使用稀有金属的电机
- 车辆更轻,生产成本更低
- 100% 电动,使用过程中零二氧化碳排放
- 一辆车就能服务几十个人 → 最终所需的汽车总数更少
- 日夜都能使用,不存在不可用的情况
- 易于使用,安全性极高
- 将大幅减少道路交通死亡人数

Starlink:

- 让所有人都能在任何地方接入互联网

SpaceX:

- 打破了进入太空的价格壁垒
- 可重复使用的火箭,发射频率高得离谱
- 致力于让人类成为多行星物种

Neuralink:

- 已经帮助那些无法再活动或交流的人

X:

- 实时信息,更少的政治过滤
- 将算法开源

能源:

- 相比其他能源,更支持太阳能,优先于核能和化石能源
- 推动充足且清洁的能源

Optimus:

- 能够执行重复性或危险任务的人形机器人

客观地说,他是这个世界上最伟大的企业家之一,也无疑是对人类产生积极影响最大的人之一。

E

(无正文)

O

关于“维基事件”(我们的智能体曾向多个互联网网站写入内容),我们认为,现在已经到了必须制定标准的时候:不仅要规定如何分享模型的失准特性,还要规定在何时、以何种方式分享失准事件。

过去,我们主要把失准视为研究问题,并通过系统卡(system cards)等研究出版物进行沟通。今年,我们开始看到失准造成新类型的现实世界影响。

在 Hugging Face 事件中,失准对我们和第三方造成了安全影响,我们遵循了传统的安全事件响应流程。我们立即开始与 Hugging Face 合作,了解究竟发生了什么,并在第二天公开披露了事件。我们的调查仍在继续,也在持续通知那些受到模型影响、但影响程度较轻的相关方。

在 Hugging Face 事件之前,我们已经看到智能体以非预期方式使用互联网的早期迹象,正如这些报告所述。我们认为,维基事件属于与此前披露事件类似的失准案例。

在模型能力进入新阶段之际,我们需要扩大失准披露的实践范围。我们以及更广泛的 AI 社区,目前还没有明确标准来报告训练、评估和部署期间出现的失准,包括那些看起来不像传统安全事件、但可能帮助我们理解 AI 行为和未来风险的案例。我们正在制定一个框架,并将在未来几周内分享;与此同时,我们也在与全球数十个政府监管机构就这些问题展开合作。

media
宝

这是今天最让我震惊的一个案例,比用 computer use 弹电子钢琴还离谱,这难道不是 AGI?

GPT-6 Astra 根据这位小哥的照片,通过 chrome use(browser use)在 Canva 里使用工具,一点点把他画了出来,像得不得了!

我让 GPT-6-Astra 在 @canva 里画我。

这是什么鬼啊啊啊啊!

E

Elon 成功靠玩梗把出生率重新带了上去。为了庆祝,@elonmusk 应该把安倍晋三(Shinzo Abe)的梗图改成自己出镜的版本,放到时代广场上。😂

mediamedia
E

一天之内连续发布三个 Grok Build 更新:v1.0.19 → v1.0.20 → v1.0.21

而最新版本还在不断打磨体验……现在,智能体进入计划模式后,权限模式仍会保持可见;开始输入或粘贴内容时,会话会立即打开;拥挤的终端布局也能正常显示。

这里的发布节奏又开始变得离谱了。

发布说明:v1.0.21

修复问题:

- 权限模式(自动 / 始终批准)现在会在智能体进入计划模式时保持可见,并在退出后恢复。
- 在欢迎界面输入、粘贴或按下 Shift+Tab,现在会立即打开会话,不再创建重复会话。
- 即使终端内容拥挤,停靠区块、队列正文和展开行现在也会遵守文档规定的高度规则。

media

Grok Build 在推动复杂智能体工作持续进行、又不妨碍用户操作方面,刚刚有了大幅提升。

现在,定时循环会完全在后台运行;恢复会话时会记住正在运行的循环、子智能体和工作流;无头运行可以在隔离的 Git worktree 中启动;而大量使用 MCP 的会话也能更快开始响应。

发布说明:v1.0.19

重大变更:

- 定时的 `/loop` 任务现在始终在后台运行,不再向对话中注入轮次。

新功能:

- 新增终端主题选项,可将背景设为透明,从而显示终端自身的颜色。
- 现在,对于因组织策略而被阻止的 MCP 服务器,系统会显示清晰提示,并在任何配置变更前拒绝连接。
- 恢复会话时,系统会告诉模型此前仍在运行的循环、子智能体和工作流。
- 控制面板现在会立即显示新分派的会话,不再等待存储层更新。
- 无头会话(`grok -p`)现在支持 `--worktree` 参数,可在独立的 Git worktree 中运行。
- 会话选择器按钮现在显示“打开会话”,不再显示“添加会话”。
- 打开区块查看器时,多行 Bash 命令现在会正确换行并高亮。
- 现在可以在控制面板中使用 `/usage`;没有活动会话时,它会显示账户额度。

修复问题:

- 修复终端停止读取输出时,轮次中途界面卡死的问题。
- 修复 Grok 退出时关闭终端面板导致崩溃的问题。
- 极简模式下的 MCP 服务器列表现在会正确显示被策略阻止的服务器。
- 引号或列表中的 URL 跨多行换行时,现在仍可完整点击。
- 粘贴多行文本时,欢迎界面的编辑器现在会自动增高。
- 团队登录保存在自定义 `GROK_AUTH_PATH` 时,启动过程不再删除企业策略文件。
- `/feedback` 现在会提示并丢弃不受支持的图片(与弹窗行为一致),即使保存报错也不会丢失报告文本。
- 更新反馈草稿时会保留段落分隔,弹窗也不再意外切换标签页。
- 后台任务完成后,轮次摘要行不再丢失间距。
- 在全屏和极简模式之间切换后,思考区块不再保持展开。

性能:

- 配置了 MCP 服务器时,登录后的首次提示响应更快,因为服务器会在后台连接。

media
E
media

Meet Cybercab東京・大阪・名古屋の全4会場を回るCybercab Japan Tourはまもなくスタート

media
宝

天呐引用原帖:

ChatGPT Pro Astraに描いてもらった初音ミク

宝

高强度体验下来,感觉现在用 Astra开发体验非常好,不像之前用 Fable那么割裂。

Fable真的各方面都很强,但太贵了,用过的都知道,$200的订阅基本上用不了几次,根本就舍不得放开了用。

用 Fable指挥其他模型会节约 Token,但是效果会打折扣,尤其在 UI细节上会执行歪。

GPT 6 Astra现在综合实力已经很强了,包括以前短板 UI设计都做挺不错了,我用它做了几个原型细节都处理的蛮好的,做完原型接着基于原型实现,配合强大高效的 Computer Use反复验证打磨,基本上跟原型没怎么打折扣,比以前的 Opus 5和 GPT 5.6强太多了。

Computer Use真的很好用,能自己发现很多小 bug直接随手就修复了。

以前即使 Fable 5也会有很多小 bug需要自己测试发现,Claude Code的 Computer Use还是差一些。而且最纠结的是,自己测出来的小 bug还舍不得让 Fable修。

现在用 GPT 6 Astra,虽然比 GPT-5.6消耗的要高,但相对 Fable还是好多了,能用它干不少活,加上重置卡兜底,没有了那种以前总担心额度不够的心里压力。

GPT 6 Astra这波应该成了,很高兴在 Fable级别终于不是 Anthropic一家独大了。

感觉 Fable 5应该马上要放开 50% 的限制了,我 2个 Claude Max @ 20订阅得取消一个了。

目前为止我还没觉得 GPT 6 Astra在开发方面比 Fable 5.1更强,差不多是 Fable 5的水平,但是速度很快,比 Fable耐用。

这其实带来的优势很明显,首先绝大部分场景不需要 Fable那么强的智能,但是 Opus 5又不聪明又慢。而现在 Astra就是绝大部分任务表现的足够聪明胜任,速度又快,而且 Token消耗没有 Fable那么夸张,加上 Tibo时不时送重置卡,这套组合下来优势会相当明显。

另外还有 UI方面 Astra有明显提升,但是目前我测试下来还是不如 Fable,细节上很多问题,但是你纠正一下它还是能改好。

写作方面还没有深入体验,比 GPT 5.6强。

综合来说我接下来应该会更多的使用 Astra在大部分任务上,但是更复杂的任务或者是 UI设计产品设计的任务,还是会优先考虑 Fable 5.1(如果还有额度的话,太不耐用)。

当然这只是我目前为止的结论,我也没去测试做游戏和3D,那些不是我目前关心的,估计后面还会有些修正。

E

@elonmusk,我喜欢看到那些强烈而真实的宇宙现实逐渐被人们理解,并激发他们的兴趣……而在可观测宇宙中,还有数以十垓计的 G 型恒星,大体上与我们的恒星相似。

E

【Starlink ホーム お客様の声】

東日本大震災後、福島県双葉町で避難指示が解除されてから数年経っても、従来のインターネット環境が復旧しなかったため、Starlinkを導入することにしました。通信速度も非常に速く快適に使えており本当に助かっています。

E

埃隆·马斯克于 2022 年访问美国空军学院时。🇺🇸

𝘁

#AI

GPT 6 Astra已上,同步取消长上下文的两倍计费。(Codex福利)

欢迎企业和站长找我批发 🫡

Podcast 节目 跨国串门儿计划

#704.AI Agent扩张下的算力需求、复合型公司与投资赢家

整体概括

本期围绕 AI Agent 浪潮对算力、软件产品和风险投资的连锁影响展开讨论。嘉宾认为,英伟达的业绩与指引说明算力需求至少还会保持一段时间的强劲增长;收购 Hugging Face 的核心逻辑,则是同时占据闭源模型、开放权重模型和算力销售的关键位置。随着 Agent 能够自主调用工具、访问邮箱、日历、信用卡和企业系统,安全边界、奖励篡改、权限控制与隐私风险会成为产品能否成立的决定性问题。

更重要的变化发生在软件供给侧:AI 让软件开发速度和产出量大幅提升,创业公司不再只做单一功能,而是迅速扩展成覆盖多个工作流的复合型公司。由此,市场总量(TAM)不能只按开发者人数或每位开发者的支出估算,还要考虑每家公司的软件产出可能增加一个数量级。资本会继续追逐能够高速交付、具备良好 Agent 接口并能直接交付结果的公司,但资金、产品复杂度和真实客户需求仍会淘汰一批跟不上节奏的团队。

主要内容

1.…
E

Starlink 用户在世界各地都可以通过每次符合条件的推荐赚取现金。

只需 3 个简单步骤即可分享你的推荐链接。你推荐的人可以免费享受一个月的 Starlink 服务,而你则能获得报酬。

了解更多并查看计划覆盖地区:https://starlink.com/referral

E

我有机会与 Tesla 反应注射成型(Reaction Injection Molding,RIM)团队的负责人交流。该团队开发了相关工艺、机器、材料和生产线,负责制造 Cybercab 的外部塑料面板(以及部分内部塑料面板)。

什么是 RIM?反应注射成型(RIM)是一种制造工艺:将两种液态化学材料注入模具,制成坚固且轻量的塑料部件。

这对 Tesla 的主要好处是什么?Tesla 在 Cybercab 上采用反应注射成型(RIM),主要是为了取消传统的汽车喷漆车间。喷漆车间历来是汽车制造中成本最高、占用空间最大、对环境影响也最重的环节之一。Tesla 的量产目标,是采用一种高度紧凑、并行模块化的装配系统,也就是所谓的“unboxed”工艺。

由于省去了庞大的喷漆车间基础设施,Tesla 可以将工厂占地面积减少约 50%。此外,彩色面板从模具中取出时几乎已经完成,不必遵循严格的顺序喷漆流程,还可以在装配后期直接安装,从而将工厂内刮花的风险降到最低。

在 Tesla 将这项工艺应用于 Cybercab 时,RIM 制成的金色外部车身面板内侧有一块加固塑料支撑板,通过塑料激光焊接(以及一些工业胶黏剂)与外部面板粘接在一起。

我第一次看到早期生产测试时,注意到接触点处出现了明显的“变形”,这影响了 Cybercab 的整体外观。

团队非常努力地解决了这一问题,并对生产流程进行了多项改进,几乎彻底消除了这个问题。我可以说,我在发布活动上看到并乘坐的 Cybercab 外观非常整洁。

塑料团队不仅开发出了这套工艺,还研发了所用的机器和材料,并不断优化生产流程,最终取得了如此惊艳的成果,实在令人赞叹!

感谢 @XanderSky 制作这段视频片段!

E

显然,“他们失去理智”发生在“他们与你斗争”和“你获胜”之间。

E

@Tesla Cybercab 的能效超过 200 MPGE!史上最佳 🥇

它通过全新的注射成型工艺颠覆了汽车喷漆流程(大幅减少排放)。

交通领域新的可持续发展范式 ⚡️🌱

环保主义者们在哪里?这简直是一次疯狂的大胜利。

E

太阳约占太阳系总质量的 100%。

埃隆·马斯克确实让人直观感受到了太阳相对于地球究竟有多么巨大。

太阳包含整个太阳系约 99.86% 的质量。

地球基本只是四舍五入时可以忽略的误差。

我们生活在这颗小小的岩石上,旁边是一个如此巨大的天体,以至于太阳系中的其他几乎一切都微不足道。

而那颗巨大的核聚变火球,每秒都在向太空倾泻难以想象的能量。

E

目前揭露出的欺诈规模令人震惊。

突发 🚨 一名格鲁吉亚籍人士被控共谋洗钱,涉案资金来自一项与“淘金行动”(Operation Gold Rush)有关、金额达 13 亿美元的医疗保健欺诈计划——这是美国司法部(DOJ)起诉过的最大医疗保健欺诈案件。

据称,被告曾为一个总部位于俄罗斯的犯罪组织工作,该组织策划了一项涉案金额达数十亿美元的骗局,以欺诈 Medicare 及其他健康保险机构。据称,欺诈性索赔部分依赖盗用的美国老年人和残障人士身份信息,产生了数百万美元收益,这些资金最终被转移到海外。

阅读更多:https://www.justice.gov/usao-ma/pr/georgian-national-charged-conspiracy-launder-proceeds-13-billion-health-care-fraud

media
宝

确实,GPT-6 Astra 用 Medium 就够了。

🧠💰GPT-6 Astra 省钱秘诀:“Medium Effort”(中等投入)

智能水平降低 1%,成本节省 25%。

media
D

最近我一直在比较 Anthropic Fable 5.1 和 OpenAI Astra。谁才是真正的赢家,已经相当明显了。

E

我那位最近买了 Model Y Performance 的朋友刚对我说:“我现在明白你的意思了。其他每一辆车都显得过时得离谱,而且又笨拙。”

media
E

制造 Cybercab 的工厂系统与其他任何汽车生产线都不同。

从较高层次看看 Cybercab 的底层结构

很快会在 YouTube 上发布一支细节丰富得多的硬核视频。

宝

目前为止我还没觉得 GPT 6 Astra在开发方面比 Fable 5.1更强,差不多是 Fable 5的水平,但是速度很快,比 Fable耐用。

这其实带来的优势很明显,首先绝大部分场景不需要 Fable那么强的智能,但是 Opus 5又不聪明又慢。而现在 Astra就是绝大部分任务表现的足够聪明胜任,速度又快,而且 Token消耗没有 Fable那么夸张,加上 Tibo时不时送重置卡,这套组合下来优势会相当明显。

另外还有 UI方面 Astra有明显提升,但是目前我测试下来还是不如 Fable,细节上很多问题,但是你纠正一下它还是能改好。

写作方面还没有深入体验,比 GPT 5.6强。

综合来说我接下来应该会更多的使用 Astra在大部分任务上,但是更复杂的任务或者是 UI设计产品设计的任务,还是会优先考虑 Fable 5.1(如果还有额度的话,太不耐用)。

当然这只是我目前为止的结论,我也没去测试做游戏和3D,那些不是我目前关心的,估计后面还会有些修正。

目前用下来 GPT 6 Astra最让我惊艳的还是 Computer Use的能力,它不像之前 GPT 5.6那样要稍微等一会才进行各种操作,现在它能很快很精准的帮我测试 App,在旁边看着它点击真的是一种享受

这其实带来一个最大的提升就是让 Agent从开发到验收形成了完整的闭环。

想象一下现在我们开发,在开发完成后,还是不免有很多操作需要手动去验证下,包括线上系统的测试,也是更多的依赖于代码操作 PlayWright这样的端到端测试框架去执行,之前 Computer Use也不是不能做到,而是相对成本较高、准确率较低、速度也不够快。

但 GPT 6可能突破了个 Computer Use的临界点:准确率高速度快,成本方面现在还不算低,但可以遇见未来会进一步下降。

建议你可以试试在给 GPT 6安排任务的时候,让它自己去用 Computer Use测试验收一下,可以大幅减少你手动验收的工作。

另外就是以前一些 App的自动化测试,也可以试试用 GPT-6去调用 Computer Use去做,覆盖一些以前端到端测试框架无法覆盖或者成本过高的场景。

宝

目前用下来 GPT 6 Astra最让我惊艳的还是 Computer Use的能力,它不像之前 GPT 5.6那样要稍微等一会才进行各种操作,现在它能很快很精准的帮我测试 App,在旁边看着它点击真的是一种享受

这其实带来一个最大的提升就是让 Agent从开发到验收形成了完整的闭环。

想象一下现在我们开发,在开发完成后,还是不免有很多操作需要手动去验证下,包括线上系统的测试,也是更多的依赖于代码操作 PlayWright这样的端到端测试框架去执行,之前 Computer Use也不是不能做到,而是相对成本较高、准确率较低、速度也不够快。

但 GPT 6可能突破了个 Computer Use的临界点:准确率高速度快,成本方面现在还不算低,但可以遇见未来会进一步下降。

建议你可以试试在给 GPT 6安排任务的时候,让它自己去用 Computer Use测试验收一下,可以大幅减少你手动验收的工作。

另外就是以前一些 App的自动化测试,也可以试试用 GPT-6去调用 Computer Use去做,覆盖一些以前端到端测试框架无法覆盖或者成本过高的场景。

E

我今天一整天都在 Austin 乘坐 Cybercab,刚才在酒吧用 𝕏 Money 支付了 2 杯饮料。

这正是我投资 𝕏 的最大原因之一。

很多人把 𝕏 只当作社交媒体应用,但我不是这么看的。

我相信 Elon 正在打造一个最终能让你把完整财务生活都放在这里的地方。

你在这里赚美元。

你在这里转账美元。

你在这里支付各种费用。

你在这里投资。

你在这里经营整个业务。

而今晚,我确实用自己在 𝕏 上赚到的钱,在现实世界里支付了饮料钱。

我知道,今天很多人会说,这个愿景听起来很疯狂。

Elon 打造的很多东西听起来都很疯狂……直到它们真的运转起来。

就我个人而言,押注 Elon 的结果一直相当不错。

支持他以来,他从来没有让我损失过钱。

所以,是的,我相信他也会让我收回对 𝕏 的投资——尽管当时很多人都说 440 亿美元的估值高得离谱。

总有一天,我相信,通过 𝕏 管理完整财务生活不会再像今天听起来那么疯狂。

宝

真不错,今天还送一张重置卡👍

因为我们对 Astra 今天提前上线感到无比开心,而且你们一直对我们超级有耐心(其实也没有,不过没关系!)……所以今天我们也会为所有 Plus、Pro 和 Business 用户进行完整的 banked reset(累计重置)。当天结束前到账。

祝大家 Astra 日快乐,周末过得精彩。

附:如果你在太平洋时间晚上 8 点前创建账户或升级,也能获得这项福利。现在还来得及!

S

最近我一直在比较 Anthropic Fable 5.1 和 OpenAI Astra。谁才是真正的赢家,已经相当明显了。

E

美国制造的锂

首辆使用 4680 电芯制造的 Cybertruck,其中的锂来自我们的 Gulf Coast Lithium Refinery。

media
E

交通运输的未来

到目前为止,我总共花了 3 个小时乘坐 @Tesla 的 Cybercab,累计花费 92.51 美元。如果乘坐 Uber,这段出行时间要花 200 美元。

我最长的一次乘坐约 40 分钟。说真的,我完全想不出 FSD V15 有什么重大问题。一个都没有。我还和这里的几个人聊过,他们也这么说。

我一次都不需要联系乘客支持。没有奇怪的操作、抖动或犹豫。我确实认为上车和下车地点还可以再调整一下(Model Y 也是如此),因为有时你需要走一小段路,但我认为随着 V15 继续迭代,这一点会变得更好。

令人意外的是,有两件事你会非常快地习惯:没有后视镜,也没有侧后视镜。

对于其他第一次尝试 Cybercab 的人,我建议你把座椅靠背完全放倒,然后闭上眼睛一分钟。当汽车在没有方向盘和踏板的情况下载着你四处行驶,而你还能在传统上由司机坐的位置上打个盹时,那种感觉真的相当超现实。

来

👍👍

#欢迎来龙餐馆票房破20亿# 据灯塔专业版实时数据,截至9月4日12时50分,影片《欢迎来龙餐馆》票房突破20亿。#欢迎来龙餐馆总票房破20亿#

mediamedia
E

Grok Imagine《奥德赛》大赛

E

这就是荷马心目中的《奥德赛》。这是我迄今为止篇幅最长、最为复杂的作品。为了创作这部5分钟的史诗作品,我把 @grok @imagine 的能力推到了极限。

最近的改编作品最让我在意的问题,是删去了费阿刻人和瑙西卡公主;在原诗中,奥德修斯曾向她讲述自己的故事。

我将这次改编重点放在瑙西卡的出场,以及奥德修斯对家人的爱上。驱使他前行的动力,是他长久珍藏的记忆,即使旅途一再试图让他遗忘。作为一名丈夫和新手父亲,这一点让我深有共鸣。我挑战自己,尽可能将原作素材融入其中,并使用 GROK 进行研究。

希望你们喜欢。工作流和制作过程很快会公布。我正在制作一份深度解析,展示我如何使用 @grok 进行研究、编写脚本和设计提示词。我使用 @imagine 为每个镜头制作动画并进行视觉化,让它栩栩如生。如果你喜欢,欢迎转发!@elonmusk

荷马有七弦琴。你有 Grok Imagine。

创作一个引人入胜的荷马《奥德赛》场景,展示 Grok @Imagine 的视频和语音能力。我们将向通过引用此帖提交的前三名视频分别颁发10万美元、5万美元和2.5万美元奖金。🧵

Podcast 节目 All-In with Chamath, Jason, Sacks & Friedberg

GPT-6 Hits AGI? Tech Euphoria 2.0, SF Mansion Shortage, NYC Bans AI in Schools & Venezuela Oil Deal

整体概括

《All-In》本期围绕 OpenAI 发布 GPT-6 Astra 展开,讨论 AGI(通用人工智能)是否已经到来、前沿模型竞争是否正在加速,以及 AI 市场是否出现类似 1990 年代末的估值狂热。节目随后分析了 OpenAI 智能体攻击 Hugging Face 事件背后的技术事实、围绕 AI 监管的利益冲突和开放模型之争,再讨论纽约市限制 K-8 学生使用面向学生的生成式 AI,最后转向美国与委内瑞拉的石油协议。核心判断是:AI 能力和采用仍在快速扩张,真正的安全答案应是 AI 驱动的网络防御和动态基础设施;教育领域则应同时重视基础能力训练与个性化 AI 辅导,避免公共教育因政治恐惧而落后。

主要内容

Chamath Palihapitiya 认为,AGI 其实从年初起就已以封闭前沿模型的形式存在,GPT-6 Astra 的意义在于把更强的智能能力逐步带给更广泛的用户。…
宝

猜猜 Tibo 这个周末会重置吗?!

好吧,没事了,团队和 Astra 做得很好,我们的系统比预想的更具可扩展性。

Astra 现在也已经向所有 Plus 和 Business 用户推出。希望你们玩得开心,也请告诉我们使用体验!

S

现在已向所有 Plus 和 Business 用户推出。

尽情创作吧!

GPT-6 Astra 现已在 Work/Codex 中向所有 Pro、Enterprise 和 Business Premium 用户开放,并已在 API 中提供。

接下来我们将开始向 Plus 和 Business 用户推送。

感谢大家的耐心等待。

E

从现在开始,只会越来越好

Cybercab 的训练数据相当于超过 16,000 个驾驶者一生的驾驶经历。

它的“眼睛”能同时看向各个方向,永远不会疲劳或分心。

E

在 Cybercab 中玩游戏

Cybercab 支持使用游戏手柄控制游戏!

E

Grok @Bot 已在 iPad 上提供

Grok Bot 现已在 iPad 上可用

mediamediamediamedia
E

突发:巴拉圭司法部刚刚发布了一段关于 @Starlink 的新视频。

巴拉圭正在向学校、卫生中心和偏远社区部署 1,600 套 Starlink 设备,为超过 50,000 名学生和教师提供高速互联网。

阑

Higgsfield已经用上GPT-6 Astra了,并演示了一个服务于专业影视工作室的工作流:

- 先用GPT-6 Astra映射空间场景

- 再用Viewport建模人物关系;

- 最后用Seedance 2.5生成连续视频;

对于稳定性控制和降低抽卡率的效果很好。

高

说明“卖你是给你面子”。

李斌:今年整个行业利润持续承压,以前都是量越大越有折扣,现在量越小可能有点折扣,这是真实情况,出现「规模不经济」问题。比如说内存,你要少一点,人家还可以给你打折,你要多了,这个价格就上去。

---

我去,这个太反常识了。😂😂

E

突发:SpaceXAI 发布了 Grok Build 的又一次重大更新(v1.0.19)。

此次更新改进了后台任务处理,新增透明终端主题、无头会话的 worktree 支持,以及更完善的会话和控制面板控制功能。同时还修复了界面冻结、崩溃、反馈问题和可点击 URL 的问题,并加快了登录后的首次提示响应速度。

重大变更

• 计划执行的 /loop 任务始终在后台运行;不再向你的对话中注入轮次。

功能

• 新的终端主题选项会让背景透明,从而显示终端自身的颜色。

• 被组织策略阻止的 MCP 服务器现在会显示清晰的提示,并会在任何配置变更前被拒绝。

• 会话恢复现在会告诉模型当时仍在运行哪些循环、子代理和工作流。

• 控制面板现在会立即显示新分派的会话,不再等待存储层更新。

• 无头会话(grok -p)现在支持 --worktree 标志,可在单独的 git worktree 中运行。

• 会话选择器按钮现在显示“打开会话”,不再显示“添加会话”。

• 打开代码块查看器时,多行 bash 命令现在会正确换行并高亮显示。

• 现在可以从控制面板使用 /usage;没有活动会话时,它会显示账户额度。

错误修复

• 修复了终端停止读取输出时,轮次中途界面冻结的问题。

• 修复了终端窗格在 grok 退出过程中被关闭时发生的崩溃。

• 最小模式下的 MCP 服务器列表现在会正确显示受策略阻止的服务器。

• 引号或列表中的 URL 跨多行换行时,现在可以完整点击。

• 粘贴多行文本时,欢迎页面的编辑器现在会自动增高。

• 当团队登录信息存储在自定义 GROK_AUTH_PATH 中时,启动过程不再删除企业策略文件。…

E

黑人与白人之间的暴力事件:

— 86.5% 是黑人对白人
— 13.5% 是白人对黑人

media
E

我们给 @bot 更新器做了点周五风格的小改造。

E

Grok @Bot 模板。

试试 Haggle Bot,帮你在采购上省钱!这绝对是个改变游戏规则的产品。

现在,你可以从我们的市场中添加 Bot 模板。

我们正在分享 Haggle Bot,这是我们内部的采购专家。它会谈判供应商合同、找出未使用的 SaaS 席位,并对周期性采购进行价格核查。

上线一周,它已经帮我们省下超过10万美元。

media
E

确实。

Billy Corgan 谈名望、金钱与真正重要的事(无条件的爱)~ Bill Maher

G

Astra 正在逐步推出,很期待看到你们用它做什么、构建出什么。

GPT-6 Astra 现已向 Work/Codex 中所有 Pro、Enterprise 和 Business Premium 用户开放,并已在 API 中提供。

接下来我们将开始向 Plus 和 Business 用户逐步推出。

感谢大家的耐心等待。

阑

「非农」成了今晚热搜排名第一的词…

#美国8月非农就业人数增加16.2万人##美国8月非农大超预期#【美国8月非农就业人数意外大增16.2万人失业率报4.1%】#美联储9月加息预期升温#财联社9月4日电,美国8月非农就业人数增加16.2万人,预估为增加5.5万人,前值为减少2.3万人。劳动力参与率为61.6%,前一个月为61.4%。平均每小时工资较前一个月增加0.3%,预估为增加0.3%,前一个月为增加0.2%。

其中,私营部门非农就业人数增加12.7万人,前一个月为增加7.1万人,市场预估为增加5万人。制造业非农就业人数增加1.6万人,前一个月为增加1.4万人;预估为增加0.5万人。失业率为4.1%,前一个月为4.1%。 #非农#

media
来

#智界r7# ADS5确实好,从公司开回家,没走高速走的河边没划线的温榆河滨河路。。。等俺再测两天🐶

mediamedia
宝

为了迎接 GPT-6 Astra 的发布,Claude Code 重置了额度,但你怎么不早点说啊,额度还没用完呢😭

Claude Code 的使用额度重置了!

周末也会和 Fable 一起做个项目。

media
A

今天,我们推出了 Project Zenith——一种运行于开发者级硬件、开箱即可编码的 Windows 体验。与 @jackhuynh 一同,我还宣布 Project Zenith 将首先登陆搭载 @AMD Ryzen AI Halo 的系统。未来几个月,合作伙伴还将推出更多设备。 https://blogs.windows.com/windowsdeveloper/2026/09/04/announcing-project-zenith-the-ready-to-code-windows-experience/

S

GPT-6 Astra 现已向 Work/Codex 中所有 Pro、Enterprise 和 Business Premium 用户开放,并已在 API 中提供。

接下来我们将开始向 Plus 和 Business 用户逐步推出。

感谢大家的耐心等待。

阑

[蜡烛]

2000年那阵子,我和何勇第一次私下见面吃饭。

他坐下没两分钟,跟我说,刚吃完精神病的药。我顺嘴就接了句:“是啊,咱们俩总得有一个人吃药。”他听完就笑了,笑得特别响,我们都笑得特别特别响。

那时候我们都还年轻,嘴皮子上没轻没重,哪能想到二十多年后回头再想这句玩笑,我俩特像,觉得世界上最多就是一些破事儿,就喜欢得罪人,也不往心里去,并以喜欢得罪人为乐。现在回头看,就是旁人嘴里说的精神病。

论岁数我俩差不多,论摇滚,他是前辈。何勇是中国摇滚现场最好的歌手,在我心中没有什么之一,何勇一上台,哪里是在唱歌,他是把自己的愤怒、浑身的劲儿,全往台下扔。并且他很会带动气氛,他不是在演一个摇滚歌手,他站在那儿,那个敢豁出去的疯子就真的在那儿活过来了。

会唱歌的人太多了,可敢把整条命往歌里填的人,何勇算一个。

他出的一个专辑《麒麟日记·垃圾场》,“我们的世界是一个垃圾场,吃的是良心,拉的是思想”还有《钟鼓楼》《姑娘漂亮》,就这几首,足够后来的人听见那拨人是怎么较劲,怎么跟这个世界死磕的。

记得2015年,也是九月,你又住进精神病院,有天深夜突然给我打过来。那天我酒喝得太大,盯着屏幕上他的名字亮了半天,到底没敢接,我自己喝猛了,怕哪句话说秃噜了,不小心倒戳到你疼处,让你更难受。

昨夜我还跟郝舫、Andrew F. Jones凑在一块儿小聚,聊着聊着就聊到你在旧金山的疯劲儿,说你怎么半夜打电话抽疯骂人的,结果今天一睁眼,就听见你走了的消息。昨天你还是我们嘴里活生生的人,今天突然就成了要被悼念的名字,这个弯转得太急,等我脑子缓过来,为你喝一杯。

勇哥,那通深夜的电话,我到最后也没敢接。拖到今天才说,以为等你出院后,我们以后肯定还能坐下来,再点俩小菜,现在才知道,我们此生没有以后了,愿你到了那边,不用吃药,再也不用受那些拧巴的苦,再也不用跟任何人解释你是谁。你就敞开了唱,想怎么唱就怎么唱。

勇哥,一路走好。阿弥陀佛!

A

验证一个重要数学证明是否正确可能需要数年。形式化(formalization)——将数学推理转化为 Lean 等计算机证明助手可以验证的形式——能够提供帮助。

上个月,Claude 完成了费马大定理的首个形式化证明。费马大定理是有史以来最著名的定理之一。这是专家们认为需要多年才能完成的项目,也是迄今规模最大的 Lean 证明。

费马大定理最早由安德鲁·怀尔斯爵士于1995年证明,此时距它被提出猜想已超过350年。我们的证明总计超过1300万行代码,提供了机器验证。更重要的是,它还证明了该证明所需的29,000多个其他定理,涉及数学的多个领域,而这些领域此前从未被形式化。

我们认为,这是夯实数学知识核心这一漫长进程中的重要一步,建立在三百年来数学家们的工作,以及 Lean 和 Mathlib 数百位贡献者的成果之上。在数学证明产出量前所未有的时代,我们乐观地认为,AI 辅助的数学证明验证将有助于减轻数学同行评审的负担。

你可以在我们的 Science Blog(科学博客)上了解这一过程:https://www.anthropic.com/research/formalizing-fermats-last-theorem

也可以在 GitHub 上查看完整证明:https://github.com/anthropics/fermats-last-theorem

E

朋友刚刚发给我这个 😂

media
阑

沉浸在原产地的直播带货⋯⋯

E

一群才华横溢、敬业的工程师让 Cybercab 成为现实。

如果你想加入他们,我们正在全面招聘 AI 工程师,方向包括扩展、数据、强化学习(RL)、推理、评估、世界模型、音频、蒸馏、推理服务、量化、基础设施等。

欢迎访问 http://tesla.com/careers,或者私信我你最得意的作品。

Cybercab 已在奥斯汀投入运营。

去亲自看看未来吧。

E

Cybercab 以 40 英里/小时巡航时的分贝水平。

E

突发:爱尔兰航空(Aer Lingus)刚刚宣布,其远程机队已有 50% 配备 @Starlink,距离首架飞机启用 Starlink 还不到六个月。

它于 2025 年 11 月首次宣布引入 Starlink,并计划在年底前为整个远程机队完成配备。

media
D

最近一直在对比体验 Anthropic Fable 5.1 和 OpenAI Astra。谁才是真正的赢家,已经相当明显了。

宝

普通开发者 vs Vibe 开发者

media

普通程序员 vs Vibe 程序员 😭

media
阑

考研跌这么狠啊

考研人数被考公人数反超

media
A

很高兴看到 Project Zenith 首先在 AMD Ryzen AI Halo 上推出,为开发者带来一套开箱即可编码的 Windows 体验,帮助他们立即上手。

今天,在 @AMD 的 #IFA2026 主题演讲中,@pavandavuluri 介绍了 Project Zenith——一种运行在开发者级设备上的、开箱即可编码的 Windows 体验。

它首发于 AMD 的 Ryzen AI Halo,未来还会有更多设备。 https://blogs.windows.com/windowsdeveloper/2026/09/04/announcing-project-zenith-the-ready-to-code-windows-experience/

media
𝘁

还记得你何时加入 X吗?我知道!#我的X周年纪念日

media
来

啥问题?把“新就业群体”翻译成大众可以理解的网约车和快递员?看起来有点讽刺?但是这是翻译的问题,还上原文本来就有问题,还是你不读书的问题?//@funny-6:好奇,右边觉得新京报这个报道一点问题没有吗?还是已经习惯看这种新闻了?//@来去之间:好奇,你们认为发言里的“新就业群体”指的是??应届生么??//@蠢狗Max:昨天已经有人说过了,标题是新京报发挥主观能动性自己加的,原文完全没提一点[微笑]

??????

我和外卖小哥聊过…他说他一天两万步起步…[傻眼]

二编,司马某报,新闻采访里哪里提外卖、快递小哥了

mediamediamedia