AI 新闻

TechCrunch 报道称，OpenAI 生成的大量数学证明偏离了其咨询的数学研究者所设定的规范。这暴露出前沿模型在专业数学场景中，形式正确性与学术规范之间仍存在明显落差。

Hacker News 上一条帖子提出用 SI（Synthetic Intelligence）替代 AI（Artificial Intelligence），并戏称坚持叫 AI 的人成了美国的敌人，折射出技术命名背后的话语权争夺。

《今日美国》母公司及其旗下多家地方报纸起诉 OpenAI，指控其未经授权复制数十万篇文章用于训练模型，索赔逾 2.5 亿美元。这是新闻出版业与 AI 公司版权之争的最新一例。

SpaceXAI 以创始企业赞助方身份加入 Omacom 基金会，向 DHH 的 Linux 发行版 Omarchy 捐赠价值 150 万美元的 Grok token，算力而非现金成为开源赞助的新形式。

Anthropic 一年多来首次更新使用政策，在选举干预、武器开发、监控等高风险场景之外，新增禁止对 Claude 进行“持续且不必要的辱骂或残忍行为”，把用户与 AI 的互动方式本身纳入监管。

JetBrains 发布 Apache 2.0 许可的 Mellum2.1，一个 12B 总参数、2.5B 激活参数的 MoE 思考模型，通过在真实代码仓库中的强化学习，将 SWE-bench Verified 得分从 2.0 提升到 47.0。

OpenAI 披露 Oracle 在招聘、工程与运营环节借助 ChatGPT Work 和 Codex，将原本耗时数天的专家工作压缩为可复用的快速流程。

Goodfire推出一种新的AI代理监控方案：不再让第二个模型逐条读取代理的全部行为，而是直接观察模型内部状态，只在出现异常迹象时才调用外部审查，从而大幅降低监控开销。

Natura 推出 99 美元的 Interface 智能戒指，用户可通过按压戒指召唤 AI 代理完成任务、记录想法和控制设备，同时兼具健康追踪功能。

Google 发布实验性笔记应用 AI Edge Foresight，基于端侧 EmbeddingGemma 2 模型，在 macOS 上完全离线完成会议与音频转录和摘要。

TechCrunch Disrupt 2026 首次将 Ambrosia Energy 与 Bloom Energy 高管请上 Smart Systems Stage，讨论 AI 基础设施扩张中能源环节的机会。这标志着 AI 叙事正从芯片与模型向电力供给延伸。

Google 在 Gemini at Work 活动上发布通用 Gemini 智能体，可在应用与设备间后台协作，用户通过 Gemini Enterprise 单一界面派发任务。