AI重塑数学：从证明泛滥到基建重构|2026 Science x AI Summit
人工智能正以惊人步伐深入数学研究领域。然而，2026年5月在硅谷举行的一场顶级科学对话揭示了一个反常识的现实：AI并非能力不足，而是“方向走偏”。2026年5月12日至13日，SAIR Foundation联合创始人、菲尔兹奖得主陶哲轩（Terence Tao），菲尔兹奖得主、剑桥大学教授蒂姆·高尔斯等数学界领袖在“2026 Science x AI Summit”会议上共同发出警告：数学正从“证明稀缺”阶段滑向“证明过剩”阶段，而人类数学家尚未做好应对准备。这场由SAIR Foundation主办的峰会
漫画：算好民生大账，摒弃私心小算
树立正确的政绩观是执政的品德、从政的途径、施政的关键。通过深入开展正确政绩观的学习教育，引导全党特别是各级领导班子和领导干部有效防范并纠正政绩观的偏差，坚定树立并践行正确的政绩观，方能推动经济社会的高质量发展，推进中国式现代化进程，不断创造出经得起实践、人民和历史检验的实绩。 干事创业，首要任务是厘清“我是谁、为了谁、依靠谁”，妥善处理大我与小我的关系。若做事动机不纯，将干事与个人名利捆绑，易导致心浮气躁、急功近利，引发“重面子轻里子”“做秀而非做事”等各类变形走样的问题。 树立并践行正确的政绩观，意味着
詹卫东：范式演进下的语言学与AI融合之道
2026年第3期专题研究一人工智能与语言研究的革新作者简介詹卫东北京大学教授，主要研究方向为计算语言学、语言知识工程、中文信息处理。从范式嬗变看语言学与人工智能的融合路径詹卫东（北京大学中文系北京100871）提要从规范语言学、比较语言学、结构语言学到生成语言学，语言学跨越千年的范式变迁，终极目标是为人脑内部语言建模。语言学者虽已积累大量微观语言学成果，却难以由量变引起质变，距建构整体语言模型仍有巨大鸿沟。自1950年代至今，人工智能技术范式从符号主义、经验主义发展到联结主义，生成式大语言模型已经可以依靠
AlphaProof Nexus破解数学难题，AI重塑科研范式
2026年05月26日 星期二AI HOT 精读今天AI圈发生了17件大事，我们深度解析了其中最重要的一件🎯 今日焦点 · 国际AI国际AI 谷歌 AlphaProof Nexus 攻克 2 道悬置 56 年 数学难题📌 事件概述Google DeepMind 今天放了个大招——他们的新 AI 框架 AlphaProof Nexus，一口气攻破了 2 道悬置了整整 56 年 的数学难题。这可不是什么竞赛题或者算法刷分，而是 20 世纪传奇数学家保罗·埃尔德什（Paul Erdős）提出的开放问题，数学界等
4月全国通报超2万起违反八项规定问题
新华社北京5月25日电（记者孙少龙）中央纪委国家监委25日对外发布了全国整治违反中央八项规定精神问题的月度统计。数据显示，今年4月，全国累计查处此类问题21889起，共对27852人进行了批评教育或处理（含1名省部级领导及110名地厅级干部），其中18649人受到党纪或政务处分。 通报指出，今年4月全国共发现形式主义、官僚主义问题11308起，涉及批评教育和处理14914人。其中，针对“在履职尽责、服务经济社会发展和生态环境保护方面不担当、不作为、乱作为、假作为，严重影响高质量发展”的问题查处数量居首，共
百元成本破解80年数学悬案：AI正在重塑学术研究规则
近期，OpenAI 公布了一则令数学界为之震动的研究成果。其通用推理模型独立推翻了一个悬而未决近八十年的著名猜想——Erdős 平面单位距离问题。这不是辅助人类完成的，也不是检索了已有文献，而是完全自主推理得出的结论。菲尔兹奖得主 Tim Gollars 评价道："若这篇论文以人类名义投向《数学年鉴》，我会毫不犹豫支持发表。"随后 Ethan Mollick 进行了一番测算。基于公开的大模型推理成本数据，解决这个八十年难题所耗费的资源为：电力 0.6–6.3 千瓦时（相当于电动汽车行驶数英里），水资源 3
AI模型颠覆数学猜想
人工智能首次推翻离散几何核心猜想，数学界迎来"iPhone时刻"5月21日，OpenAI发布重要研究，宣布其最新AI系统成功推翻了离散几何领域的一个核心猜想——"埃尔德什-法尔廷斯覆盖猜想"的某个推广版本。这个猜想自1960年提出以来，已经困扰了数学界60多年。全球顶尖数学家曾尝试各种方法证明或证伪，均未成功。如今，一个AI系统在48小时内完成了这项工作。数学界震动了。著名数学家陶哲轩在社交媒体上发文："这是数学史上的iPhone时刻——AI不仅能辅助证明，还能发现
AI数学证明的新纪元 - 从OpenAI离散几何成就看科研智能体的潜力与局限
当 AI 开始证明数学从 OpenAI 离散几何突破，看科研智能体的价值与边界关键进展OpenAI内部通用推理模型证伪了平面单位距离问题中长期被视为定论的 n^{1+o(1)} 猜想，成功构建了具有明确指数级增益的反例。更广阔的视野结合AlphaGeometry、AlphaProof、Lean/Mathlib等成果，探讨AI如何从单纯的计算辅助升级为研究协作伙伴。核心洞察AI的价值不仅在于更快速的运算，更重要的是拓展研究边界、揭示跨学科关联、提供反例并协助验证。保持警惕AI成果需要专业评估、形式化确认和学
毕业季论文的AI狂欢：一场三方默契的表演
# 救命🆘当代毕业论文：AI与AI的较量，人类沦为背景板家人们谁懂啊！毕业季最魔幻的并非通宵调整格式而是猛然发现整个论文流程中，唯独缺了一个真实的人？🤡🤖 三路人马AI大混战：谁的算力先耗尽谁认输论文撰写、导师指导、现场答辩：最焦头烂额的永远是三套AI系统一款替学生草拟论文、润色内容、临场应变话术一款替导师炮制万能评语："论证逻辑有待加强""论述依据尚需充实""结论部分需进一步明确"主打一个放之四海皆准，十年后依然适用还有一款替答辩组设计标准提问+机械式点评学生：AI生成文本我来粘贴，答辩环节我照本宣科导
北约拟邀海湾四国参会 聚焦伊朗冲突与跨大西洋裂痕
消息人士透露，北大西洋(5.820, 0.09, 1.57%)公约组织（NATO）正筹备邀请四国海湾代表赴安卡拉出席峰会，伊朗战事及跨大西洋关系裂痕或成会谈核心议题。 受邀方包括巴林、科威特、卡塔尔及阿联酋，这些国家均属“伊斯坦布尔合作倡议”成员，该机制旨在深化北约与中东非成员国间的协作。 据知情人披露，上述四国外长预计将获邀参加定于7月7日至8日在土耳其首都召开的高层会议。 会议召开正值伊朗战争爆发后，跨大西洋关系日趋紧张之际。此前，美国总统唐纳德·特朗普曾指责北约盟友未助恢复霍尔木兹海峡航运，并随即宣
当AI沦为考核硬指标：大厂效率不升反降的管理困境
近期，不少职场人在社交平台发声，称所在公司要求所有岗位在提交工作成果时必须标明AI辅助情况。为完成这一要求，有人将AI生成的无关内容硬塞进周报，有人将本已完成的文档重新用AI排版充数，更有甚者，某客服部门硬性规定必须用AI回复客户，却因机械刻板的答复招致大量投诉。这种硬性推广AI的做法，正在制造严重的形式主义。当工具应用演变为考核标准，AI的本来价值便被彻底扭曲。我们对话了中欧国际工商学院的一位管理学专家，试图剖析这一现象背后的组织逻辑、AI的真实定位，以及人机协作时代的演进路径。这位学者副教授表示，当下
S市推行AI：三观点现场回应
S市展开AI活动，三人有三个观点：第一个人说AI会取代人类；第二个人说过分AI会导致形式主义；第三个人说AI办理业务有风险、不够成熟。请你现场一一回应。答案解析围绕AI应用的三种看法，表面是在讨论技术本身，实质是在提醒我们推进过程中要用辩证思维、务实举措。下面，我将按观点逐一作答：对于“AI会取代人类”的担心，我建议理性看待。一方面，AI在信息检索、数据汇总、重复性咨询等环节确实更高效，例如政务大厅设置AI咨询岗，能够全天候回应常规问题，其价值更接近“减负提效”，而不是简单的“替代”。另一方面，人的情感交
政绩观的误区：莫让新装扮旧行
领导干部能否树立正确的政绩观，直接关系到发展成果乃至成败。坚持高质量发展，是确立和践行正确政绩观的必然要求和核心内容。习近平总书记指出：“要实现第二个百年奋斗目标，我们必须坚持党的根本路线，以经济建设为中心，但在新时代，发展不能墨守成规，必须全面、准确、深刻地贯彻新的发展理念，加速构建新的发展格局，推动高质量发展。”“穿新鞋走老路”，表面上看是行为上的偏差，其根本在于政绩观的扭曲。只有确立并践行正确的政绩观，全面、准确、深刻地贯彻新的发展理念，才能真正开辟出高质量发展的新道路。 习近平总书记关于“穿新鞋”
AI面对黎曼猜想：它还会在哪些地方绊倒
摘要 黎曼猜想（RH）被普遍视为数学史上最重要的悬而未决难题之一。一个半世纪过去，它依旧让所有证明路线无功而返。随着人工智能逐步走入数学推理：能解竞赛题、能做复杂定理的检验、甚至能生成新的猜想——一个顺理成章的追问出现了：AI有没有可能证明黎曼猜想？若有，又需要满足哪些前提？要回答它，我们不得不正视当下AI的短板、数学发现究竟依赖什么、形式化验证在其中扮演的作用，以及在证明能够被“认证”为无误之前必须搭建的巨型知识支架。下面将从三个互相缠绕的方向拆解：当前AI欠缺的关键能力、把解析数论搬进形式系统的浩大工
3月全国通报：违反八项规定问题查处21274起
新华社北京4月27日电（记者孙少龙）中央纪委国家监委27日对外发布全国查处违反中央八项规定精神问题情况月度数据。通报指出，今年3月，全国累计查处违反中央八项规定精神问题21274起，批评教育和处理26614人（含1名省部级干部、116名地厅级干部），其中给予党纪政务处分18186人。 通报显示，今年3月全国共查处形式主义、官僚主义问题10824起，批评教育和处理14102人。其间，“在履职尽责、服务经济社会发展和生态环境保护方面不担当、不作为、乱作为、假作为，严重影响高质量发展”等方面问题占比最高，查处9