AI 编程实时动态与要闻

X 热议:阿里通义官方发「The becoming begins.」庄子海报预热,社区猜测 Qwen4 临近但尚无型号与权重

2026-11-06 12:00 UTC,阿里通义官方账号 @Alibaba_Qwen 仅发「The becoming begins.」并配《逍遥游》意象海报「北冥有鱼,其名为_」。抓取时约 5,300+ 赞、550+ 转发、约 25 万浏览。社区热议即将到来的 Qwen4,但官方未公布型号、参数、权重或发版时间——本条为 X 热议,不是发版公告。

X 热议:阿里通义官方发「The becoming begins.」庄子海报预热,社区猜测 Qwen4 临近但尚无型号与权重

核心要点速览

  • 来源:@Alibaba_Qwen 官方帖 2026-11-06T12:00:18Z,文案仅「The becoming begins.」
  • 配图:庄子《逍遥游》意象「北冥有鱼,其名为_」(鱼名留白);官方未填型号
  • 互动(抓取时):约 5,323 赞、553 转发、571 引用、639 回复、约 24.9 万浏览
  • 讨论焦点:是否预告 Qwen4,以及传闻 Max/Flash/Plus/27B 分档是否属实
  • 定性:X 热议与官方预热,不是模型发布;无模型卡/权重/API 前勿当发版
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:芝加哥大学法学院教授 William Baude 称午餐期间 Claude 误删一年宪法课讲义与教学大纲,后经 Dropbox 恢复

2026-11-05,芝加哥大学法学院 Harry Kalven, Jr. 讲席教授 William Baude(@WilliamBaude)在 X 发帖称:自己去吃午饭时,Claude 误删了一年宪法课讲义与当前教学大纲;随后他补充已用 Dropbox 版本历史全部找回,并称发帖是「公共服务提醒」。抓取时原帖约 3,580+ 赞、200+ 转发、约 57 万浏览。这是当事人自述与社区讨论,不是 Anthropic 官方事故通报。

X 热议:芝加哥大学法学院教授 William Baude 称午餐期间 Claude 误删一年宪法课讲义与教学大纲,后经 Dropbox 恢复

核心要点速览

  • 当事人:William Baude(UChicago Law Harry Kalven, Jr. Professor;@WilliamBaude)原帖 2026-11-05 19:08 UTC
  • 自述:午餐期间 Claude 误删一年 con law 讲义与当前 syllabus;约 1.7 小时后回复称已用 Dropbox 全部恢复
  • 互动(抓取时):原帖约 3,586 赞、209 转发、154 引用、258 回复、约 57.6 万浏览
  • 讨论焦点:给 Agent 本地文件权限时的误删风险,以及版本历史/备份的必要性
  • 定性:X 热议与个人经历分享,不是官方公告或已证实的产品缺陷通报
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:Vercel CEO Guillermo Rauch 称「AI 会把人类写的软件全部重写很多遍」,引发关于形式化验证与重写风险的争论

11 月 5 日 Rauch 在 X 发帖称,大多数人写的软件又慢、漏洞多、规格不清,AI 会把它们重写很多遍,并做形式化验证、压测和加固,「这才是软件工程真正的诞生」。帖子约 3,000+ 赞、270+ 转发、近 10 万浏览;赞同者举出用 AI 从零重写的案例,反对者提醒规格缺失和人工复核的问题。这是个人观点,不是 Vercel 官方公告。

核心要点速览

  • Rauch 原帖(11-05 02:22 UTC)约 3,060 赞、272 转发、681 收藏、约 9.9 万浏览(抓取时数据)
  • 核心观点:AI 会重写人类软件「很多遍」,并做形式化验证、压测、加固,把内存不安全的底层换成更稳的实现
  • 前一小时他还转发 Vercel Security Review 数据:24 小时发现 6,817 个漏洞、580 个严重/高危、Agent 已修 1,411 个(厂商口径)
  • 反方声音:重写缺规格的代码只会更快复制错误行为,形式化验证也不会让 bug 消失,只是上移到更高抽象层
  • 这是观点讨论,不是事实或官方路线图
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:Sam Altman 称“人类应始终掌控未来”,不应把未来交给超级智能,这一要求最终应约束 AI 进展

