AI 观点与方法

Nebius 上线 AI Builder Program，免费开放，提供超 400 美元 credits 与折扣、可运行代码和 cookbook、工程师 office hours 及社区，覆盖推理管线、编排、检索、评估、可观测性和后训练等环节。

围绕研究人员能否放心把未发表的数学成果交给 OpenAI，又出现了更多疑问。相关讨论在 mathstodon.xyz 上展开，并在 Hacker News 获得 109 点热度。

大家最喜欢用哪个 AI 作为 @OmarchyLinux 的核心？

这很有道理。复制逻辑不再痛苦了。抽象仍然痛苦。 【引用 @mustafa01ali】：https://x.com/i/article/2098045587400658947

赶紧上车吧。Astra 的需求增长太快了！ ChatGPT 网页版中 ChatGPT Pro 20x 的购买现可被远程暂停。 "该套餐暂时无法新购。现有订阅不受影响。"

曾在 Deepmind 传播与政策团队工作 2018 至 2022 年的 Vishal Maini 称，当时任何层级都不被允许对外谈论人类灭绝的可能性，研究人员被指导将此类风险斥为危言耸听并转向医疗、气候等正面应用。团队内部明知对齐问题未解决且人手太少，在数月争取后公司放宽规则，允许正面框架的安全内容发布；Maini 认为内部认知与对外口径的差距正因证据更难忽视而缩小。

Ethan Mollick 认为当前数学界对 AI 的反应是锯齿状前沿（jagged frontier）的结果，也是其他职业将要面对的前兆。AI 能发现超越人类的证明，但数学家还承担导师、维护学术共同体、守护领域未来等 AI 做不到的工作；他担忧 AI 公司聚焦最显眼的任务，反而削弱了这些其他工作的外部认可，并预计更多职业将被迫向公众解释工作不只由 AI 能做的可见任务构成。

生活来得太快 【引用 @realBigBrainAI】：UCLA 数学教授、菲尔兹奖得主 Terence Tao 表示，AI 在真正困难的问题上仍然很糟糕，但在广度上无可匹敌：

为免费而构建 https://x.com/i/broadcasts/1NGarodVmyvJj

有人花 2000 万美元算力，去解一个奖金仅 100 万美元的数学题：用 AI 在三维空间中演示纳维-斯托克斯流体方程的解是否会在极端旋转下失控、诞生速度无限大的奇点。视频中向内螺旋又轴向拉伸的彩色涡旋，被称作 AI 首次向人类证明"物理学平滑世界终将破裂"的瞬间。

Augment Code 发布长文，复盘其九个月建设的软件工厂：2025 年 11 月至 2026 年 7 月，基于 Cosmos 平台在需求、工单、PR、生产四个环节部署 PR Author。

当 AI 用量达到上限后，作者反而获得了让最好的问题与那些更可疑的想法慢慢发酵的时间。文章围绕使用额度限制带来的这段空档展开，讨论它如何影响提问与思考的过程。

OpenAI CEO 称"我们已身处奇点"，并借 Merge 的 Universal Context Layer 描述企业 AI 的未来形态：公司可将全部共享知识与技能库建成一个统一治理的"大脑"，再决定每位员工可访问哪些上下文和技能。据引用推文，该上下文层可显著降低 token 成本并提升准确率，员工教给 AI 的技能会在全组织共享而非锁在个人会话中。

Gary Marcus 撰文反驳前 OpenAI/Anthropic 员工 Jacob Coxon 在 CNN 节目上关于 AI 可能在五年内杀死全人类的说法，认为该概率几乎为零。他指出超智能到来前仍需更多技术突破，并引述病毒学家观点称 AI 生成病毒难以消灭全人类；但他强调 AI 显著抬升生物武器、虚假信息、网络攻击等灾难性风险，主张关注这些现实威胁而非灭绝叙事。

Nebius AI Builder Program 现已开放，免费提供 400 美元以上额度与折扣、可运行代码和 cookbook、工程师 office hours 及社区支持。

"符号学习"就是"机器学习"（给定 （x， y） 对作为示例，自动学习函数 x -> y），只不过其基底是符号化的，即你学到的函数是代码式的，而非曲线式的。 这个术语是与"参数化学习"或"曲线拟合"相对立的。 符号学习并不意味着系统回避数字或概率。它意味着其学到的表示是离散的、显式的、简约的、代码式的。

微软AI在两个月内发布8款新模型，其中5款登上榜首，图像、语音和转录平均每7周推出一款。MAI-Transcribe-2号称全球最快、最准、最便宜的转录模型，MAI-Image 2.5/2.6/2.6 Flash首发即登顶Artificial Analysis排行榜，MAI-Cyber在CyberGym排名第一且成本节省50%。

接下来 48 小时内，v6 歌曲在任何付费方案上都零积分消耗。去探索 v6 能做什么吧。

