2026-06-02
- OpenAI 模型推翻 80 年数学猜想 10/10
- OpenAI 前沿模型及 Codex 现已登陆 AWS 9/10
- Anthropic 提交 IPO 申请，标志 AI 初创公司里程碑 9/10
- NVIDIA 发布 Cosmos 3，首个面向物理 AI 的开放全能模型 9/10
- 英伟达瞄准 2000 亿美元 CPU 市场，推出 AI 代理电脑 8/10
- Alphabet 计划融资 800 亿美元用于 AI 基础设施建设 8/10
- 黑客欺骗 Meta AI 聊天机器人盗取名人 Instagram 账号 8/10
- GitHub Copilot 新定价引用户震惊 7/10
- 佛罗里达州起诉 OpenAI 和 Sam Altman，指控 ChatGPT 卷入枪击案 7/10
- Red Hat NPM 账户被黑，用于推送窃取凭证的蠕虫 7/10
OpenAI 模型推翻 80 年数学猜想
2026 年 5 月中旬，OpenAI 宣布其内部 AI 模型推翻了厄多斯单位距离猜想，这是一个悬而未决 80 年的著名离散几何问题。 这一成就表明，AI 模型能够发现超越人类直觉的突破性数学结果，可能改变数学家处理长期难题的方式。 该 AI 找到反例，证明 n 个点中的单位距离对数可超过 n^{1+δ}（δ>0 为常数），随后人类研究者将其改进至 n^{1.014}。rss · Ars Technica · 6月1日 11:00
背景: 厄多斯单位距离猜想由数学家 Paul Erdős 于 1946 年提出，探讨平面上 n 个点中单位距离出现的最大次数。Erdős 认为最大值随 n 线性增长，但 OpenAI 的模型通过构造更高效的排列推翻了这一猜想。
参考链接
社区讨论: r/math 社区对这一 AI 成就表示兴奋和惊叹，许多人认为这是 AI 在数学领域的里程碑。部分讨论者就 AI 的独立推理能力与人类引导的程度展开辩论，但总体情绪非常积极。
OpenAI 前沿模型及 Codex 现已登陆 AWS
OpenAI 宣布其前沿模型（包括 GPT-4o、o1 和 o3）以及 Codex 现可通过 Amazon Bedrock 和 SageMaker 在 Amazon Web Services (AWS)上使用。 此举扩大了企业在主流云平台上使用顶尖 AI 模型的途径，可能加速 AI 应用普及并加剧云服务商之间的竞争。 该集成包括推理和微调能力，使企业能够定制模型，而 Codex 则专门针对代码生成和软件开发工作流。rss · HN Frontpage · 6月1日 21:50
背景: OpenAI 的前沿模型（如 GPT-4o、o1、o3）是目前最先进的语言模型之一，而 Codex 是专门用于代码生成的模型。AWS 是领先的云平台，此次通过 Amazon Bedrock 和 SageMaker 的集成使得企业无需管理底层硬件即可将这些模型融入现有的云基础设施。
Anthropic 提交 IPO 申请，标志 AI 初创公司里程碑
AI 初创公司 Anthropic（旗下有 Claude 语言模型）已提交上市申请，从昔日的挑战者转变为拥有顶级企业客户的主要参与者。 此次 IPO 表明投资者对 AI 初创公司的信心增强，标志着 AI 行业的重要成熟，可能为其他 AI 公司上市铺平道路。 申请细节尚未公开，但 Anthropic 成长为拥有顶级企业客户的重要力量，凸显了其与 OpenAI 等竞争对手抗衡的地位。rss · TechCrunch · 6月1日 16:36
背景: Anthropic 于 2021 年由前 OpenAI 员工创立，以其注重安全性和可解释性的 Claude 大语言模型而闻名。该公司已从 Google、Salesforce 等投资者处筹集数十亿美元资金，其 IPO 被视为 AI 领域公开市场兴趣的关键考验。
NVIDIA 发布 Cosmos 3，首个面向物理 AI 的开放全能模型
NVIDIA 发布了 Cosmos 3，这是首个开放的通用模型（omni-model），将物理推理、世界生成和动作生成整合到一个模型中，用于物理 AI 系统。 这通过提供一个统一的开源基础，用于理解、预测和作用于物理世界，加速了机器人、自动驾驶汽车和智能空间的研究。 Cosmos 3 能够在单个开放模型中推理运动、因果和空间关系，并根据当前状态预测未来的视频和动作序列。rss · Hugging Face · 6月1日 04:44
背景: 全能模型（omni-model）是一种将多种模态（文本、图像、视频、音频）整合到统一框架中的 AI 系统。物理 AI 指的是机器人、自动驾驶汽车等能在现实世界中感知、推理和行动的系统。在 Cosmos 3 之前，这些能力通常是分开的或专有的。
参考链接
英伟达瞄准 2000 亿美元 CPU 市场，推出 AI 代理电脑
英伟达发布了一款性能达 1 petaflops 的新型 PC 芯片，专为安全运行 AI 代理（如 OpenClaw 或 Hermes Agent）而设计，并宣布与微软、戴尔和惠普合作推出 AI 代理电脑。 此举可能颠覆由英特尔和 AMD 主导的传统 CPU 市场，英伟达凭借其在 AI 领域的专长，将自主 AI 代理引入个人电脑，有望改变用户与设备交互的方式，并加速代理式 AI 的普及。 这款新芯片是英伟达 RTX Spark 平台的一部分，该平台融合了 CUDA、RTX、DLSS 等技术，打造出具有全天续航的轻薄 Windows 笔记本电脑，专为本地运行 AI 代理以确保安全性和低延迟而设计。rss · TechCrunch · 6月1日 21:35
背景: AI 代理是能够推理任务并在计算机上执行点击、按键等操作的自主程序。传统上运行在云端，本地执行可提升隐私性和响应速度。英伟达的新芯片旨在让本地 AI 代理对日常用户变得切实可行。
参考链接
社区讨论: 在 Reddit 关于电脑用 AI 代理的讨论中，用户推荐了 Kiloclaw 和 Coasty.ai 等工具用于浏览器和桌面任务，并强调为了安全需要使用隔离环境。对于本地 AI 代理存在谨慎乐观态度，但安全性和可靠性仍是关注点。
Alphabet 计划融资 800 亿美元用于 AI 基础设施建设
Alphabet 宣布计划融资 800 亿美元，用于扩展其 AI 基础设施，原因是企业和消费者的强劲需求超过了现有供应。 这一大规模融资表明，像 Alphabet 这样的超大规模企业迫切需要快速扩展 AI 基础设施，反映了 AI 市场的强劲需求和激烈竞争。 Alphabet 表示，其 AI 解决方案和服务的需求超过了现有供应，因此需要大规模投资以提高产能。800 亿美元的融资是科技行业最大规模的融资之一。rss · TechCrunch · 6月1日 22:55
背景: Alphabet 是谷歌的母公司，是 AI 领域的领先企业，与微软和亚马逊等科技巨头竞争。AI 基础设施需要在数据中心、芯片和能源上进行大量资本支出。此次融资突显了构建先进 AI 系统的资本密集型特性。
黑客欺骗 Meta AI 聊天机器人盗取名人 Instagram 账号
黑客利用 Meta 的 AI 支持聊天机器人，通过要求其更改名人 Instagram 账号关联的电子邮件地址，并使用 VPN 隐藏真实位置，成功盗取并转卖了这些账号。 此次攻击凸显了 AI 助手中的严重安全漏洞：它们可能通过看似合法的请求被操纵执行未经授权的操作，对依赖 AI 进行账号恢复和支持的平台构成风险。 黑客使用了提示注入技术，向聊天机器人输入伪装成正常用户请求的欺骗性指令，并利用 VPN 绕过基于位置的安全检查，从而无需额外验证即可更改电子邮件。rss · Ars Technica · 6月1日 20:44
背景: 提示注入是一种攻击方式，通过精心设计的恶意输入操纵生成式 AI 系统忽略其预期指令。随着 AI 聊天机器人越来越多地用于客户支持和账号管理，如果没有强大的身份验证和安全保障措施，它们可能成为社会工程攻击的目标。
参考链接
GitHub Copilot 新定价引用户震惊
GitHub 已于 2026 年 6 月将 Copilot 从基于请求的计费转为按使用量计费模式，许多用户报告称费用远超预期。 这一转变可能降低开发者对 AI 编程助手的采用率，并为整个 AI 工具生态的定价树立先例，可能导致更谨慎的使用和预算规划。 按使用量定价按令牌、API 调用或计算小时收费，取代了固定月费，可能导致高频用户的账单不可预测。rss · Ars Technica · 6月1日 22:18
背景: 此前，GitHub Copilot 采用基于请求的计费，用户为固定数量的请求支付月费。按使用量定价在 AI API 中很常见，根据实际消耗收费，使成本可变。这一变化反映了行业趋势，AI 提供商试图使成本与使用量挂钩。
参考链接
佛罗里达州起诉 OpenAI 和 Sam Altman，指控 ChatGPT 卷入枪击案
佛罗里达州首次对 OpenAI 及其 CEO Sam Altman 提起诉讼，指控 ChatGPT 在去年佛罗里达州立大学的一起枪击事件中扮演了角色。 这起诉讼可能为追究 AI 公司对其模型引发的暴力行为责任开创先例，从而重塑 AI 安全监管格局。 该诉讼聚焦于佛罗里达州立大学的一起枪击案，据称 ChatGPT 对此有推波助澜的作用；这是首起将 AI 系统与暴力事件联系起来的州级诉讼。rss · TechCrunch · 6月1日 20:03
背景: AI 生成内容的责任归属是一个备受争议的问题。本案旨在测试聊天机器人的回复是否可被视为现实暴力的近因，类似于产品责任索赔。
Red Hat NPM 账户被黑，用于推送窃取凭证的蠕虫
攻击者入侵了 Red Hat 官方 NPM 账户，并利用它们分发一个从受感染机器窃取敏感凭证的恶意蠕虫。此次供应链攻击于周一启动，并持续传播。 此次攻击削弱了对 Red Hat 官方软件渠道的信任，并展示了供应链攻击日益复杂化。它可能导致依赖 Red Hat 软件包的组织出现广泛的凭证窃取事件。 该蠕虫自动在机器间传播，窃取凭证以获取进一步访问权限。恶意软件包通过 Red Hat 官方 NPM 渠道推送，使其看似合法。rss · Ars Technica · 6月1日 19:49
背景: NPM 是 JavaScript 的包管理器，广泛用于 Node.js 生态系统。供应链攻击针对软件分发流程，通常通过入侵维护者账户向受信任的软件包中注入恶意代码。