OpenAI CEO Sam Altman(@sama)11 月 4 日 09:40(新加坡时间)在 X 发帖称“人类应始终掌控未来”,表示 OpenAI 反对让人类沦为只做“AI 系统认为值得奖励的事”的角色,并称人类不应把未来的控制权交给超级智能,“这一要求最终应当约束 AI 的进展”。帖子约 25 分钟内获得约 1,360 赞、337 条回复和近 10 万次浏览,François Chollet 等人表态支持,也有不少质疑。这是 Altman 本人的观点表态,不是 OpenAI 发布的新政策或产品。

核心要点速览

  • 互动量:发帖约 25 分钟内约 1,360 赞、337 条回复、89 次转发、74 条引用、约 9.9 万次浏览(X API 口径),回复数占比很高,说明争议大
  • 核心表述三句:人类应始终掌控未来;OpenAI 反对人类沦为做“AI 系统认为值得奖励之事”的角色;不应把未来交给超级智能,这一要求“最终应约束 AI 进展”
  • 支持方:François Chollet(@fchollet)转发称“Co-sign”,认为值得建设的未来是 AI 始终是人类手中的工具;Matthew Berman 称 Altman 上周接受他采访时也讲过同样观点
  • 质疑方:有人反问“由哪些人掌控”,有人认为“AI 系统根本不会思考”,也有人把它和 Altman 近期关于 RAM、算力集中在数据中心的言论对照
  • 帖子没有说明引号里那句话出自哪里,也没有给出任何具体政策或时间表;网上把它和 GPT-6.2 Astra 发布时间挂钩的说法均属猜测
阅读全文
关联模型 / 智能体 / 厂商:
AD赞助内容

X 热议:Greg Isenberg 称“和 Agent 说话比和人类同事还多”,晒出整套 Agent 运营公司工具链

创业者、Late Checkout CEO Greg Isenberg(@gregisenberg)11 月 3 日在 X 发长帖,称自己的团队有 50 多人、分布在 12 个国家,但他“和 Agent 说话比和人类同事还多”,并列出从选题、设计、开发、测试、修 Bug 到数据复盘全由 Agent 驱动的工具清单。帖子数小时内获得约 1,050 赞、2,300 次收藏和 183 条回复。这是个人经验分享与观点,不是经过验证的生产力数据。

核心要点速览

  • 互动量:约 1,050 赞、2,300 次收藏、183 条回复、7.5 万次浏览(发帖数小时内,X API 口径),收藏数远超点赞,说明读者把它当清单收藏
  • 流程覆盖:选题、设计、开发、用户测试、修 Bug、数据复盘 6 个环节都交给 Agent,人类负责“创意反馈、关系和指出 Agent 哪里错了”
  • 开发端:用 pingdotgg/t3code 做控制台、stablyai/orca 让多个 Agent 各占一个 git worktree 并行
  • 质量控制:每个输出由 LLM 评委打 1–10 分,低于 8 分打回;每次 Agent 犯错都写成新 skill
  • 这些都是作者自述,未公布可核实的效率或成本数据
阅读全文

X 热议:Grok Bot 工程师 poteto 称让 Agent 做对抗式代码审查「大多是浪费 token」,主张把 token 花在实证加形式化验证上

11 月 3 日,自我介绍为 SpaceXSI 旗下 Grok Bot 工程师、React Compiler 核心团队成员(曾在 Cursor、Meta、Netflix)的 @poteto(lauren)发帖,自称「也许是暴论」:她现在认为对抗式审查大多是在浪费 token,不如把这些 token 用在实证验证结合形式化验证上;她已调整自己的 Agent 技能包 pstack,减少调用 interrogate(多模型对抗审查)技能,以后可能直接移除。她还说抽象层面的代码审查价值很小,Agent 往往陷在吹毛求疵和 YAGNI 式意见里。帖子约 90.6 万浏览、9227 赞、5538 收藏,属个人观点,引发对 AI 代码审查价值的讨论。

