1. Claude完成费马大定理首个端到端形式化证明：11天写1300万行Lean代码、消耗60亿Token，清华姚班校友彭天翼带队【9月5日中文首发报道，昨日日报遗漏，本日补录】
Anthropic公布，Claude完成了费马大定理（Fermat's Last Theorem）首个端到端、可由计算机完整检查的形式化证明，整个过程仅用11天。数十个Claude智能体基于Prove2Me协作平台并行工作，生成约1300万行Lean代码、构建约30300个可验证定理（29500个进入最终证明），代码量达全球最大数学定理库Mathlib的5倍以上，仅依赖三条最基础标准公理。项目由清华姚班本科、MIT博士、哥大商学院助理教授兼Anthropic研究员彭天翼发起，使用能力约等于Fable 5.1的内部模型。此前帝国理工Kevin Buzzard团队预计该形式化工程需数年。本次新进展：9/5-9/6中文媒体集中报道，数学界展开验证与讨论，被认为是AI对数学领域最重要的成果之一。
2. GPT-6 Astra完成全量开放：Pro/Enterprise/Plus用户分两批全部解锁、API同步上线，OpenAI连续两次重置付费额度，Anthropic同日重置Claude Max周额度回应【9月5日官宣全量、9月6日Plus全覆盖，昨日日报仅收录"预告"，本日补录落地节点】
OpenAI于9/5宣布GPT-6 Astra面向ChatGPT Work和Codex的所有Pro、Enterprise和Business Premium用户开放，API同步上线；9/6进一步推送给全部Plus和普通Business用户，较原计划提前完成。核心产品负责人Thibault Sottiaux称系统扩展能力超预期。OpenAI向受"混乱发布"影响的付费用户连续发放两次banked reset额度重置券。Plus用户每5小时约可跑5-45条Astra本地消息（约为GPT-5.6 Sol的一半）。竞争侧：Anthropic伴随此轮开放重置了所有Claude Max用户的每周使用额度。官方迁移指南建议开发者"删掉旧提示词"——Astra对AGENTS.md和Skills指令更敏感，冗余规则反而拖累执行。
3. 国内首款AI辅助创新药获批上市：西湖大学艾普司韦从源头发现到临床仅用三年半，也是全球首个基于DEL技术获批的小分子创新药
据西湖大学消息，由西湖大学、西湖实验室、西湖制药联合研发的盐酸伊司特韦片（商品名：艾普司韦）近期获国家药监局附条件批准上市，用于成人轻型、中型新冠治疗。这是国内首款凭AI辅助研发获批上市的原创药，也是全球第一款基于DNA编码化合物库（DEL）技术成功获批的小分子创新药——DEL概念提出34年后实现零的突破。团队自研WAND AI新药研发平台，从490亿分子中筛出候选分子WLU6937仅用六个月，将传统"十年十亿美元"的研发周期压缩至三年半。
4. 公安部"国家反诈AI"APP正式上线：融合大语言、多模态模型与智能体技术，微信支付宝小程序同步开放
公安部刑侦局指导、上海市公安局自主研发的"国家反诈AI"APP于9/6官宣上线。该APP融合大语言、多模态模型和智能体技术，用户输入可疑场景即可完成风险研判、识别诈骗套路、推送典型案例，从文字+语音+视频多维度拆解诈骗手法。三大功能包括AI大模型智能问答、反诈资讯、反诈辞典，已在各大应用市场上线。这是国家级公共安全部门首次推出面向全民的AI智能体应用。
5. 大模型卷入"周抛时代"：9月前4天4家海外巨头轮番发新模型，RSI递归自我改进成共同叙事，榜首保质期撑不过一周
Tech星球/界面新闻9/6刊发行业观察：OpenAI GPT-6 Astra（9/4）、Anthropic Fable 5.1/Mythos 5.1（9/1）、谷歌Gemini 3.8 Flash/Cyber（9/2）、Meta Muse Spark 1.3（9/2）在四天内密集发布，叠加国内Qwen3.8-Flash、GLM-5.3-Flash、混元Hy4 preview等，大模型进入"周抛"节奏。OpenAI与谷歌均强调RSI（Recursive Self-Improvement递归自我改进）机制飞跃——Astra是首款由前代模型深度参与训练监督的旗舰产品。但能力差距收窄、价格下探（Fable 5.1缓存读取降75%至0.25美元/百万token），"最强模型"保质期不足一周。
6. OpenAI应用研究主管：Astra已补上人类少数优势之一的空间推理，独立评测称其表现"完美"
OpenAI应用研究主管Boris Power 9/6在X平台表示，空间推理曾是人类大幅领先计算机的少数优势之一，如今有了Astra模型这一差距已不复存在。独立AI研究员spicylemonade称Astra在其空间推理评估中表现堪称完美，认为大语言模型的视觉能力问题已彻底解决——过去所有LLM在其题目中总是出错。同日中文科技媒体持续盘点Astra实测玩法：一句话完成3D建模、从零制作完整游戏、控制机器人等，量子位评述"只要你学得够慢，就可以不用学了"，但同时提醒不宜过度夸大现阶段能力。
7. 上海市国资委系统AI专题研讨班开班：披露"AI+"专项行动"四个转变"，智能体与数字劳动力加快嵌入国企核心业务
9/5上海市国资委系统人工智能专题研讨班开班，副市长贺青要求国企从制造底座、数据要素、模型能力、算力供给、应用场景五方面全链条融入AI发展。研讨班披露监管企业"AI+"专项行动四个转变：应用范围从重点试点向全面覆盖转变（已实现监管企业全覆盖）；工作重心从注重算力供给向算力组网、技术攻关和场景实效并重转变；应用形态从问答辅助向智能执行转变，智能体、数字劳动力加快嵌入投研投顾、建筑设计、供应链调度等环节；实施方式从分散推进向生态协同转变。研讨班9-10月共6个培训日。
8. MIT教授让3个Grok一小时造出实物零件：AI科学家"冲出屏幕"完成照片到力学的端到端工程
新智元9/6报道，MIT工程系教授Markus Buehler将四张彼此毫无关联的照片连同一个硬核力学问题交给3个AI智能体（Grok），一个多小时后AI完成从理解、推理到生成可制造零件的端到端流程。该案例被视为AI科学家从"屏幕内答题"走向"物理世界交付"的标志性演示，与同期GPT-6 Astra控制机器人、3D建模等实测共同勾勒出"AI工程实体化"趋势。
9. AI短剧制作价格大跳水引发行业大洗牌：每分钟报价从5000元跌至几百元逼近成本线，2026年国内AI剧漫剧市场规模预计超400亿元【财联社电报兜底线索→溯源至央视财经】
据央视财经9/6报道，今年以来AI短剧迎来一轮爆发：技术门槛下降、大量从业者涌入、产能快速扩张，制作价格随之"跳水"——同样制作AI短剧，每分钟报价从5000元跌至几百元，逼近成本线；配套数字人定制价格也从30-60万元跌至几千到几万元。但定制短剧业务依旧可达每分钟1万-2万元，竞争正从拼产量、拼价格转向拼内容、拼市场。数据显示2026年上半年全网新上线AI短剧超22.19万部，但播放量破亿的仅1055部（破亿率约0.47%）；预计2026年国内AI剧漫剧市场规模超400亿元（同比增速138%），海外市场规模预计突破40亿美元。既懂AI又懂影视的复合型人才年薪已接近百万元。
10. "Claude已解决纳维-斯托克斯方程"传闻发酵后陶哲轩专门澄清"我可没这么说"：数学家长文推演AI黑箱式破解千禧年难题或"弊大于利"【36氪/机器之心9/6刊发】
科技博主Andrew Curran 9/5在X抛出"预测"称Claude已解决千禧年难题纳维-斯托克斯（N-S）方程正则性问题、Anthropic计划IPO前公布，该说法经OpenAI员工转述等链条迅速传播，但所有信源均无独立一手来源，克莱数学研究所截至9/6仍将N-S方程列为未解问题。陶哲轩此前在Mastodon发长文设想"自主AI系统暴力破解数学难题"的未来流程，被误读为暗示传闻属实，其随后专门澄清，并系统阐述核心观点：著名猜想的真正价值在于求解过程催生的工具与方法，AI黑箱式"秒杀"千禧年难题可能导致中间研究成果无法进入数学共同体，"可能弊大于利"。本次讨论与Claude费马大定理形式化证明（本日报条目1）共同构成"AI×数学"的传播高峰。
11. 谷歌等十年绘制首个完整雄性果蝇脑图谱（16.7万神经元）9/3登《Cell》，佐治亚理工硕士生用GPT-6两天将其接入Minecraft实现虚拟果蝇飞行
新智元9/6报道：HHMI Janelia、剑桥大学和Google Research历时十年（人工校对44人年）完成的首个完整雄性果蝇中枢神经系统连接组MaleCNS v1.0（166700个神经元、1.25亿个突触，覆盖中央脑、视叶、腹神经索，完全开源）9/3登上《Cell》期刊。仅两天后，佐治亚理工学院研究生Evan Smith借助GPT-6 Astra将这一图谱接入《Minecraft》，让虚拟果蝇由真实神经活动驱动在沙盒世界中"起飞"——全脑仿真门槛从"专职工程师团队+实验室级物理引擎"（如OpenWorm十几年、Eon Systems半年前）降至"一个研究生+一个AI+一台电脑"。该项目展示GPT-6代码能力正把前沿科研成果落地为民间可复现的开源项目，马斯克也在评论区惊叹。
12. Kimi、MiniMax即将在天猫开店：智谱首店落地后多家大模型厂商接洽入驻，开售Token订阅套餐
据上海证券报9/5报道，智谱电商平台首店落地天猫后，Kimi（月之暗面）、MiniMax、阶跃星辰等多家大模型厂商也都在与天猫接洽中，未来将入驻天猫开设官方旗舰店，开售Token订阅套餐产品。这意味着大模型C端商业化进入"电商旗舰店"新渠道阶段——继API、App订阅之后，Token包正式成为电商平台上的标准化商品。此前（9/6）创业邦早报亦以"Kimi、MiniMax即将在天猫开店"为题报道。
13. 北京高校秋季开学集中上线AI学伴与算力账户：清华"清小搭"准确率超98%，北邮为每名本科新生开设个人AI算力账户
随着秋季开学，北京多所高校将AI引入迎新与教学：北航推出AI领航员智能体支持报到答疑与三维校园导览；清华"清小搭"智能体（8/1上线）回答校园生活、学习、科研问题准确率超98%并可提供选课建议；北大联合院系开发工小成等学科智能教学应用；北交大启用知行合一教学智能体；北邮实施"人人有算力"计划，为每名本科新生开设直通校级智能算力中心的个人AI算力账户，平台集成10余种主流大模型。另：猿力科技确认AI教师智能体飞象老师3.0将亮相9/9-13服贸会，从生成教学材料升级为生成教学应用。
14. 全国人大常委翁杰明：AI是精益的放大器和加速器，我国制造业正通过AI深度赋能研发生产全链路
在天津举办的2026精益数字化创新大会上，全国人大常委会委员翁杰明指出，AI是精益的放大器和加速器，我国制造业正通过AI深度赋能研发、生产全链路，加速形成智能制造中国样板。同日上海国资委系统亦举办AI专题研讨班（详见本日报第7条），地方层面推进国企AI转型的动作在周末密集展开。
15. 网友实测GPT-6 Astra×字节Seedance 2.5"临时片场"工作流：写剧本、Blender预演、Seedance生成、剪辑导出一条龙，Seedance成"最佳拍档"
量子位9/6报道，Astra全量开放后网友迅速开发出跨模型协作玩法：GPT-6 Astra写故事并操作Blender完成3D预演，再调用字节Seedance 2.5把参考帧转为带运镜和动漫质感的正式镜头，最后Astra回到桌面完成剪辑导出——人类"搁外面等着收片"。在GPT-6 Astra、Fable 5.1的多轮视频生成对比实测（手绘日式怪谈、水墨动画等）中，Seedance 2.5均作为渲染后端稳定输出，被网友称为"GPT-6最佳拍档"；Astra还被用于DaVinci调色（4分钟完成参考图风格匹配）。这显示AI视频生产链正从"单模型生成"走向"多模型分工片场"模式。
16. 《西雅图时报》《新闻日报》起诉OpenAI与微软侵权：要求销毁含其作品的训练数据集或AI模型，此前美司法部已声明站在科技公司一方
当地时间9/4，《西雅图时报》和《新闻日报》（Newsday）向美国纽约南区联邦地区法院起诉OpenAI和微软，指控两家公司在未经许可的情况下复制其新闻报道（含付费订阅内容）用于训练ChatGPT、Copilot等AI系统，并可通过复制段落、近似改写降低用户访问原网站/订阅的必要性；诉状还指控OpenAI生成虚假内容并错误归属两家媒体、稀释其商标，援引行业数据称2025年12月中型出版商搜索引荐流量同比下降47%。两家报纸请求法院下令销毁其作品副本及包含这些内容的训练数据集或AI模型。该案与《纽约时报》2023年诉讼相呼应；值得注意的是美国司法部9/1已提交声明站在科技公司一方，称认定版权侵权将抑制科学进步。