OpenAI 奥尔特曼谈 AI 冲击数学界:数学家会经历哀悼五阶段后接受现实
OpenAI CEO 萨姆・奥尔特曼在斯坦福大学发表演讲称,数学界面对人工智能的冲击将经历类似哀悼的五个阶段并最终接受现实。然而这一乐观判断与数学界的激烈争议形成反差,此前 OpenAI 攻克数学难题及相关竞赛引发了学者们的愤怒与担忧。
OpenAI CEO 萨姆・奥尔特曼在斯坦福大学发表演讲称,数学界面对人工智能的冲击将经历类似哀悼的五个阶段并最终接受现实。然而这一乐观判断与数学界的激烈争议形成反差,此前 OpenAI 攻克数学难题及相关竞赛引发了学者们的愤怒与担忧。
DeepSeek V4.1 Flash 已在 OpenClaw 正式上线并开放使用。官方正收集用户在智能体场景下的实际应用反馈。
OpenAI 全面开放基于 GPT-6 Luna 构建的决策 API,将模型智能聚焦于限定答案问题以协助准实时决策。该 API 响应速度比标准调用提升高达 10 倍,输入每百万 token 收费 0.1 美元且输出 token 免费。公测以来其新增了原生 GPT-Live 集成、Prompt 缓存及多地数据驻留支持,并支持原生 JSON 输入、图像问题指令及单次最多提交 400 个问题。
1Password 推出 1Password for Agents 平台,面向个人及家庭版用户推出,首批支持 Meta Muse、OpenAI ChatGPT Work 与 Dots、Anthropic Claude Duet、Grok Bot 及 Town 等主流 AI 智能体。
Perplexity 宣布其决策模型现已支持在 Mac 上完全本地化运行,所有数据均保留在本地设备上。
Anthropic 与 Theorem 合作证明,利用 Claude 可以在更大规模上自动生成形式化软件验证证明。研究团队在 100 多个开源库的 RISC-V 汇编代码级别上证明了安全属性,并在编写证明过程中发现了多年未被检测出的漏洞。随着模型能力提升与证明复用,形式化验证有望成为安全软件开发的重要部分。
微软发布了 AI 诊断系统 MAI-DxO,其在 NEJM 复杂病例评估中的诊断准确率达到 83%,研究成果已正式发表在《科学》期刊。该系统通过编排多个 AI 智能体模拟专家联合会诊过程,在急诊科常见病例评估中的准确率达到人类医生的 1.7 倍,且成本仅为医生的一半到三分之一,其中表现最亮眼的基础模型为 OpenAI 的 GPT-5 及 GPT-5.5。
Grok Bot 开始支持调用手机原生应用,目前正面向 iOS 和 Android 平台推送更新。
英特尔首席技术官普什卡·拉纳德在播客中表示,全球尖端晶圆产量最多只能增长两倍而难以扩大十倍,AI 算力扩张正遭遇半导体供应链天花板。拉纳德指出,光刻机等关键设备制造、洁净室与晶圆厂规模以及供应链协同扩产能力,共同构成了限制先进芯片产出的主要瓶颈。
WordPress 的 Invisible Anti-Spam & CAPTCHA 插件通过浏览器端执行的轻量级加密工作量证明替代了传统的人机验证。访客发送表单时无需任何交互,浏览器可在几毫秒内完成计算,从而在拦截垃圾信息的同时实现零用户摩擦。该插件无需账号或外部 API 密钥,所有处理均在本地服务器运行。
开源项目 Consumer Agent Testing Tool (CATT) 发布 0.2.1 版本,支持针对 Muse 或 Instinct 模拟仿真目标在持续集成(CI)中测试智能体与服务。该工具允许对 MCP 服务器、MCP 应用、网站或 HTTP API 运行脚本化或模型驱动的智能体,检查服务行为、审查证据并跨构建比对结果。
Viggle AI 发布了世界模型 JST-2,支持文本、图像或视频输入并输出 3D 角色、动作和场景。官方同时展示了发布三天内社区用户基于该模型创作的相关案例。
Meta 个人智能体 Muse 宣布正式登陆日本市场,并提供官方下载入口。
用户在 Google Cloud 上有两种使用 Claude 模型的方式可供选择。选择 Google 托管的 Claude 模型可获得边界内安全保障、区域数据驻留和原生云集成等特性。选择 Anthropic 托管的 Claude 模型则能通过 Google Cloud IAM 与计费访问完整的 Claude 平台。
Claude Code v2.1.309 版本正式发布,主要修复了 macOS 和 Linux 系统下的沙箱 Bash 命令、权限检查以及多项会话与工具配置问题。新版本同时优化了 Windows 平台上的 git 命令执行速度,并改进了错误提示信息的语言。
一则独家摘录披露,荷兰情报机构曾通过漏洞监控 Jared Kushner 的 iPhone 并发现其关联阿联酋和沙特资金的银行账户。这些账户涉及数亿美元的资金转移,并与中东政治运作及相关交易产生关联。
企业 AI 的竞争优势正从模型本身转向围绕模型的服务架构,工程系统决定了智能能否可靠、经济、大规模地交付。技术领导者应从具体工作负载出发,关注延迟、并发和成本等生产约束,而非盲目追求模型性能。构建适应性强的服务架构能够确保企业在面对模型与硬件迭代时无需重构平台,实现可持续的商业价值。
Grok Bot 接入 1Password,支持代用户自动登录网站,无需再手动控制机器人电脑进行登录操作。
OpenAI 正洽谈在 IPO 前夕以 1.25 万亿美元投前估值融资至多 300 亿美元,此轮融资由 Coatue 和阿联酋投资者领投,并可能伴随算力合作。同时,Anthropic 也传出寻求以 1.5 至 2 万亿美元估值进行公开上市的消息。
Grok Bot 现已支持在手机上使用日历、提醒事项、通讯录等应用,该功能正面向 iOS 和 Android 平台陆续推出。
https://x.com/i/article/2113363792482480128
Microsoft 与 Hugging Face 联合发布 ThinkingBox-Training,将数据库终端状态的可执行检查转化为强化学习奖励来训练智能体。通过离线策略相对难度过滤并结合 GRPO 微调 Qwen3.8-27B,使其在 ThinkingBox-Bench 上的平均成功率和观察到的全过率均显著提升。
推荐理由:原文公开了利用数据库终端状态作为强化学习奖励的训练方案,展示了智能体在业务工作流中可重复成功率的显著提升。
Canva 推出了自研 AI 图像生成模型 Canva Craft,采用两阶段架构以提升设计规划能力。该模型支持最高 2K 分辨率与 30 多种宽高比,在 Design Arena 竞技场排行榜上暂列第四位,目前已向全球所有用户开放。
Sami Smith 推出了 Railpass,包含 Frankfurt 至 Leipzig 的路线以及德国随机天气和声音填充等功能。
MIT CSAIL 与天津大学推出 X-Hinges 软件,可直接 3D 打印出能够感知动作的自感知物件。