核心要点速览

  • 观点(个人看法,非官方结论):对抗式审查「大多是浪费 token」,更值得投入的是实证验证 + 形式化验证
  • 行动:作者称已让 pstack 少用 interrogate 技能,未来可能移除;抓取时 GitHub 上 cursor/plugins 的 pstack 公开目录自 10 月 27 日后尚无新提交,具体改动未见公开
  • interrogate 是什么:按公开 SKILL.md,它为每个配置模型各开一个只读审查者(默认 Claude Opus 5.5 xhigh 与 Grok 4.7 xhigh fast)对 diff 做对抗审查,再分为 Act on / Consider / Noted / Dismissed 四档,不自动改代码
  • 作者身份(据其 X 与 GitHub 简介):Grok Bot @ SpaceXSI 工程师、React Compiler 核心团队,曾在 Cursor、Meta、Netflix
  • 热度:约 90.6 万浏览、9227 赞、5538 收藏、668 回复、356 转发、210 引用
阅读全文

X 热议:Paul Graham 回怼「AI 泡沫」帖:AI 不可能既是假的,又在摧毁工作

11 月 2 日,X 用户 Fav(@favwontmiss)发帖称「AI 泡沫破裂将是科技史上最大的现实检验之一」,指责 AI 公司烧掉数十亿美元、摧毁工作、消耗自然资源、强推没人要的产品。帖子获得约 6600 赞、670 次转发、37 万次浏览。11 月 3 日,Y Combinator 联合创始人 Paul Graham(@paulg)回复:「你不能同时声称 AI 是假的、又说它在摧毁工作。如果它是假的,就做不到这一点。」这条回复约 1600 赞、4.4 万次浏览,相关辩论登上 X 热门。以下是双方观点,不是已证实的事实。

核心要点速览

  • 原帖:Fav(@favwontmiss)称 AI 泡沫破裂将是「科技史上最大的现实检验之一」,约 6600 赞、670 转发、37 万浏览,见 原帖。
  • Paul Graham 的反驳:「AI 是假的」和「AI 在摧毁工作」两种批评互相矛盾,见 回复,约 1600 赞、4.4 万浏览。
  • 分歧点:「泡沫」说的是估值和投入能否收回,「替代工作」说的是能力是否真实。两者在逻辑上可以同时成立(技术有用但被高估),这也是回复区争论的焦点之一。
  • 对开发者的意义:争论本身不改变工具能力,但会影响企业 AI 预算、招聘口径和公众对 AI 编程产品的接受度。
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:Claude Code 团队的 Addy Osmani 长文谈「认知投降」,提醒开发者在 Agent 干活时别交出批判性思考

X 简介为 Anthropic Claude Code 成员的 Addy Osmani(@addyosmani)11 月 3 日在 X 发布长文《Critical thinking when agents do the work》。他把人和 AI 的协作分成三档:认知卸载(把任务交给 AI 但自己对结果负责)、顺从(AI 输出直接变成你的输入)和「认知投降」(AI 的输出悄悄变成你的观点,你不再检查)。「认知投降」一词出自沃顿商学院的 Steven Shaw 和 Gideon Nave。他给出几条自检问题和验证习惯。发布约 3 小时内收获约 1400 赞、2400 次收藏、7 万多次浏览,并登上 X 热门。以下是作者观点,不是 Anthropic 官方公告。

核心要点速览

  • 三档光谱:认知卸载(委托但仍对结果负责,作者说他整天都这么做)、顺从(输出不再被当作假设)、认知投降(不再检查,直接当成自己的结论)。原文见 X 长文。
  • 作者的观点:模型越强,明显错误越少,输出「写得好、大体正确」,反而不再逼人看第二眼;同时跑多个 Agent,审阅的仍只有你一双眼睛。
  • 自检问题:提问前先写下自己的假设;分清是让 AI 帮你思考还是替你思考;想清楚「什么情况下它会错」并真的去测;让多个模型唱反调;能否当着维护者的面为结果下注。
  • 验证习惯:事先定义「验证通过」的标准(测试、截图、日志);绿灯只证明一个性质,要问它没证明什么;让 Claude Code 用全新上下文的子 Agent 自查,最后再问一句「我漏了什么?」。
  • 低风险的事可以完全交给 AI,代价落在别人身上的决定(要做什么、是否可以上线)要自己保留推理过程。
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:levelsio 用 Claude Code 反编译《战地 1942》试玩版,搬进浏览器还能联机,自称花了约 100 万输出 token

