Stripe 以约 80 亿美元收购 AI 路由平台 OpenRouter
Stripe to Acquire AI Router OpenRouter for ~$8B ⭐️ 9.0/10
Stripe 已同意收购 AI 模型路由平台 OpenRouter，据路透社报道交易金额略高于 80 亿美元，但官方尚未披露具体价格。 这标志着支付基础设施与 AI 代币经济的显著融合。通过将 Stripe 的美元流动与 OpenRouter 的代币流动结合，这笔交易可能重塑 AI 服务的商业化与支付方式。 OpenRouter 以将查询路由至多个大语言模型并按 Token 用量计费而闻名。据称此次收购金额超过 80 亿美元，但双方公司均未官方确认具体数字。
rss · AI Will(@FinanceYF5) · Aug 20, 03:38
背景: Stripe 是一家主要的在线支付处理公司。OpenRouter 是一个聚合多种 AI 模型并提供统一 API 的平台，使开发者可以在不同模型之间选择并按 Token 付费。合并后的实体将把金融交易与不断增长的 AI 应用生态整合在一起。
标签: #Stripe, #OpenRouter, #AI Infrastructure, #M&A, #Payments
OpenAI 预告：可在浏览器中完成任何事的 AI
OpenAI Teases AI That Can Do Anything in Your Browser ⭐️ 9.0/10
OpenAI 联合创始人 Greg Brockman 预告了“OpenAI for anything you can do in your browser”，即能执行任何浏览器任务的 AI 代理。该帖子展示了 Codex 在浏览器、Chrome 和电脑自动化中的应用，例如管理 Gmail 和配置 SaaS 工具。 这标志着 OpenAI 正从聊天助手转向能在真实软件环境中完成多步骤任务的自主智能体。如果实现，将重塑日常数字工作，让用户把繁琐的浏览器操作交给 AI 完成。 这条推文缺乏技术细节，也没有公布产品名称或发布日期。引用列表聚焦于现实世界的杂务，例如结清会计账目、清理 LinkedIn 队列、设置 Stripe Radar 规则，以及对每个拉取请求进行基于浏览器的 QA。
rss · Greg Brockman(@gdb) · Aug 20, 14:44
背景: 大型语言模型越来越多地被封装在“智能体”框架中，使其能够操作电脑、浏览网页和使用软件。OpenAI 的 Codex 最初面向编程任务，但被引用的用户展示了它可以应用于通用浏览器自动化。这条预告表明 OpenAI 正瞄准更广泛的、面向消费者的“在浏览器中做任何事”能力。
标签: #AI, #OpenAI, #Browser Automation, #Agent, #LLM
GLM-5.3（Max）在 Code Arena WebDev 基准测试中推动帕累托前沿
GLM-5.3 (Max) shifts Pareto frontier in Code Arena WebDev benchmark ⭐️ 8.0/10
Z.ai 公司的 GLM-5.3（Max）在 Code Arena: WebDev 基准测试中获得 1597 分，在开放模型中排名第 2，总体排名第 8。其价格为每百万 token 3.65 美元，与 Qwen3.8（Max）的 5.00 美元相当，并优于 Gemini-3.7-flash-high（2.86 美元）和 Deepseek-v4-flash-high（1.10 美元）。 这一结果表明，开放权重模型能够以有竞争力的价格实现顶级编码性能，推动性价比的帕累托前沿。它加强了开放 AI 生态系统，并可能促使专有模型和其他开放模型提供商提升效率。 GLM-5.3 是基于 743B 参数的基础模型，并针对编码和网络防御进行了进一步的后训练。开放权重尚未发布，因此在权重可用之前，开放模型排名第 2 只是暂时的。
rss · Arena.ai(@lmarena_ai) · Aug 20, 23:27
背景: Code Arena: WebDev 是一个评估大型语言模型在 Web 开发任务（包括代码生成和调试）上表现的基准。这里的帕累托前沿代表在成本和性能之间可达到的最佳权衡。Z.ai（原智谱 AI）以 GLM 系列模型著称，该系列一直与领先的开放和闭源模型竞争。
标签: #LLM, #Benchmarks, #GLM, #AI, #Code Generation
冯骥发布游戏开发十条工作原则
Feng Ji shares 10 game dev principles after Black Myth: Zhong Kui trailer ⭐️ 8.0/10
《黑神话：钟馗》制作人冯骥（尤卡）在发布新实机预告的同时，公布了十条游戏开发工作原则，涵盖先打动自己、寻找契合受众、以亮点优先而非先消灭缺陷等内容。 这些原则来自中国最具影响力的游戏制作人之一，坦诚且实用，不仅适用于游戏开发，也适用于产品与内容策略。它们还体现了“知难而进”的哲学，正是这种精神帮助游戏科学凭借《黑神话：悟空》赢得了全球认可。 这十条原则包括：首先打动自己、再找外部交集、发现亮点先于消灭缺陷、可体验版本胜过满纸雄文、好玩是目标也是底线、美无定式、走投无路提升密度、起点看最高终点当领跑、难能可贵、以及理念是廉价的但贯彻理念的行动可贵。冯骥还回忆 2019 年公司在“打动自己”之外增加了“知难而进”四个字。
rss · 歸藏(guizang.ai)(@op7418) · Aug 20, 04:48
背景: 冯骥（尤卡）是游戏科学的联合创始人兼制作人，该工作室开发了 2024 年全球大获成功的 3A 单机游戏《黑神话：悟空》，这是中国首批获得全球认可的 3A 作品之一。这些原则是在新作《黑神话：钟馗》公布之际分享的，延续了工作室对中国神话的专注。他还回顾了游戏科学早年“东搞西搞，投机取巧”的状态，并对比后来“知难而进”的转向。
标签: #Game Development, #Product Strategy, #Content Creation, #Design Principles
OpenAI 将 ChatGPT 引入苹果 iMessage
OpenAI Brings ChatGPT to Apple's iMessage ⭐️ 8.0/10
OpenAI 官方宣布 ChatGPT 正在与苹果 iMessage 集成，用户可以直接在“信息”应用中与 AI 助手对话。该消息由 ChatGPT 官方账号在 X 上发布的一段视频正式公布。 此举将 ChatGPT 带入 iOS 上最常用的即时通讯应用之一，让 AI 助手在日常对话中更容易触达。这也表明 AI 助手在消费级通讯平台上的集成竞争正在加剧。 此次集成通过 X 上的一段短视频公布，但官方尚未分享具体的上线时间、功能细节或支持地区。预计 OpenAI 后续会公布 iMessage 集成的更多部署信息。
rss · The Rundown AI(@TheRundownAI) · Aug 20, 18:26
背景: ChatGPT 是 OpenAI 推出的对话式 AI 助手，可以回答问题、撰写文本并协助完成多种任务。iMessage 是苹果面向 iPhone、iPad 和 Mac 的内置即时通讯服务。两者的集成将让 iPhone 用户无需离开对话即可使用 ChatGPT。
标签: #AI, #ChatGPT, #iMessage, #Apple, #Integration
Cursor 将 AI Agent 从一次性任务升级为长期目标
Cursor turns AI agents from one-shot tasks to long-term goals ⭐️ 8.0/10
Cursor 推出了/goal、/loop 和 Custom Mode，使 AI Agent 能够围绕明确目标持续工作直到完成，并支持定期检查进度和自定义执行规则。 这使 AI 编程助手从处理孤立的单次指令转变为自主追求长期工程目标，例如修复所有不稳定测试或让 CI 恢复通过。它有望大幅减少开发者反复监督和催促的需求，显著提升生产力。 /goal 命令用于定义目标，/loop 用于定期检查进度，Custom Mode 则在整个执行过程中强制执行特定规则。帖子中给出的示例是："/goal 修复所有不稳定测试，让 CI 恢复正常"。
rss · AI Will(@FinanceYF5) · Aug 20, 03:18
背景: Cursor 是一款广受开发者欢迎的 AI 代码编辑器，以其 Agent 化编程功能著称。此前，其 Agent 模式通常只处理一次性请求；这些新命令使它转向以目标为导向的长期自主执行。这也反映了 AI Agent 从短周期任务向持续多步骤工作流演进的行业趋势。
标签: #Cursor, #AI Agent, #AI Coding, #Developer Tools, #Automation
Gary Marcus 指出 OpenAI 企业报告回避 ROI 问题
Gary Marcus: OpenAI's Enterprise Report Ignores the ROI Question ⭐️ 8.0/10
Gary Marcus 公开批评 OpenAI 关于 ChatGPT 企业采用的 69 页报告未涉及投资回报率问题，并引用了《财富》杂志的一篇文章，该文章发现 AI 使用与人均收入之间没有相关性。 这一批评意义重大，因为企业正在大规模投资 AI，需要明确的价值证据；缺乏 ROI 讨论可能影响采用决策，并引发关于 AI 经济影响的更广泛辩论。 《财富》杂志的文章似乎发布于 2026 年 8 月 13 日，该推文包含 32 个赞和 2,130 次浏览等互动数据。Marcus 特别指出该报告“没有解决最大的问题：ROI”。
rss · Gary Marcus(@GaryMarcus) · Aug 20, 22:28
背景: OpenAI 一直在积极推广 ChatGPT 的企业应用，这份 69 页的报告似乎是这一努力的一部分。然而，批评者认为，如果没有明确的投资回报证明，企业采用可能更多是受炒作驱动，而非基于经证实的经济效益。所引用的《财富》文章似乎分析了数据，发现 AI 使用与人均收入之间没有相关性，进一步助长了质疑。
标签: #AI, #OpenAI, #ROI, #Enterprise Adoption, #AI Economics
Jim Fan：GEN-1.5 的成功源于人类重复动作数据
Jim Fan: GEN-1.5's Success Rooted in Repetitive Human Data ⭐️ 8.0/10
在最近的一篇帖子中，Jim Fan 解释了 GEN-1.5 的出色表现源于人类采集数据中自然重复的动作，特别是对称模式（例如成对拧螺栓）和失误后的恢复行为。他认为，在训练数据中保留这些“失败的”前半段，能让模型在测试时实现上下文内改进。 这一分析为扩展机器人操作数据提供了一个简单而强大的方法：不要过度清洗演示数据，而是让自然的重复和恢复行为充当免费的训练信号。这也进一步支持了用 UMI 这类直接采集方式而非遥操作，从而可能重塑机器人社区收集训练数据的方式。 Jim Fan 特别提到 UMI（通用操作界面），它让人直接穿戴机器人夹爪采集数据，绕过了遥操作链路（人→VR/骨骼设备→机器人→数据）带来的“物理直觉”损失。他还指出，数据足够多时许多行为可以零样本完成，但目前的演示还太简单，无法最终确认上下文学习是否真正有效。
rss · Jim Fan(@DrJimFan) · Aug 20, 15:48
背景: GEN-1.5 是一个从人类演示数据中学习的机器人操作模型。在机器人学习中，采集高质量数据是主要瓶颈：遥操作（通过 VR 或骨骼追踪远程控制）在人与机器人之间引入了隔阂，而 UMI 让人直接化身机器人夹爪来记录动作。Jim Fan 关于重复动作的观点（例如组装对称零件、捡起掉落的物体）在于，这些自然重复相当于内置的数据增强，为模型提供了免费的动作延续示例，即在被打断后如何继续。这与机器人领域“上下文学习”和零样本泛化的趋势相关联。
标签: #Robotics, #AI, #Learning from Demonstration, #Data, #Manipulation
黑客投毒 Rust 'arrayref' 包，分发信息窃取恶意软件
Hackers Poison Rust 'arrayref' Crate to Distribute Infostealer Malware ⭐️ 8.0/10
攻击者发布了恶意版本的 Rust crate 'arrayref'，将信息窃取恶意软件植入开发者的构建中。这个被投毒的包旨在从无意中使用它的开发者那里窃取敏感信息。 这是一起针对广泛使用的 Rust crate 的供应链攻击，可能危害许多下游项目并泄露开发者的凭据和机密。它凸显了开源生态系统被用来分发恶意软件的风险日益增长。 恶意包以与合法 arrayref crate 相同的名称发布，这是一种常见的仿冒或接管手段。获取了被污染版本的开发者，其密码、API 密钥和其他机密可能会被外泄给攻击者。
rss · Hacker News: Newest · Aug 21, 00:07
背景: Rust crate 是通过 crates.io 仓库分发的软件包，通常作为 Rust 项目的依赖使用。针对包管理器的供应链攻击已成为黑客感染开发者机器的常见方式，因为恶意代码会在构建过程中自动运行。信息窃取器是一种专门从受感染系统中收集凭据和个人数据的恶意软件。
标签: #security, #supply chain, #rust, #malware, #open source
Replit 与 OpenAI 宣布迟来的合作，将 GPT-5.6 Luna 引入免费版
Replit and OpenAI announce long-overdue partnership, bringing GPT-5.6 Luna to free tier ⭐️ 8.0/10
Replit CEO Amjad Masad（阿姆贾德·马萨德）宣布与 OpenAI 建立合作，称这次合作“早该达成”，并分享了一段 OpenAI CEO Sam Altman（山姆·奥特曼）讲述两家公司初次相识故事的视频。Replit 引用的推文称，Replit 免费模式将由 OpenAI GPT-5.6 Luna 驱动，目标是让智能惠及所有人。 此次合作可能将 OpenAI 的模型直接引入 Replit 这个被广泛使用的云端编码平台，让学习者和独立开发者更容易获得 AI 辅助开发能力。这也反映了 AI 实验室与开发者工具公司之间更紧密结盟、将生成式 AI 嵌入日常软件开发的大趋势。 这条公告提到，双方的联系早于 Replit 进入 Y Combinator，当时 Paul Graham（保罗·格雷厄姆）请 Sam Altman 去招募这家初创公司。帖文中没有提供由 GPT-5.6 Luna 驱动的免费模式的具体条款、定价和上线时间。
rss · Amjad Masad(@amasad) · Aug 20, 19:01
背景: Replit 是一个基于云的开发环境，用户可以在浏览器中编写、运行和部署代码，因此深受初学者、教育者和创业团队欢迎。OpenAI 是 GPT 系列模型和 ChatGPT 背后的公司，把这些模型嵌入编程工具，可让自然语言提示更轻松地变成可运行的软件。Y Combinator、Paul Graham 和 Sam Altman 都是创业圈的重要名字，这也是 Replit CEO 觉得这次合作具有象征意义的原因。
标签: #Replit, #OpenAI, #Partnership, #AI Coding, #Developer Tools
Meta 发布 Muse Spark 1.2 多模态模型，可将视觉转化为代码并引导机器人。
Meta unveils Muse Spark 1.2 multimodal model that turns visuals into code and guides robots. ⭐️ 8.0/10
Meta 发布了 Muse Spark 1.2 多模态模型，支持将视觉转化为可运行的代码、音视频理解以及将感知转化为物理动作。此次发布还包含新的评估和演示，展示了该模型引导机器人在非结构化环境中导航并找到橡皮鸭的过程。 Muse Spark 1.2 展示了在单一模型中实现感知、推理与行动的融合，这可能对企业的视频工作流程和机器人技术产生重大影响。通过展示视觉转代码和机器人导航能力，Meta 将自身置于多模态 AI 应用的前沿。 该模型的一个演示强调了它如何解析多模态观察并调用工具来引导机器人在非结构化环境中行动。它同时强调强大的音视频理解能力，旨在应对企业实际使用中常见的视频密集型工作流程。
rss · AI at Meta(@AIatMeta) · Aug 20, 17:06
背景: 多模态 AI 模型旨在处理并整合来自文本、图像、音频和视频等多种模态的信息。通过统一感知和行动，这类模型可支持从截图生成代码到自主机器人导航等应用，使 AI 更适用于现实世界的任务。
标签: #AI, #Multimodal, #Meta, #Robotics, #Model Release
OpenAI Codex 将代码迁移从数年缩短至数周
OpenAI Codex Accelerates Code Migrations from Years to Weeks ⭐️ 8.0/10
OpenAI 总裁 Greg Brockman 表示，Asana 使用 Codex 在两周内完成了从 Enzyme 到 React Testing Library 的前端测试迁移，而该项目原预计还需五年。 这是一个高调案例，表明 AI 辅助工程可以把耗时数年的迁移项目压缩到数周，可能重塑企业处理技术债务和遗留系统的方式。同时也对开发者工具生态形成竞争压力，因为 AI 智能体正变得能够承担大规模代码库维护工作。 该说法基于 OpenAI Developers 的引用推文，并附有 OpenAI 网站上的 Asana 案例研究链接，而非详尽的技术报告。迁移工作针对的是前端测试代码，因此“从数年缩短到数周”的效果未必适用于所有类型的代码迁移。
rss · Greg Brockman(@gdb) · Aug 20, 06:36
背景: Codex 是 OpenAI 的 AI 软件工程智能体，能够读取代码库并执行重构、迁移等编程任务。Enzyme 和 React Testing Library 都是 React 生态中常用的 JavaScript 测试工具，但二者 API 和使用模式不同，迁移意味着要重写大量测试文件。Asana 是一家工作管理公司，其代码库规模足够大，因此这项前端测试迁移原本预计还需五年时间。
标签: #AI-Assisted Development, #Codex, #Code Migration, #OpenAI, #Developer Tools
Pika 发布多模态音乐模型，采用统一潜在扩散解码器
Pika unveils multimodal Music model with unified latent-diffusion decoder ⭐️ 8.0/10
Pika 推出了新的 Music 模型，它可以单独或组合接受文本、歌词、人声参考和音乐参考。所有信号都在一个共享的潜在扩散解码器内处理，以生成完整的曲目。 这标志着 AI 音乐生成领域的一个重要进展，因为它在单一解码器中统一了多种控制信号，而不是串联独立的工作流。这种方法有望提升使用生成式 AI 的音乐人和内容创作者所获得的一致性与创作控制力。 该模型接受四种输入模态：文本、歌词、人声参考和音乐参考。在单一潜在扩散解码器中，它会同时解析音乐结构、人声特质、文字指示和参考“氛围”。
rss · Pika(@pika_labs) · Aug 20, 17:01
背景: 潜在扩散是一种生成式 AI 技术，通过在潜在空间中对压缩表示进行去噪来生成内容，常用于图像、视频和音乐生成。大多数音乐生成工具依赖独立的流程或级联模型来处理歌词到旋律、声音克隆等子任务，而 Pika 提出使用一个共享解码器。这种设计可能让模型更好地融合所有输入信号，生成更完整连贯的最终曲目。
标签: #AI music generation, #multimodal, #diffusion models, #generative AI, #Pika
JetBrains 宣布首日支持 Go 1.27
JetBrains Announces Day-One Support for Go 1.27 ⭐️ 8.0/10
JetBrains 宣布其 IDE 在 Go 1.27 发布首日即提供支持，重点介绍了泛型方法、结构体复合字面量中的提升字段名、改进的函数类型推断等语言新特性，以及 go fix 的现代化器和用于查找 goroutine 泄漏的 profile 等工具更新。 这项支持很重要，因为 IDE 的首日支持让 Go 开发者无需等待插件更新即可立即使用新的语言和工具特性，从而减少升级时的摩擦。这也表明了 Go 不断演进的语言特性和性能分析能力在生产应用中的重要性日益提升。 Go 1.27 引入了泛型方法，允许方法拥有自己的类型参数，并改进了函数类型推断。go fix 工具新增了现代化器（modernizers），新的性能分析模式有助于检测 goroutine 泄漏。
rss · The JetBrains Blog · Aug 20, 10:19
背景: Go 是一种由 Google 开发的静态类型、编译型编程语言，以其简洁性和强大的并发支持而闻名。每个版本（如 Go 1.27）都会带来语言和工具链的改进，JetBrains（GoLand）的 IDE 支持通常会与这些版本同步。泛型方法和改进的类型推断是 Go 在 1.18 版本引入泛型之后持续演进的一部分。
标签: #Go, #Release, #JetBrains, #IDE, #Programming Language
黑客新闻精选：Go 1.27、OpenRouter 与 Stripe 合并、Android GPLv2 违规、恶意 Rust 包
Hacker News Roundup: Go 1.27, OpenRouter-Stripe, Android GPLv2, Malicious Rust Crate ⭐️ 8.0/10
2026 年 8 月 21 日的黑客新闻精选涵盖了十条热门故事，包括 Go 1.27 发布（引入泛型方法）、OpenRouter 并入 Stripe、Google 违反 GPLv2，以及恶意 Rust 包 arrayref 被从 crates.io 移除。 这份精选揭示了编程语言、AI 基础设施和开源安全方面的高影响动态，影响开发者与企业。Go 的发布和 OpenRouter 与 Stripe 的合并标志着行业进展，而 GPLv2 违规和恶意包则凸显了信任与许可方面的持续风险。 Go 1.27 引入了泛型方法、性能优化以及新的标准库包 encoding/json/v2。OpenRouter 每天处理超过 10 万亿 token，提供 400 多个 AI 模型，与 Stripe 合并后将继续保留名称、使命和产品路线图，交易预计几周内完成。
rss · HackerNews每日摘要 on SuperTechFans · Aug 21, 00:04
背景: 黑客新闻（Hacker News）是一个热门科技论坛，社区会提交并投票与计算、创业和科学相关的链接。这份精选汇总了当天讨论最多的话题；本版包括编程语言 Go 的重要版本 1.27，以及 AI 模型市场与网关 OpenRouter。
社区讨论: 精选中的黑客新闻评论既有实用建议也有怀疑：用户讨论粘贴 AI 回复的伦理、OpenRouter 对企业的适用性，以及 Android GPLv2 违规的技术影响。
标签: #Hacker News, #Go, #AI, #Security, #OpenRouter
萨顿称合成数据是 AI 扩展的“大错误”
Sutton Calls Synthetic Data a 'Big Mistake' for AI Scaling ⭐️ 8.0/10
图灵奖得主理查德·萨顿公开批评合成数据是扩展大型语言模型的“大错误”，认为任何对真实世界的模拟都“微不足道”，而人类专业知识反而成为瓶颈。他主张智能体应持续从自身真实世界经验中学习，而不是依赖固定的模型。 这一观点直击业界主流的合成数据扩展 AI 的实践，可能影响各大实验室的研究优先级和数据策略。作为强化学习先驱和图灵奖得主，萨顿这一颇具挑衅性的论断很可能加剧关于扩展定律以及通往更强通用 AI 路径的讨论。 萨顿的论点基于“大世界假说”，即真实世界无限复杂，任何合成模拟相比之下都微不足道。他提出的替代方案是从直接经验中持续学习，这与当前强调静态数据集和固定模型权重的做法形成鲜明对比。
rss · The Decoder · Aug 20, 12:14
背景: 合成数据是指通过算法或模型人工生成的数据，常用于补充或替代真实数据，以应对真实数据稀缺、昂贵或涉及隐私等问题。萨顿是强化学习领域的基础性人物，该范式强调智能体通过与环境的互动和奖励信号进行学习，而非被动处理静态样本。这一争论折射出当前 AI 扩展中“以数据为中心”的路线（如靠海量数据集训练大模型）与更接近人及动物适应方式的“经验驱动”学习范式之间的深层张力。
标签: #synthetic data, #large language models, #reinforcement learning, #AI scaling, #Richard Sutton
Anthropic 最强模型“Model 2”仅供内部使用
Anthropic's most capable model codenamed 'Model 2' is internal-only ⭐️ 8.0/10
据报道，Anthropic 内部正在使用一个未发布的 AI 模型，代号为“Model 2”。The Decoder 称，该模型比任何公开的 Claude 模型都更强大。 这一点很重要，因为它表明 Anthropic 最先进的 AI 可能不会向公众开放，或许是出于竞争或安全考虑。这也可能意味着该公司的公开模型落后于其内部前沿能力。 关于该模型的架构、规模或训练情况，目前没有公开任何技术细节。这篇报道援引了匿名消息来源，Anthropic 尚未正式确认该模型的存在。
rss · The Decoder · Aug 20, 10:04
背景: Anthropic 是一家领先的人工智能研究公司，以其 Claude 系列大语言模型而闻名。许多 AI 公司会开发比公开产品更强大的内部模型，用于研究实验或内部基础设施。这种做法会在公开可用模型与公司自身使用的模型之间形成差距。
标签: #AI, #Anthropic, #Claude, #Internal Model
报告称宇树科技 IPO 受国资循环数据交易推动
Unitree IPO fueled by state-backed circular data deals, FT reports ⭐️ 8.0/10
宇树科技在上海 IPO 首日大涨 460%，估值约 500 亿美元。据英国《金融时报》报道，其机器人需求很大部分来自国资培训中心——这些中心购买机器人，再将产生的数据卖回给制造商，形成循环融资模式。 这一报道揭示了中国 AI 机器人领域中与国资相关的循环融资机制，引发了对需求真实性及 IPO 估值透明度的担忧。这与美国对英伟达“投资 AI 初创企业、而后者又购买其芯片”的批评如出一辙。 宇树科技在上海交易所上市首日大涨 460%，估值约 500 亿美元。该循环模式的具体操作是：国资培训中心购买人形机器人，再把采集到的训练数据卖回给宇树等机器人制造商，从而虚增了表面需求。
rss · The Decoder · Aug 20, 09:23
背景: 循环融资是指企业的收入由关联方购买其产品所支撑，而相关资金最终又流回卖方，从而营造出市场需求旺盛的假象。在中国，国资背景实体常被用来推进人工智能和机器人等战略目标。此前美国也有人批评英伟达投资 AI 初创企业，而这些企业又用所得资金购买英伟达芯片，被部分评论者视为类似循环模式。
标签: #AI, #China, #Robotics, #IPO, #Circular Financing
陶哲轩警告：AI 或引发数学自哥德尔以来最大危机
Terence Tao warns AI could trigger mathematics' biggest crisis since Gödel ⭐️ 8.0/10
在一篇新文章中，陶哲轩警告，AI 生成的证明可能复杂到人类无法验证，从而将数学推向与 1900 年前后基础危机相当的境地。他认为，无法由人类解释的证明应被视为不完整。 这一警告挑战了数学证明的长期观念，并引发关于什么算贡献、谁完成了工作的疑问。它可能重塑 AI 时代数学的研究、发表、评价与信任方式。 陶哲轩的经验法则是：如果某个证明没有人类能够解释，就应被视为不完整。他把即将到来的冲击描述为对数学领域价值观的考验，而非数学真理本身的危机。
rss · The Decoder · Aug 20, 08:49
背景: 1900 年前后，罗素悖论和哥德尔不完备定理等发现揭示了形式系统的局限，引发了数学的基础危机。哥德尔在 1931 年证明，任何足以表达算术的一致系统都包含既不能被证明也不能被否证的命题。陶哲轩如今指出，AI 构建的证明可能带来一种新问题：问题不在于定理是否为真，而在于人类能否理解和验证其推理过程。
标签: #AI, #Mathematics, #Terence Tao, #Mathematical Proof, #Philosophy of Mathematics
📊 运行统计 · 总耗时
5m 54s· AI 分析2m 49s· Tokens0.51 MCY(输入0.30/ 输出0.21MCY)