AI研究新突破与行业动态
中国AI研究在全球顶级会议ICLR 2026中表现突出，大陆机构论文接收比例达43.7%，首次超过美国的31.9%。GPT-5.5 Pro在两小时内完成博士级数学证明，且首次实验证实AI自我复制成功率达到81%。小米MiMo模型成为Hermes Agent全球调用第一。AI硬件公司未来智能获得传音亿元级投资。五项重点事件值得关注。01 | 中国AI研究反超美国全球AI顶会ICLR 2026落幕，中国大陆机构接收论文占比43.7%，首次超越美国（31.9%）。清北交浙等高校及阿里、华为等企业贡献了大量高质量
AI微积分高手却解不开竞赛题：逻辑证明的短板何在
ChatGPT能解微积分，却解不开一道初中竞赛题——这背后的反差有何玄机GPT-4几秒内就能攻克高考数学压轴，但在一道需要“灵光一闪”的竞赛证明题面前却可能寸步难行。这并非算力不足，也非训练数据匮乏。这个反差，指向了一个关于“智能本质”的深层谜题。先来看一个让许多人费解的现象。你把一道高中数学题扔给 GPT-4，它大概率能给出步骤详尽的解答。但若让它严谨证明“存在无穷多个素数”——这道两千年前欧几里得已解出的题——它给出的“证明”往往逻辑存在漏洞，或者仅是在重复结论，而非真正在进行推理。一个能“解题”的系
AI前沿第020讲：人工智能与数学探讨
AI for Science人工智能与数学的关系《AI for Science 前沿讲座》第020讲上课时间：5月8日（周五）13:00-14:50授课地点：北京大学图书馆北配殿科学报告厅（一教正对面）报告简介：本报告将围绕人工智能发展的脉络，重点讨论其与数学之间的深层关联。内容分为两大部分：第一部分从数学视角梳理人工智能的演进历程，回顾不同阶段具有代表性的研究工作，提炼其背后所依托的数学基础与关键思路，并结合近几年人工智能方向的典型进展，分析当前前沿趋势以及主要难点与瓶颈，进而阐明人工智能与数学相互促进
GPT-5.5 Ultra推理跃升：OpenAI能力再升级
2026年5月5日 · AI大模型迎来重磅更新OpenAI于5月5日正式上线GPT-5.5 Ultra，作为其2026年AI走向实用化的重要节点，这一新模型在复杂逻辑推理、数学论证以及代码生成等方面带来显著进展，进一步拓展了大语言模型的能力上限。根据官方披露，GPT-5.5 Ultra在推理与编码方面的表现相比GPT-4实现了明显提升，尤其在复杂逻辑推断、数学证明与代码生成等关键任务上取得突破。同时，其算力消耗可达每分钟4亿Token量级，反映出当前大模型算力的高端水平。另外，GPT-5.5 Ultra的
陶哲轩：只会做题终将落后，AI推动数学进入“证明过剩”
《自然》杂志近日就人工智能如何改变数学家展开了采访，受访者是菲尔茨奖得主陶哲轩。他认为，AI会迫使我们重新审视一些最基础的概念——什么才算数学证明？论文究竟意味着什么？数学家这个职业追求的目标到底是什么？如果这些问题不由人主动提出，最终答案可能由AI公司给出，或更直接地被经济利益所左右。那为何数学会成为AI眼中的“下一大目标”？在其他领域的应用里，AI最大的硬伤往往在于它可能产生难以核验的错误。但在数学中，情况几乎完全不同：你能把结果自动核对——至少当输出被当作定理的证明时是如此（当然，这并不等于数学家工
AI下半场靠检验定输赢，“零人公司”压缩打工路
各位极客朋友晚上好！今晚科技圈简直热闹得像“脑洞和落地一起跑、复盘和狂欢同频闪”：有人拿上世纪的老数据喂AI，有人直接预测以后不用上班了，还有人出来给正燃的AI泡沫泼冷水……废话先到这儿，咱们马上开吃硬菜！👇这次的实验也许是今年最让人改观的一例。由GPT系列核心缔造者Alec Radford带头的项目，做出了名为 Talkie-1930-13B 的模型，规模130亿参数，训练材料只取1931年1月1日之前的英文文本（书籍、报纸、科学期刊等）。然后呢？在现代计算机概念几乎为零的前提下，它只看了示例，就能靠上
AI日参|每日3分钟热点速递
时间：2026-05-01 08:09 · 汇集 10 条前沿动态 · 核心词：阿里数字员工QoderWake、移动端Agent、人工智能阿里巴巴发布数字员工解决方案 QoderWake 与移动版Qoder。QoderWake基于Harness-First框架设计，拥有全方位自我迭代功能，能够将实践经验累积至记忆、技能五大层面，有效克服通用型Agent"执行后遗忘"的短板。现阶段已推出"虚拟程序员"角色，在集团内部达成端到端无人化故障诊断与代码修正，使单个问题处理时间由30分钟降至2分钟。• 详情：htt
AI面对黎曼猜想：它还会在哪些地方绊倒
摘要 黎曼猜想（RH）被普遍视为数学史上最重要的悬而未决难题之一。一个半世纪过去，它依旧让所有证明路线无功而返。随着人工智能逐步走入数学推理：能解竞赛题、能做复杂定理的检验、甚至能生成新的猜想——一个顺理成章的追问出现了：AI有没有可能证明黎曼猜想？若有，又需要满足哪些前提？要回答它，我们不得不正视当下AI的短板、数学发现究竟依赖什么、形式化验证在其中扮演的作用，以及在证明能够被“认证”为无误之前必须搭建的巨型知识支架。下面将从三个互相缠绕的方向拆解：当前AI欠缺的关键能力、把解析数论搬进形式系统的浩大工
人工智能认证报名材料清单详解
（1）网络报名时段：2026年4月21日至2026年5月7日；模板参照如下（填写指导请联系班主任）：身份证明：内地居民提供身份证，港澳台人士凭港澳台身份证或居住证，外籍人员持外国护照。学历证明：毕业生提供毕业证或学信网验证报告，应届生出具在校证明。电子彩照：近半年2寸白底照，可通过支付宝"免费电子证件照"小程序拍摄。用于核实工作年限。参保地在广东省的申请者，须提交广东省社保个人参保证明（不含深圳）。年限报考者需备齐材料：单位名称应与社保记录一致，岗位须属人工智能领域。需上传末份劳动合同关键页（首页、岗位信
鸿蒙6.1上线数字遗产继承，守护珍贵数字记忆
4月20日，华为正式在HarmonyOS 6.1中推出了数字资产继承功能。该功能允许用户提前指定值得信赖的亲属作为继承人，将存储在华为云空间中的珍贵数字记忆安全、便捷地传递给最重要的人。鉴于数字资产已成为个人核心人生资产，这一功能的上线精准解决了用户长期面临的数字传承痛点，显得尤为关键且及时。 当下，我们的人生轨迹正越来越多地沉淀在数字世界之中。无论是记录亲情与生活的照片视频、承载个人思绪的备忘录与录音，还是凝聚了创作心血的各类数字文件，这些数字资产早已超越了数据本身，成为兼具情感价值与财产属性的个人核心
破解人工智能证据在刑诉中的解释难题与应对策略
随着技术的高速演进，人工智能证据正逐渐进入刑事司法体系。我国的公安机关、检察机关及审判机关已主动开展智能化建设，智慧公安、智慧检务与智能审判等模式成为科技司法改革的突出成果。由人工智能引领的刑事证据革新已成为前沿热点。诸如“人脸识别证据”“智能轨迹分析证据”“自动驾驶疲劳监测证据”“算法证据”及“区块链证据”等新兴证据形态在刑事证明过程中的应用日趋频繁。然而，这些新型证据能否正式进入刑事诉讼证据体系并获得认可，是当前司法实践必须面对的核心问题。一、人工智能的解释性难题在实际的刑事诉讼活动中，人工智能证据的
海华研究 | “AI法律实务”专栏启幕——深度伪造技术对刑事证据审查的挑战与应对
人工智能技术的迅猛进步，正深刻重塑着社会生产生活方式与法治实践的格局，各类新型法律问题随之持续涌现。本所设立“AI法律实务”专栏，扎根法律实务前沿，专注人工智能领域的合规治理、知识产权、责任界定、权益维护等关键法律议题，以专业实务研究推动产业规范化发展，为数字时代的法治建设贡献专业智慧。2026年2月，字节跳动重磅推出视频AI生成模型Seedance2.0，引发行业强烈关注，其生成的视频画面极为逼真，肉眼几乎难以辨识真伪，即便采用专业的AI检测手段也存在误判风险。这一技术突破再度唤起法律界的长期担忧：由A
AI模型有望成为数学界的通用语
星期二 多云 31℃/21℃AI模型有望成为数学界的通用语· 核心摘要不少人寄希望于AI简化证明验证流程。· 正文验证过程往往漫长。同行数学家耗费十余载反复推敲，才确认黑尔斯的计算无误。数学结论要获“证明”地位，每一步都得逐符号、逐命题核查。美国国防高级研究计划局（DARPA）的帕特里克・沙夫托指出，这凸显了数学界的“核心瓶颈：信任问题”。沙夫托博士率领团队，旨在利用AI加速纯数学发展，其中关键在于简化“形式化”流程。若具备高深数学素养的大语言模型（LLM）真能验证既有证明并协助构建新证明，众多数学家相信
1220亿美元估值！OpenAI改写商业史，AI争霸开启新篇章
文 | 机器迷途|2026年4月9日2026年3月31日，一笔高达1220亿美元的注资，创造了人类商业史上的奇迹。这笔资金并非来自房地产或国债，而是OpenAI的一次私募股权交易。领投方阵容豪华，包括亚马逊、英伟达和软银等科技巨头：估值跃升至8520亿美元，月入20亿美元，周活用户突破9亿。此时的OpenAI，早已超越了一家普通"AI公司"的范畴，蜕变为一个庞大而稳固的基础设施生态帝国。业界为之震撼的是，在融资官宣之前，OpenAI低调发布消息：ChatGPT-5.2（思考版）仅用7轮对话
AI时代降临，编程教育是否仍有必要？
2026年AI即将全面普及！究竟该不该让孩子学习编程？事实真相或许与你想象的截然不同！很多人觉得AI如此强大，孩子学习编程已失去意义？坦白讲，到了2026年，情况恰恰相反。教育部2025年出台的《人工智能教育白皮书》明确提出，中小学信息科技课程将全方位强化“计算思维”与“算法意识”。人社部最新就业趋势报告同样指出，未来五年增速最快的职位并非“纯程序员”，而是“既懂业务又懂AI工具”的复合型人才。数据最具说服力。01普遍认知：AI能编写代码，孩子学习编程毫无意义。现实情况：缺乏编程逻辑能力的人，连如何有效使