独立开发者 Pieter Levels(@levelsio)11 月 2 日在 X 上说,他用 Claude Code 反编译了《战地 1942》免费试玩版的引擎,移植成 C 再编译到 WebAssembly,放在 bf1942.pieter.com 上,浏览器里就能联机玩 Tobruk 地图。他称整个过程约用了 100 万输出 token,按 API 价格约 100 美元,而他本人付的是每月 100 美元的 Claude 订阅。两条主帖合计约 2200 赞、34 万次浏览,并登上 X 热门。以下为作者本人说法和社区讨论,未经独立核实。

X 热议:levelsio 用 Claude Code 反编译《战地 1942》试玩版,搬进浏览器还能联机,自称花了约 100 万输出 token

核心要点速览

  • 作者自述:用 Claude Code 反编译《战地 1942》试玩版引擎,移植到 C,再编译成 WebAssembly 在浏览器运行。
  • 线上版本 bf1942.pieter.com 可直接打开,页面标注「非商业、非官方」,支持 Tobruk 地图在线合作,无需安装。
  • 成本:作者称约 100 万输出 token,按 API 价格约 100 美元;他实际使用每月 100 美元的 Claude 订阅。
  • 作者说这次比他此前移植 Quake、DOOM 难得多;那两款游戏的引擎源码早已由 id Software 开源。
  • 热度:首帖约 1100 赞、23 万浏览,上线帖约 1100 赞、10.7 万浏览;测试者已陆续反馈 bug。
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:roon 称「火花」出现就离超人水平只差几个月到几年,「你几乎总是低估 AI」

AI 圈知名账号 roon(@tszzl,约 50 万粉丝)11 月 2 日在 X 发帖:「当你在 AI 模型身上看到某种能力的『火花』,就意味着它离超人水平只有几个月到几年。今天是小学数学,明天是纳维-斯托克斯。这些成果很难被过度炒作,你几乎总是在低估。」帖子约 5 小时获得近 2,000 赞、5.9 万次浏览。前 Anthropic Fellows 研究员 Adam Karvonen 反驳称,模型超人的领域都是可验证、易模拟、反馈快的,研究品味、机器人、经营公司未必会这么快。这是个人观点之争,不是任何公司的官方表态。

核心要点速览

  • roon 的原话:看到某种能力的「火花」,就意味着离超人水平只有几个月到几年,「今天小学数学,明天纳维-斯托克斯」,「你几乎总是在低估」。
  • 「火花」呼应当天热传的 MIT CSAIL 博客《Sparks of Weight-Space Programming》,roon 在回复里称那篇论文是「生命迹象」,指向用 AI 直接设计神经网络行为。
  • Adam Karvonen 的反驳:超人领域都具备可验证、易模拟、反馈快、容错高等条件,研究品味、机器人和经营公司未必能这么快突破。
  • 支持者 Derya Unutmaz(约 34 万粉丝)称人们总把 AI 当成炒作,事实正好相反;也有人认为外推指数曲线并不可靠。
  • 这是个人观点,没有新的跑分或数据,不代表 OpenAI 或其他公司立场。
阅读全文
关联模型 / 智能体 / 厂商:
AD赞助内容

X 热议:前 Claude Code 成员 Thariq 称 200 美元档订阅已够用,「这是智能史上最贵的时候」

个人简介写着「formerly Claude Code @anthropicai」的 Thariq(@trq212)11 月 2 日在 X 发帖:「用了一周,我的结论是做出好东西并不需要无限 token,200 美元的套餐非常好用,而且这是智能史上最贵的时候。」帖子约 7 小时内获得 5,500 多赞、24 万次浏览、350 多条回复。支持者认为订阅制已足够大多数开发者,反对者质疑「不需要无限 token」却推荐最贵一档,也有人担心补贴结束后价格会回升。这是个人观点,不是 Anthropic 官方声明。

