微软 Project Zenith：开箱即写代码的开发者版 Windows 11，本地直跑 300 亿参数大模型
微软 9 月 4 日发布 Project Zenith：专为 AI 开发者打造的 Windows 11 体验，开箱预装 VS Co…
标签： AI大模型
Claude 11 天拿下费马大定理：不是新证明，是把 350 年来最难核验的数学，变成机器逐行核对
Anthropic 官宣 Claude 用 11 天基本自主完成费马大定理的 Lean 形式化证明：写出 1300 万行代码、近 …
Gemini 3.8 Flash 发布：谷歌 6 周连推 3 款小模型，终端跑分 90.8 逼近 Opus，还出了个 Cyber 版
谷歌发布 Gemini 3.8 Flash 与网络安全版 3.8 Flash Cyber：六周内第三款 Flash 模型，Term…
GPT-6 Astra 正式发布：OpenAI 说它”最聪明也最守规矩”，能操作电脑干完整活，编程登顶却先限量给企业
GPT-6 Astra 正式发布，OpenAI 称其为迄今最智能、最对齐的模型：软件工程能力登顶，FrontierMath 刷到 …
OpenAI 发布 WebMCP：网页把按钮变成”工具接口”，Agent 终于不用瞎猜着点了
OpenAI 联合 Chrome、Shopify、Cloudflare 等发布 WebMCP 开放标准：网站可以把按钮、表单注册成…
OpenAI Astra 内测泄露：一句话生成 3D 游戏世界，前端开发要变天了？
OpenAI 新模型 Astra 内测效果曝光：一句话生成 3D 游戏世界和完整网页，端到端多智能体编排加持久化推理，前端生成能力…
英伟达 129 亿美元买下 Hugging Face：”AI 界的 GitHub”易主，开源模型的中立性还能守住吗？
英伟达 129 亿美元收购 Hugging Face，全球最大开源模型平台正式易主。本文梳理从卖身传闻到协议落定的时间线，解析英伟…
腾讯混元 Hy4 开源：770B 参数编程直追 DeepSeek，WorkBuddy 限时免费用两周
腾讯混元于 8 月 28 日开源新一代大模型 Hy4 preview，总参数 770B、激活参数 49B、上下文突破百万 toke…
Gemini 3.5 Pro 终于发布：谷歌补课两个月，编程能力直接对标 GPT-5.6 Sol
谷歌旗舰 Gemini 3.5 Pro 8 月 28 日正式上线，终结两个月难产：编程跑分大幅补课、上下文拉到 2M、Gemini…
MCP 诞生以来最大一次改版：协议彻底无状态化，AI Agent 终于能上生产了
Linux 基金会旗下 Agentic AI Foundation 发布 MCP 诞生 20 个月来最大一次修订：协议彻底转向无状…