OpenAI数学证明未达学界标准：自然语言证明与Lean形式化代码出现矛盾，数学家提出质疑
Duck.ai 新增对话分享：生成限时私密链接，对方不用注册账号就能继续聊
谷歌推出企业一站式Gemini智能体：跨Workspace与第三方应用，可化身带独立邮箱的同事智能体
美国暂停微软等多家科技企业永居项目资格，多所顶尖高校同步遭劳工调查
Windows ML迎来重大更新：原生支持GGUF与ONNX，打通本地大模型落地
传SpaceX寻求400亿美元巨额债务融资，采购英伟达Vera Rubin GPU，支撑xAI算力扩张
微软升级Copilot，依托混合智能获得本地文件与系统操作权限
Meta推出全新AI工具，识别导流儿童性虐待材料的伪装广告，上线红队AI代理自测安全防线
Nous Research确认估值15亿美元，完成9000万美元B轮融资，推出商用Hermes企业AI代理
Chrome 155正式原生支持JPEG XL格式，Rust解码器兼顾内存安全与性能
马斯克官宣Grok Bot转型多模型架构：可自动选用Claude、Midjourney、Suno等第三方模型
德国搜索引擎Ecosia弃用Mistral，转向Qwen、GLM、Kimi等国产开源大模型
