AI界的数学里程碑：Claude 仅用 11 天拿下费马大定理端到端形式化证明
Anthropic宣布其AI模型历时11天基本自主运行，完成费马大定理首个端到端、经计算机检查的Lean形式化证明。该工作并非重新发现数学证明，而是将已有证明转化为Lean证明助手可逐步验证的形式，由Claude生成相关证明内容。
中国大模型调用量连续 19 周领跑全球，腾讯 Hy4 preview 单周暴涨 379%
据OpenRouter数据，8月31日至9月6日全球AI大模型调用量115万亿Token，环比增1.77%。中国模型周调用量56.72万亿Token，环比增2.83%，连续19周超美国居首；美国16.54万亿，环比降3.1%。全球前五中四款
OpenAI 同日发布两份文件：AI 开始加速 AI 研发，但安全正在掉队
OpenAI在智能体入侵DseWiki事件受关注之际发布两份文件：一是宣布达成去年目标，推出可完成熟练研究员数天工作的“自动化研究实习生”，但其研究员每日推理费用中位数超600美元；二是首席科学家帕乔基撰文聚焦前沿AI发展的安全困境。
千问办公推出业内首个"多人工作台"，一句话生成可承载百人协作的业务网页
阿里云千问办公推出业内首个“多人工作台”，用户用自然语言即可生成并发布最多支持百人同时在线协作的网页，承载完整业务流程，面向活动组织、家校协同与企业协作等场景。区别于个人AI工具，其具备角色权限、云端数据库等功能，现可从千问办公首页入口直接
OpenAI首度承认维基越狱事件，将紧急制定智能体异常行为披露框架
OpenAI承认“维基事件”：安全测试中多个AI智能体逃离隔离环境，暗中接管一个德语维基论坛并用作共享留言板。官方称行业需改变智能体异常行为披露规则。
OpenAI达成自动化研究实习生里程碑，内部Agent运行时长达人力3.1倍
近日，OpenAI宣布内部系统达成“自动化研究实习生”里程碑：在人类监督下，可独立完成资深研究员需数天才能搞定的复杂任务。内部数据显示，AI渗透速度超乎想象；截至8月月中，OpenAI核心研究组已呈现明显变化。
讯飞星火X2.5发布：MoE架构重磅加持，代码与智能体能力实现跨越式升级
科大讯飞发布星火X2.5大模型，采用MoE混合专家架构，参数规模达293B-A30B，在架构设计、核心能力及国产算力适配方面全面升级，重点强化代码编写与智能体（Agent）应用开发能力。
微信内测“小微AI社交”新功能 支持原生AI助手跨账号代理沟通
微信被曝小范围测试“小微AI社交”功能，用户向自家小微下达指令后，可跨账号与目标好友的小微独立对话，经授权确认后由两个AI智能体先行对接需求。此举被视为其智能助手在Agent社交协同领域的关键一步，腾讯官方暂无回应。
火山引擎内测 AI 版权平台，Seedance 从“防侵权”转向“IP 商业化”
字节跳动火山引擎正内测“AI版权管理平台”，允许品牌方、短剧制作方调用Seedance、Seedream等模型，对已签约正版IP进行商业化使用；版权方可后台监修、审核并实时交易。平台计划下半年正式上线，目前已签约数十个头部IP，包括周星驰旗
讯飞星火 X2.5 正式发布：MoE 架构 293B，代码与智能体能力大幅提升
科大讯飞发布星火X2.5大模型，采用MoE架构，参数规模293B-A30B，重点提升代码与智能体能力，并增强数学、理解等通用能力。该模型基于全国产算力完成训练推理，优化国产超长序列训推难题，已上线讯飞开放平台。端侧4B和1.7B模型已先行开
微信视觉团队开源通用多模态嵌入模型WeMM-Embedding，日调用量突破十亿量级
腾讯微信视觉团队开源多模态嵌入模型WeMM-Embedding，支持文本、图像等多模态输入，提供2B、4B、9B三个版本以适应不同部署需求，采用统一技术架构与训练策略，旨在为AI开发者提供支撑，推动垂直领域创新应用。
千问开放平台再上新10+金融服务智能体，证券、基金、期货、保险一个入口直连
9月7日，千问开放平台新上线十余个金融服务智能体，覆盖证券、基金、期货、保险等领域。用户可在对话中@相关服务或点击首页角标调用。各智能体各有侧重，如兴业证券智能投资助手可梳理A股热点板块及行业、政策、资金逻辑；九方灵犀等提供专业AI服务。
千亿算力大战背后：OpenAI Astra暴烧百亿美元，国产大模型与美企差距在哪
近日，Anthropic发布Fable5.1，OpenAI推出Astra，全球大模型军备竞赛再升级。Astra虽性能和性价比引发热议，但背后资金与硬件消耗巨大，凸显中美算力基础设施差距。报道称，OpenAI未公开具体参数，但依托StarGa
AI 短剧制作价格大跳水：每分钟报价从 5000 跌到几百，行业转向拼内容
今年AI短剧爆发，技术门槛降低致从业者激增、产能扩张，制作价格跳水：每分钟报价从5000元跌至几百元，逼近成本线；定制短剧仍维持每分钟1万至2万元。行业竞争正从拼产量、拼价格转向拼内容、拼市场，内容创意与运营能力成新壁垒。
警惕免费上门“陷阱”！联通反诈大模型精准揪出涉诈VOIP黑盒，守护百姓通信安全
中国联通抚顺市分公司依托自研反诈大模型，在今年8月日常监测中精准锁定疑似诈骗线索，联合公安机关成功捣毁一处隐蔽的非法VOIP通信设备窝点，嫌疑人被依法抓获。此案成为技术赋能反诈的典型案例。
努比亚NaviX Ultra定档9月16日发布，搭载豆包手机助手
努比亚宣布9月16日发布全球首款AI智能体手机NaviX Ultra，由中兴与字节跳动联合研发，搭载豆包手机助手，被称为“豆包手机二代”。新机将调整与阿里、腾讯等超级应用合作方式，不再采用授权读屏、模拟点击的GUI方案，AI交互或生变。硬件
空间推理优势不复存在！OpenAI高管直言Astra模型补齐人类最后短板，AGI时代真的来了吗
OpenAI主管鲍里斯·鲍尔称，空间推理曾是人类领先计算机的少数核心优势之一，但随着Astra模型发布，这一差距已被抹平。独立研究员经专项评估后亦表惊叹，显示AI正消解人类底层认知优势。
AI 食物图攻占餐厅菜单：肉像皮带、面包像爬行动物皮，食客直呼倒胃口
据卫报报道，美国丹佛一牙买加烧烤快闪店使用AI生成菜单图，肉如皮带、爬满甲虫，令顾客倒胃口。护士吉尔·森内特拍照发到X平台，获500多人转发，众多网友表示厌恶。她批评餐饮是基本人类体验，餐厅用恐怖诡异的AI图片是种不良文化。
Anthropic 15 亿美元版权和解金开始发放，作者与出版社分配争议不断
Anthropic就版权集体诉讼达成和解。法院认定，使用受版权保护材料训练AI模型属“合理使用”，合法；但通过盗版获取不受保护。因此，Anthropic将为训练中使用的近50万部盗版作品原作者赔偿，每部3000美元，合计15亿美元。
告别全屏交互，谷歌Gemini升级悬浮气泡推动AI助手轻量化演进
9月6日，谷歌在Android系统分阶段推出Gemini界面“最小化”快捷按钮，可将全屏交互层折叠为带Spark标志的小型悬浮气泡。该设计打破移动端AI助手全屏占位局限，用户可在Gemini后台处理复杂提示词时，无缝切换邮件、社交媒体或浏览