警惕AI沦为职场作秀新工具
近期与几位同事交流，察觉AI在许多企业内部正演变为一种新型职场表演。今日特为职场同仁发声吐槽。并非否定AI的价值，恰恰相反，AI极为聪慧且具备重要意义。无论是撰写文档、记录会议、梳理信息、辅助编程、生成图像还是搭建方案框架，其效率提升往往不止一倍。然而问题在于，众多企业对AI的认知正逐渐偏离正轨。本该用于解决实际难题的AI，如今却常被当作展示姿态的工具。你需要证明自己运用了AI。你需要证明团队已实现AI转型。你需要证明工作流程经AI重构。你需要证明自己未被时代抛弃。于是，众人开始撰写AI周报、打造AI案例
AI真的懂“失去”吗？
忽然想到个问题，若AI能完美演绎关于失去的诗句，让人分不清真假，那究竟是AI诞生了，还是我们对自己“懂”的门槛变低了？假设一首关于遗憾的诗，作者身份难辨。常人问“AI真懂遗憾吗？”但这本身可能误导。与其探究内在心灵，不如问“‘理解’在何时使用？如何教会系统‘理解失去’？”答案不在于发现心灵实体，而在于描述语言用法。维特根斯坦在《哲学研究》中反对“意义对应内在图像”的观点，称“一个词的意义就是它在语言中的使用”。“遗憾”没有固定隐秘的体验作为锚点，其意义在安慰、隐喻、沉默等语言游戏中。AI通过训练学会了这些
钉钉管理层更迭后，《置身钉内》作者再发声：形式化加班违背技术初心
专题：从“钉内”走向“钉外”，钉钉副总裁马锐拉辞职：难以分辨是在打造产品还是盲目追赶 新浪科技讯 6 月 12 日清晨报道，近期，一封篇幅约 7.5 万字的辞职信《置身钉内》在网络平台疯传，致使钉钉严苛的管理模式成为舆论焦点。 6 月 11 日，阿里巴巴集团宣布，钉钉创始人陈航（花名“无招”）不再担任钉钉 CEO 一职，由 1992 年出生的技术极客陈宇森接任。就在钉钉完成 leadership 交接之后，《置身钉内》的作者、曾任钉钉 ONE 项目的产品经理再度在社交平台发声，回应外界质疑。 她坦言，选择
AI赋能数学研究：工具演进、边界认知与实践策略
今日在学院午间研讨会进行了关于AI4Math的主题分享，以下为演讲完整内容。各位同仁，中午好！非常感谢学院提供的交流机会。坦白讲，接到这个分享任务时，内心确实有些顾虑。因为我知道，院内不少老师在人工智能的应用与探索方面已走在前列。今天我更多是以抛砖引玉、相互学习的态度，与大家分享个人的观察与心得。计划用约三十分钟做简要汇报，之后预留更多时间，期待与各位同仁深入探讨。今日分享的主题是：AI赋能数学研究：工具演进、边界认知与实践策略首先需要说明的是，这并非严格意义上的学术报告，更倾向于经验交流。过去一两年间，
树立正确政绩观，根除文牍主义
基层干部常感叹“迎检全靠补台账，考核只看本子厚薄”，这生动道出了当下基层治理中文牍主义的痼疾。现实中，耗费干部精力的往往不是攻坚克难，而是为了迎检突击造册、为了考核修饰文书、为了留痕层层加码。一旦工作重心从“干得好”转向“写得好”，从实干担当滑向“文字包装”，文牍主义便滋生蔓延。习近平总书记指出：“要坚决反对文牍主义和繁琐哲学，更加看重评价工作实绩和发展实效”。这一重要论述切中时弊、直指要害，为党员干部树立正确政绩观、整治文牍主义歪风确立了根本遵循。 文牍主义绝非仅是“文山会海”，而是披着制度化、精细化的
陶哲轩：引领AI与数学融合的开拓者
人工智能前沿资讯，第一时间为您送达通过自动化验证工具，复杂的数学问题能够被分解成若干小块（chunks）分别解决，确保每个推理步骤都准确无误，再整合得出最终结果。一些学者认为，这标志着数学研究方式即将迎来重大变革。像Lean这样的自动化验证工具，可以为数学证明的严谨性提供完全的保障。图源：Samuel Velasco |《量子杂志》Quanta Magazine代码致谢：亚历克斯・康托罗维奇（Alex Kontorovich）作者：Kevin Hartnett（凯文・哈特内特，量子杂志特约撰稿人）2026
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生成文本我来粘贴，答辩环节我照本宣科导