AI 日报 2026-09-05：模型嵌入流程，验收授权须前置
Damon · 此间工夫Anthropic 公开了 Claude 协助完成的费马大定理 Lean 形式化成果；GitHub 尝试多模型协同调度；xAI 展示了采购 Bot。三条动态最终指向同一个命题：模型嵌入流程之后，如何确认结果、配置权限与明确责任。今日摘录三条资讯。它们分别涉及数学证明、编程平台与企业采购，表面看似彼此无关，回到业务实际却都难以回避同一个核心：当模型接入既有流程，由谁把关、权限如何分配、出现失误该怎样兜底。Anthropic 推出研究论文，指出 Claude 在 11 天内基本独立完成
AI完成费马大定理形式化验证，数学审查成本迎来变革
Anthropic于9月4日发布了一项容易被标题误导的研究成果：其Claude模型在Lean证明助手中完成了费马大定理的全流程形式化验证。据官方披露，整个项目耗时11天，生成约1300万行Lean代码，期间共证明30,300个命题，最终证明引用了其中29,500个定理。这并非意味着AI发现了人类此前未知的数学结论。费马大定理早在1995年就已被Andrew Wiles与Richard Taylor攻克。Claude的实际工作，是将依赖繁复现代数学工具的论证过程，重新转译为Lean能够逐步审核的形式语言。表
2026年人工智能应用工程师证书报考指南：工信部教考中心详解
日前，工业和信息化部办公厅发布《人工智能中小企业创业支持计划（2026-2028年）》。计划用三年时间，在行业应用、数据服务、智能算力等关键方向，培育出一批创新能力突出、发展潜力显著的人工智能创业主体，新培育科技和创新型中小企业超过1万家，专精特新"小巨人"企业突破2000家，涌现一批瞪羚企业和独角兽企业。目前，人工智能应用工程师已成为最热门的技术岗位之一，掌握这项技能对职业发展具有重要价值。2026年，报考工信部教育考试中心颁发的人工智能应用工程师职业技术证书，成为不少人增强竞争力的途径。该证书认可度高
AI能写代码，为何还要证明自己？
AI已经能编写代码，可为什么还得接受证明？让AI写几行代码，早就不再新鲜。真正困难的是把它放进包含大量文件、接口和依赖的真实项目后，还能说明“写出来的东西确实达到要求”。UC Berkeley等机构近日推出Vero基准，专门考察这种能力。它把任务置于Lean 4形式化环境中，要求智能体在仓库层面完成两个步骤：先写出实现，再为该实现生成机器可以核验的证明。项目涵盖43个多模块实例，包含743个API和2705条形式化规范，并涉及加密协议、分布式系统等场景。这样的设计看似有些苛刻，却比一段精彩的演示更接近我们
Astra震撼数学界:AI首次完成可机器验证的形式化证明
8月末，OpenAI抛出一颗重磅炸弹：其全新模型Astra在纯粹数学范畴内斩获十项重大进展，并且每一项均配有以Lean形式化语言撰写、机器可自动核验的完整推导过程。与此同时，一份厚达249页的技术文档同步发布，供任何人下载审阅。说白了就是：AI不仅解出了数学题，还把整个求解流程封装成机器能自动校验的证明文件——正误与否，不由AI说了算，机器来判。这一事件的意义，远远被外界轻视了。不少人对于"AI做数学题"的认知还固化在：让ChatGPT算一道小学竞赛题，它煞有介事地给出错误答案。那顶多叫生成，谈不上证明。
陶哲轩警醒全网:AI消化百万论文仍不及人类5个样本!未来20年人机互补大势已定
菲尔兹奖荣膺者、当代数学界泰斗陶哲轩（Terence Tao），近日在一档播客节目中以异常从容的口吻，抛出一番令整个科技界为之震动的预判。这场对话发生在陶哲轩与其子莱利·陶（Riley Tao）参与科学与人工智能研究基金会（SAIR）节目录制的深度交流之中。▲ 社交网络上关于陶哲轩访谈的长评访谈过程中，陶哲轩抛出了一条让AI拥趸与AI忧虑者双双陷入沉默的核心论断："一个人穷尽一生也读不完一百万篇论文，更不可能逐一尝试其中每一项构想。然而今天的AI几乎能够实现这一壮举。""但人类只需浏览五六个数学例题，就能
AI推动数学研究迈出关键一步
8月10日这天，Anthropic 发布了一则简短的动态，讲述了一件颇为罕见的事情：一款尚未正式对外公开的研究型 Claude，将黎曼 zeta 函数零点的已知下界，从 41.6% 提升到了 67.2%。这一成果并非为了刷榜或者跑分，而是被正式写入论文之中，经过人类数学家逐行仔细审核，同时借助 Lean 形式化验证工具完成了完整的检验流程。提出这一挑战的是 Anthropic 公司员工 Jarred Sumner，他本人并非数学科班出身。最初，他给模型下达的指令大致意思是：认真尝试一下黎曼猜想。图注：一句
AI审查专利提速，人工漏检空间被大幅压缩
机器先行筛查重复项，预审员则专注于核实异常往昔耗时20至30分钟的任务，如今已缩减至1至2分钟。据《天津日报》2026年7月30日消息，天津市滨海新区知识产权保护中心启用了专利形式审查新工具。该工具融合了大模型技术，能先行核对申请人信息、发明名称、附图标记及权利要求编号等，随后由预审员进行复核。人工审查耗时20至30分钟的单件案件，现已通过人机协作缩短至1至2分钟。首先界定一下范围。这是地方知识产权保护中心的专利预审形式审查实例，时间优化发生于规则清晰的材料核查阶段。全国范围内的专利实质审查另有独立流程，
2026年AI智能体应用工程师认证指南：报名条件、考试形式与职业发展方向全面解析
当前正值高校毕业生求职季，人工智能领域人才需求呈现爆发式增长。今日，《光明日报》刊发题为《建立多方联动机制 加强AI人才培养》的评论文章指出，应着力建立政府、学校、企业多方联动机制，加快健全完善AI时代人才培养体系，以应对日益凸显的结构性人才矛盾。文章指出，随着人工智能技术加速突破和应用场景持续拓展，AI人才需求攀升将成为长期趋势。据相关研究报告显示，今年1至4月，AI领域岗位量同比增长达8.7倍，需求旺盛。不仅传统信息技术人才走俏，AI产品设计、安全评估、合规审核等复合型人才需求扩张更为迅速。面对人才供
601种药品入围2026医保目录初审
记者7月14日从国家医保局获悉，根据各方反馈意见，国家医保局按程序对有关药品审查结果进行了复核和结果修正，最终601个药品通过基本医保目录形式审查，58个药品通过商保创新药目录形式审查。 具体来看，2026年目录调整申报阶段，国家医保局共收到基本医保目录申报信息800份，涉及药品通用名664个，最终601个通过形式审查，其中目录外368个，目录内233个，总体通过率91%。共收到商保创新药目录申报材料62份，涉及药品通用名62个，最终58个通过形式审查，其中目录外57个，目录内1个，总体通过率94%。 需
601种药品入围2026医保目录初审
记者7月14日从国家医保局获悉，经公示调整，2026年医保目录调整申报阶段，国家医保局共收到基本医保目录申报信息800份，涉及药品通用名664个，最终601个通过形式审查，其中目录外368个，目录内233个，总体通过率91%。共收到商保创新药目录申报材料62份，涉及药品通用名62个，最终58个通过形式审查，其中目录外57个，目录内1个，总体通过率94%。 2026年6月29日至7月5日，国家医保局向社会公示了《通过2026年国家基本医疗保险、生育保险和工伤保险药品目录及商保创新药目录调整初步形式审查的申报
中央召开基层减负专项会议 蔡奇强调深化整治形式主义
新华社北京7月10日电中央层面整治形式主义为基层减负专项工作机制会议7月10日在京召开。中共中央政治局常委、中央书记处书记蔡奇出席会议并讲话。他强调，要深入学习贯彻习近平总书记“七一”重要讲话精神，学习贯彻习近平党建思想，把整治形式主义为基层减负同实现新时代新征程党的使命任务联系起来，和保持党同人民群众的血肉联系联系起来，结合开展树立和践行正确政绩观学习教育，持续深化拓展整治形式主义为基层减负工作，更好把减负成效转化为治理效能。 会议强调，要坚持目标导向和问题导向相结合，严格执行整治形式主义为基层减负若干
防汛预案岂能一抄了之
近年来，极端暴雨日益增多增强，防汛工作正面临前所未有的“压力测试”。然而，记者调研发现，在部分地方，作为防汛工作指导性文件的防汛预案，却时不时暴露出各种问题： 有的东拼西凑照搬往年甚至异地模板，城市街道的预案却带有“水库溃决”“农村基层”这类与本地风马牛不相及的字眼；有的为应付检查敷衍了事，演练总结套话连篇，个别甚至露出AI代写的痕迹；还有的事事照搬老黄历，划定风险区只看历史风险，不考虑现实变化…… 预案是防汛工作的“作战手册”，其价值在于面对险情时，每一级责任人知道自己该做什么、每一步响应应该几分钟内到
教育部严令：禁止用手机给学生布置作业
记者3日从教育部了解到，《关于做好2026年中小学、幼儿园暑期安全工作的通知》已于近日发布，明确要求各地各校严格把控暑期作业数量，严禁通过手机布置作业、要求学生借助手机完成作业或让家长检查批改作业等行为，禁止在暑期及假期前后组织面向学生的区域性、校际性统一考试或测验，不得以"夏令营""研学"等名义变相进行考试或测试。 根据通知规定，各地各校须严格遵守招生办学规范，认真落实基础教育规范管理巩固年行动和中小学阳光招生专项行动的各项要求，不得提前开学、推迟放假、利用暑假组织学生集体上课补课，全面执行义务教育免试
科技融合 党课新貌 | 温州党校AI微党课专题展启幕
值此中国共产党成立105周年之际，中共温州市委党校围绕"AI赋能 党课新声"核心主题，系统策划推出AI微党课系列展播活动，依托多渠道、数字化、可视化传播路径，促进党的创新理论深入人心，激发全域AI宣讲新活力。线下展厅重点展示全市AI微党课大赛的获奖佳作。此类作品紧密围绕"'十五五'、勇争先、开新局"主线，巧妙融合数字人讲师、虚拟场景重建等前沿AI技术，讲述百年党史精彩篇章、深入解读党的创新理论，充分呈现温州高质量发展创新成果。线上展馆左图：中共温州市委党校视频号 右图：学习强国平台党校官方视频号同步推出"