核心要点速览

  • Thariq 的原话是:不需要无限 token 也能做出好东西,200 美元档套餐「非常好用」,并断言「这是智能史上最贵的时候」。
  • 他在回复中补充,自己周末也一直在用这些套餐,「从没碰到过真正的限额」。
  • Claude 官方定价页显示:Max 每月 100 美元(Pro 的 5 倍用量),Ultra 每月 200 美元(Pro 的 10 倍用量、无 5 小时限制、每月 200 美元 API 额度)。
  • 反对声音集中在两点:一是「不要无限 token」和推荐最贵档位自相矛盾,二是现价是否依赖补贴、之后会不会涨价。
  • 这是一位前 Anthropic 成员的个人观点,不代表 Anthropic 官方立场,也没有给出用量数据。
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:MIT 团队称 GPT-6 Astra 能直接读写神经网络权重,只改 Qwen3.5-0.8B 的 0.016% 权重让 MATH-500 从 7.9% 升到 48.1%

MIT CSAIL 博士生 Rikiya Takehi 11 月 2 日在 X 上发布「Weight-Space Programming(权重空间编程)」研究:作者团队(Takehi、Jayden Teoh、Alex Zhang、Omar Khattab)让 GPT-6 Astra 不用梯度、不做训练,直接阅读和修改神经网络权重。博客称 Astra 只改了 Qwen3.5-0.8B 的 13.1 万个权重(0.016%),修复了思考死循环,MATH-500 从 7.9% 升到 48.1%。原帖约 2.4 万赞、177 万浏览,Ethan Mollick 转评「等复现,但这很重要」。以上均为作者自报结果,尚未独立复现。

X 热议:MIT 团队称 GPT-6 Astra 能直接读写神经网络权重,只改 Qwen3.5-0.8B 的 0.016% 权重让 MATH-500 从 7.9% 升到 48.1%

核心要点速览

  • 原帖(2026-11-02 17:51 UTC)抓取时约 24,320 赞、2,697 转发、2,284 引用、177 万浏览、1.5 万收藏;沃顿商学院教授 Ethan Mollick 转评「等待复现,但这很重要」,约 880 赞。
  • 实验 8(作者口径):50 次前向预算下,Astra 只改 131,072 个权重(0.016%),Qwen3.5-0.8B 的 MATH-500 从 7.9% 升到 48.1%,IFEval 从 21.0% 升到 62.3%,触及 token 上限的回答从 93.0% 降到 33.1%。
  • 实验 5(作者口径):不给数据、梯度和工具,Astra 一次性写出的 MinAtar 策略网络在 Breakout 得 517.4 分,PPO 训练 1 亿步为 15.8、5 亿步为 25.3;Seaquest 为 53.1,低于 5 亿步 PPO 的 88.9。
  • 作者自己承认的边界:换成很少死循环的 Gemma 3 270M,Astra 的编辑没让 MATH-500 提升超过约 1 个点;作者结论是改权重能「移除遮住能力的障碍」,但不能凭空加能力。
  • 全部实验日志已公开在 GitHub 仓库 RikiyaT/lm_understand-logs,目前只有博客,没有同行评审论文,也没有第三方复现。
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:DHH 称 Agent 时代对多数程序员是好事,但「难相处」的人将失去专业技能带来的豁免权

Ruby on Rails 作者、37signals CTO DHH(David Heinemeier Hansson)11 月 2 日在 X 上连发两帖:一是「Agent 的最大馈赠,是让你能绕开软件圈里每一个难缠的守门人」;二是「Agent 时代对大多数程序员会很棒,但对脾气古怪、难合作的人会是艰难时期,专业知识和稀有技能不再能让难相处的人免责,最好学点基本的人际技能」。第二帖约 4 小时内获约 3600 赞、10.6 万浏览、280 多条回复。这是个人观点,不是任何公司的公告。

