https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
路透社7月31日独家报道，中国军方及相关院校正利用GPT、Claude等美国AI模型，训练国产军事和监控系统。
解放军96941部队曾用GPT-3.5处理敏感军事代码；
中北大学用Claude生成数据，训练社交媒体监控和内容审核模型；
国防科技大学还将蒸馏模型部署到无人机，使其断网后仍能辅助导航和目标识别。
📱 微软确认今年推出 Copilot「超级应用」
微软 CEO 纳德拉在周三的财报电话会议上确认，公司将于今年推出一款 AI「超级应用」，把 Copilot 的聊天、编程和智能体（agentic）能力整合到一起，同时覆盖消费者和商用场景。
纳德拉表示，Copilot 正从聊天工具快速演进到 Cowork 再到 Autopilots，本季度将把这些体验（包括代码功能）合并进一个超级应用。此前《财富》曾报道微软在打造融合 Copilot 聊天机器人、GitHub Copilot、Copilot Cowork 和 Autopilot 系统的应用；OpenAI 近期也推出了整合 ChatGPT 与 Codex 的 ChatGPT Work 应用。微软上季度营收增至 900 亿美元，主要由 AI 与云业务推动。
The Verge
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
微软 CEO 纳德拉在周三的财报电话会议上确认，公司将于今年推出一款 AI「超级应用」，把 Copilot 的聊天、编程和智能体（agentic）能力整合到一起，同时覆盖消费者和商用场景。
纳德拉表示，Copilot 正从聊天工具快速演进到 Cowork 再到 Autopilots，本季度将把这些体验（包括代码功能）合并进一个超级应用。此前《财富》曾报道微软在打造融合 Copilot 聊天机器人、GitHub Copilot、Copilot Cowork 和 Autopilot 系统的应用；OpenAI 近期也推出了整合 ChatGPT 与 Codex 的 ChatGPT Work 应用。微软上季度营收增至 900 亿美元，主要由 AI 与云业务推动。
The Verge
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本仅 2000 美元
OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。
据悉，这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。若按 Sol API 的费率计算，寻找这些问题解决方案所需消耗的总词元 (tokens) 成本约为 2000 美元。人类研究员协助撰写了论文手稿，并在 Lean 语言中对这些证明进行了形式化验证，对其正确性负责；然而这些数学论证本身均由 OpenAI 的系统生成。
—— IT之家
via 风向旗参考快讯 - Telegram Channel
OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。
据悉，这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。若按 Sol API 的费率计算，寻找这些问题解决方案所需消耗的总词元 (tokens) 成本约为 2000 美元。人类研究员协助撰写了论文手稿，并在 Lean 语言中对这些证明进行了形式化验证，对其正确性负责；然而这些数学论证本身均由 OpenAI 的系统生成。
—— IT之家
via 风向旗参考快讯 - Telegram Channel
7 月底在日内瓦联合国 AI for Good 峰会上，中国派出大规模政府官员与企业高管代表团，向巴基斯坦、俄罗斯、赞比亚等全球南方国家推介中国开源 AI 模型。阿里云架构师王坚在会上表示，中国 AI 可以像能源一样成为其他国家的"资源"。美方前沿实验室及特朗普政府官员则明显缺席。
中国正以"代币外交"策略向发展中国家输出 AI 基础设施，以低于美国对手的价格提供开源模型，并承诺培训各国使用。美方对此保持警惕，国务院发言人称此举将导致对中国基础设施和标准的依赖；财政部长贝森特则警告"开源不是对美国知识产权的开放季"。此前美国对 Anthropic 模型的出口管制已促使部分国家寻求技术独立。
Semafor
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
🤖 OpenAI Astra 在十项长期数学难题上取得突破
OpenAI 宣布其下一代模型 Astra 的内部版本在十个长期未解决的数学与理论计算机科学问题上取得新成果，涵盖高维球体堆积、非索菲克群存在性、Connes 刚性猜想反证、算术电路下界、量子并行重复、最近向量问题硬度及多色 Ramsey 数等。这些问题至少十年未见主要进展，多数更久。模型生成论证的 token 成本约为 2000 美元。
论证由人类与模型协作整理成论文，并在 Lean 中形式化验证。OpenAI 坦承数学论证本身由 AI 生成，人类负责整理与形式化，主张归属应如实反映结果来源。公司希望数学界深入审视这些成果，同时强调在 AI 成为研究协作者的转型期，广泛获取至关重要。
OpenAI
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
OpenAI 宣布其下一代模型 Astra 的内部版本在十个长期未解决的数学与理论计算机科学问题上取得新成果，涵盖高维球体堆积、非索菲克群存在性、Connes 刚性猜想反证、算术电路下界、量子并行重复、最近向量问题硬度及多色 Ramsey 数等。这些问题至少十年未见主要进展，多数更久。模型生成论证的 token 成本约为 2000 美元。
论证由人类与模型协作整理成论文，并在 Lean 中形式化验证。OpenAI 坦承数学论证本身由 AI 生成，人类负责整理与形式化，主张归属应如实反映结果来源。公司希望数学界深入审视这些成果，同时强调在 AI 成为研究协作者的转型期，广泛获取至关重要。
OpenAI
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
中国 AI 研究员在 X 上发出自己的声音
过去一年，越来越多中国 AI 研究员涌入 X 平台发声。以月之暗面（Moonshot AI）为例，X 上约有 30 个自称在职员工的活跃账号，包括两位联合创始人；Minimax、Z.ai 乃至 DeepSeek 的员工也常在 X 上讨论技术、发布招聘。他们正填补 OpenAI 和 Anthropic 研究员因公司壮大而日渐沉默留下的空白。
选择 X 的原因之一是国内缺少高质量技术讨论平台：知乎转向小说内容后专家流失，小红书受众又不够技术化。2025 年初 DeepSeek R1 走红全球，促使许多中国研究员开始经营国际化个人品牌；X 同时也成为中国 AI 公司营销产品、招募人才的窗口。有分析人士认为，中国研究员亲自讲解工作，有助于美国减少对中国 AI 实验室的盲目猜测。
WIRED
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
过去一年，越来越多中国 AI 研究员涌入 X 平台发声。以月之暗面（Moonshot AI）为例，X 上约有 30 个自称在职员工的活跃账号，包括两位联合创始人；Minimax、Z.ai 乃至 DeepSeek 的员工也常在 X 上讨论技术、发布招聘。他们正填补 OpenAI 和 Anthropic 研究员因公司壮大而日渐沉默留下的空白。
选择 X 的原因之一是国内缺少高质量技术讨论平台：知乎转向小说内容后专家流失，小红书受众又不够技术化。2025 年初 DeepSeek R1 走红全球，促使许多中国研究员开始经营国际化个人品牌；X 同时也成为中国 AI 公司营销产品、招募人才的窗口。有分析人士认为，中国研究员亲自讲解工作，有助于美国减少对中国 AI 实验室的盲目猜测。
WIRED
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
据外媒《金融时报》报道，最新披露的财报信息显示，亚马逊已完成对OpenAI总计500亿美元的全额投资，在这家ChatGPT开发商预计于2027年启动上市进程前，顺利拿下其约5%的股权，成为OpenAI核心战略投资方之一。
这笔大额投资的落地早有铺垫：2026年2月，亚马逊就已向山姆·奥特曼执掌的OpenAI先期投入150亿美元，双方同步敲定了覆盖算力、云服务的深度合作框架。当时亚马逊明确约定，若OpenAI达成IPO落地或AI技术取得重大突破两大里程碑，将追加350亿美元投资。而根据亚马逊最新发布的财报披露信息，即便上述两个预设条件均未触发，企业仍选择全额完成出资，为长期处于高投入状态的OpenAI补充了巨额资金弹药。
这笔全额注资的最终落地，离不开今年4月OpenAI与微软的合作协议重新谈判。此前受原合作条款限制，仅微软Azure可作为OpenAI的核心算力服务商，亚马逊旗下AWS无法正常接入相关服务，微软甚至曾考虑就OpenAI与亚马逊的合作提起违约诉讼。而协议修订后，AWS等其他云服务商正式获得向OpenAI提供算力服务的资格，扫清了双方大额投资的核心障碍。知情交易人士透露，目前估值达8520亿美元的OpenAI已于本周收到最后一笔投资款项，亚马逊的持股比例正式升至约5%。
外媒认为，此次股权绑定，让双方原本围绕芯片、算力、云服务的复杂商业合作关系进一步深化。巨额资金注入将直接强化OpenAI训练新一代超大规模AI模型的能力——大模型迭代本身属于高成本投入领域，持续的资金支持是其在与Anthropic、谷歌及国内头部AI厂商的技术竞速中保持优势的核心基础。
值得注意的是，亚马逊在AI赛道始终坚持双线押注策略：除了完成对OpenAI的500亿美元全额投资外，企业同时是Anthropic的核心投资方，目前已累计向Claude的开发方投入180亿美元，总承诺投资额最高可达330亿美元。亚马逊正通过两大头部AI实验室的合作，全力推动自研Trainium AI芯片的普及，以此对标英伟达主流硬件、谷歌TPU等竞品，同时确保两大AI实验室的模型都能向AWS的海量云客户开放，进一步巩固自身在万亿级云服务市场的竞争力。
via cnBeta.COM - 中文业界资讯站 (author: 稿源：环球科技)