OpenAI 告诉《纽约时报》：在完成 Navier-Stokes 问题之后，已对另一个千禧年大奖难题取得实质性进展，正在考虑如何公布这些结果。作者据此认为这基本证实了 OpenAI 很快将正式解决下一个千禧年难题的传闻。

智谱通过 Bigmodel 开放平台启动"智谱 · 杭州全城 Coding 计划"，活动时间为 9 月 10 日至 12 月 9 日。在杭工作人员和杭州高校在校生购买个人版 Coding 季卡可享 44% 综合减免、年卡可享 51% 减免，杭州市上城区企业购买年卡可享 55% 减免，单家减免上限 100 万元。

这就是 WORK DUO。

Nebius 上线 AI Builder Program，为开发者提供可运行蓝图、免费课程、工程师 office hours，会员首日可获 $400+ 额度与折扣。

Anthropic 发布 AI 经济影响情景研究，覆盖从影响甚微到 2030 年 GDP 增长 15%、知识工作者失业率达 18% 的多种可能。首席经济学家 Peter McCrory 与联创 Jack Clark 讨论称，目标不是做预测，而是理解可能结果的范围及其出现条件，以厘清各方对未来分歧的来源。

构建上下文丰富的企业级应用变得更简单了。Replit 与 Databricks 的集成现已正式可用，原生支持 Lakebase。用实时仓库数据和托管数据库层创建全栈应用。一切都在 Databricks 内部治理。 阅读公告 → http://replit.com/blog/databricks2026

编码器回归了，宝贝 【引用 @scaling01】：这是什么外星架构

加入 Tripothon S1--首届世界构建 3D 黑客松 5 条赛道。超过 $80，000 现金奖池，外加百万级资源。 提交截止 10 月 5 日。 报名链接和详情见下方推文串。

内嵌文字正是你还要打开 Photoshop 的原因。 Layers 现在能把它提取出来。选中图层，点击 Extract，文案就变成实时文本，并已套上最接近的字体库字体。重新输入。换字体。重新排版。 改一句文案只需两次点击，而不是重新生成。 Layers，由 Uni-1 驱动。

The Verge 作者实测 Meta 新推出的 AI 智能体 Muse，它基于云端虚拟电脑执行任务，成功清理了数千封推广邮件并按指定要求完成 Amazon 购买，也能生成 AI 播客、图像视频和名为 artifacts 的交互网页。

老家一个朋友给我打电话，让我给他推荐个 AI，我推荐了 WorkBuddy。 他接着问：要不要翻墙？ 我当时就知道，这个市场还大得很。

TechCrunch 报道称 AI 使填写表格和提交投诉更容易，多国公共服务申请量大幅上升：英国住房监察专员投诉从 2022 年的 2600 件增至去年超过 7000 件，美国 CFPB 投诉同期增长 5 倍。

有用户在 Hacker News 反映，OpenAI 会反复重新开启"允许训练"设置，他多次手动关闭并记录时间，最近检查时发现该选项又被重新启用。他提醒认为自己已关闭该设置的用户再次检查确认。

Coinbase 工程师开源 Stonkfly，把果蝇全脑连接组（MaleCNS v1.0）接入加密市场，用 16.67 万个神经元、2560 万条真实突触的放电决定 BTC 现货买卖。BTC 价格被画成 RGB K 线图映射到果蝇视觉神经元，左侧下行运动神经元放电更强就买、右侧更活跃就卖。作者在 README 明确表示未证明其具备稳定盈利的学习能力。

muse 会让你赚到钱！ 【引用 @GrousARK】：Muse 刚帮我找到了 $1，500+ 的未领资金。我现在是终身用户了。

一位研究人员称，OpenAI 使用对话数据进行训练，随后宣称取得突破性进展。该说法由 Hacker News 用户转发，原帖来自 Bluesky，HN 热度为 114 分。

国星宇航"星算"计划 02 组首批 8 颗卫星在台州算力卫星创新基地完成出征仪式，均由国星宇航自主研制，已通过中国信息通信研究院全流程测试，将于近期择机发射。入轨后它们将与 01 组在轨卫星协同组网。"星算计划"最终将由 2800 颗算力卫星组网，01 组已于 2025 年 5 月 14 日发射，成为全球首个太空计算星座。

现在 OpenAI 的员工也在表态支持放缓了。不再只是 Anthropic。 我坚持相反立场：加速！ 【引用 @eeeeiluj】：我在 OpenAI 工作。以个人身份，我也认为我们需要放缓。

Decoder 播客在邮件问答特辑中讨论了 AI 热潮引发的科技反弹情绪为何与以往不同。主持人 Nilay Patel 认为，AI 在软件领域因可验证性而表现突出，但一旦离开软件，验证难度大幅上升，而外界对 AI 的炒作恰恰忽视了这一点。

思特威发布 3MP 车规级图像传感器 SC365AT，为业内首颗集成 SerDes 与片上 ISP 的车载 CMOS 图像传感器，基于 CARSens®-XR Gen 2 工艺平台，采用 3.0μm 单像素设计与 Stacked BSI 架构。