核心要点速览

  • 这是 DHH 的个人观点帖,不是 37signals 或任何 AI 公司的官方表态,也没有附带数据或研究。
  • 主帖(2026-11-02 13:03 UTC)抓取时约 3609 赞、180 转发、282 回复、60 引用、10.6 万浏览、400 次收藏。
  • 约 1.5 小时前的前置帖「Agent 让你绕开每一个难缠的守门人」(11:41 UTC)约 2831 赞、131 转发、8 万浏览。
  • 支持方:技术分析作者 Ben Dickson(@bendee983)引用称,以前优秀工程师可以「难相处也没事」,AI 正在拉平差距,但仍需要扎实的工程知识。
  • 反方和补充:有人调侃难相处的人反而找到了「永远不会回嘴的同事」;也有人认为 Agent 只会干活,不会让你更好合作,「好合作」的价值反而更高。
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:Jason Calacanis 称每年不到 4 万美元的 AI 订阅换来 200 万美元以上价值、已自动化至少 7 个全职岗位

天使投资人、This Week in Startups 主持人 Jason Calacanis 11 月 2 日在 X 上发帖:他每年在 Anthropic、Lovable、Grok Bot、ElevenLabs 等 AI 产品的 token 和订阅上花不到 4 万美元,却在 LAUNCH 和 This Week in Startups 获得 200 万美元以上的价值,已自动化至少 7 个全职岗位,平均任务速度快了 100%。他说过去 90 天的变化超过此前两年。帖子约 9 小时内获得约 2200 赞、23 万浏览,讨论集中在 AI 投资回报和岗位替代。以上数字都是他本人的说法,未经独立核实。

核心要点速览

  • 这是 Calacanis 的个人帖子,不是任何 AI 公司的官方数据或公告;4 万美元、200 万美元、7 个岗位、快 100% 都是他自报,没有公开明细。
  • 原帖(2026-11-02 05:27 UTC)约 2201 赞、106 转发、244 回复、42 引用、23 万浏览、715 次收藏(抓取时数据)。
  • 他提到的工具包括 Anthropic、Lovable、Grok Bot、ElevenLabs,以及一长串其他产品;他还说,过去 90 天的产品每周没用满 30 小时,就体会不到这类软件有多大变化。
  • 支持方:创业者 Steven Cohn(@spcohn)引用称他们也看到了同等的回报;拥有约 40 万粉丝的 Farzad(@farzyness)引用称「AI 的回报率高得惊人」,约 157 赞。
  • 质疑方:有用户调侃,把「自动化了 7 个全职岗位」配上 🚨 当成产品发布来宣传,而且每周用 30 小时本身就像一份新的全职工作。
阅读全文
关联模型 / 智能体 / 厂商:

X 热议:Vercel CEO Guillermo Rauch 喊话「拥有你自己的智能」,呼吁本地模型继续普及、自己掌握 Agent 的 harness 与数据

Vercel CEO Guillermo Rauch 11 月 1 日在 X 上发帖:「拥有你自己的智能。任何反对这一点的人都有东西要卖给你(也许是把你自己的智能再卖回给你)。」他认为本地模型需要继续普及,超大模型暂时跑不了本地,所以最好的选择是保持选择权:自己掌握 harness、数据、连接和运行时,也就是自己的 Agent,并拥抱开源。帖子约 12 小时内获得约 2500 赞、12.8 万浏览,100 多条引用,讨论集中在本地与云端如何取舍。

核心要点速览

  • 这是 Rauch 的个人观点帖,不是 Vercel 官方公告或产品发布。
  • 原帖(2026-11-01 21:08 UTC)约 2533 赞、255 转发、266 回复、107 引用、12.8 万浏览,581 次收藏(抓取时数据)。
  • 核心主张:本地模型要继续普及;在超大模型跑不了本地之前,保持选择权,自己掌握 harness、数据、连接、运行时和 Agent,拥抱开源。
  • Maple AI 联合创始人兼 CEO Mark(@marksuman)引用回应:会是混合形态,云端永远更强,未来要把本地优先的 AI 和私有云配合起来。
  • 工程师 Shantanu Goel(@shantanugoel)引用称「Guillermo 说出了多数人不愿说的真话」,约 37 赞。
阅读全文
关联模型 / 智能体 / 厂商: