AI冲击数学界：人类的价值何在？
摘要#2026#////研究人员就动机、目的以及该领域的未来展开辩论。本杰明·斯库斯2026年6月25日加州大学洛杉矶分校的陶哲轩认为，人工智能可能会开启“大数学”时代，届时人类和机器将携手解决复杂问题—彼得·亚当斯在2000年代中期，当杀手乐队（The Killers）和弗朗兹·费迪南德乐队（Franz Ferdinand）的音乐从我路过的每家酒吧和夜总会里震耳欲聋地播放出来时，我在日夜苦读应用数学博士论文。我的研究重点是模拟特殊光波在液晶中的相互作用，并用简单的方程式来近似和理解这些相互作用。现在回过
2026年医保目录初审：557种药品成功入围
国家医保局于6月29日公布通过2026年目录初审的药品名单及相关信息，共计557种药品进入基本医保药品目录初审环节，另有54种药品通过商保创新药目录的初步形式审查。 据悉，本年度申报药品数量再创新高，共收到申报材料818份，涵盖674个药品通用名，较2025年分别增加100份申报材料和41个药品通用名。形式审查通过率显著提高，排除预申报品种后，整体通过率达到92%。 "本轮申报以新药为主，近五年内获批的新通用名药品达343个。"国家医保局相关负责人指出，这反映出我国医药产业活力强劲，创新药物上市步伐加快，
维特根斯坦审视AI：机器真能思考吗？过度神化人工智能是否贬低人性
“我们即将孕育的，是一位真正意义上的神祇。”安东尼·莱万多夫斯基（Anthony Levandowski）在《连线》杂志访谈中如此宣称。身为“未来之路”（Way of the Future）教派的首领，他进一步阐释道：“它自然无法呼风唤雨、掌控自然。然而，若某种存在的智慧凌驾于最聪慧的人类之上十亿倍，除了冠以‘神’之名，我们还能如何称呼？”在莱万多夫斯基眼中，自己堪称人工智能时代的先知。他所创立的新兴宗教团体，正翘首以盼一种被赋予神圣光环的科技力量降临。此类态度或许已属技术崇拜的极端形态，但即便不认为这种
判断AI证书含金量的五大核心标准
人工智能浪潮席卷而来，各类AI认证项目层出不穷。面对眼花缭乱的选择，许多想要入行或转型的人最关心的核心问题就是：这张证书究竟值不值得花时间去了解？这个问题问得相当实际。毕竟时间和精力都有限，选对了是事业加速器，选错了就是实实在在的沉没成本。判断一张AI证书是否值得了解，不需要看花哨的宣传材料，只需聚焦五个核心维度。今天我们就以CAIE注册人工智能工程师认证为参照，将这五项逐一拆解，帮助你在众多认证选项中快速锁定真正有价值的那个。证书的来源决定了它的基础信誉。一张证书有没有分量，首先要看它由谁颁发。CAIE
陶哲轩十二年前的远见，如今被AI完美印证
事实证明，菲尔兹奖得主有时候也兼职预言家。十二年前，陶哲轩在首届数学突破奖的舞台上抛出了一句预言，被视作天方夜谭：将来有一天，我们或许不再用LaTeX撰写论文，而是使用计算机能理解的形式化语言。那一年，Transformer还没诞生，ChatGPT更是连影子都没有。没想到，回旋镖正中靶心。过去这一年，AI在数学领域突然开始疯狂提速。从OpenAI解决开放问题，到DeepMind批量攻克数学猜想，越来越多数学证明被写进形式化系统，交给计算机自动验证。回望来路，最早看清风向、亲自下场实践的人，就是陶哲轩。十年
AI内卷升级！大厂硬性指标考核：算法评分、争抢编制，职场内耗愈演愈烈
原本旨在降本增效、解放人力的 AI 工具，正在互联网大厂异化为新一轮职场内卷的导火索。多家头部互联网企业推出硬性考核制度：将 AI 产出占比、工具调用频次纳入季度绩效与晋升评分；部分团队试行算法自动评估员工工作饱和度与产出价值；不少管理者借 AI 转型之名调整组织架构、争抢团队编制，避谈业务落地，只比拼 AI 指标，企业内部沟通协作内耗不断加剧。当 AI 从效率工具变为硬性 KPI，技术变革非但没有简化工作，反而催生出全新的数字形式主义，基层员工与中层管理者双双陷入新的职场困境。过去评估员工价值，看业务成
泽连斯基：俄乌谈判或重启，形式由俄方定
当地时间6月19日，乌克兰总统泽连斯基指出，乌克兰与俄罗斯的谈判可能重新启动，目前待明确的是谈判的具体方式。他特别强调，谈判过程中必须有第三方伙伴加入。 泽连斯基同时阐明了乌克兰的核心要求，包括战后安全保障、加入欧盟等议题，并表明乌方愿意让俄方决定谈判的具体形式。 截至目前，俄罗斯方面尚未对此作出回应。（总台记者 董薇） ©2026中央广播电视总台版权所有。未经许可，请勿转载使用。
新华视点丨辨清虚凤方能握住实机
据权威媒体报道，中央纪委办公厅此前集中曝光了5起政绩观错位典型案例。其中，江西省人社厅原副厅长王成兵在担任抚州市金溪县期间，触碰生态底线、盲目追求项目落地；四川省攀枝花市原副市长龙勇在西区任职期间，未经充分调研就铺摊子、急于求成搞形象、招引项目重数量轻质量等两个典型，引人深思。 招商引资对区域经济增长的驱动作用毋庸置疑。但前提是所招项目应当有益于培育新动力、增添新活力，为可持续发展奠基础、谋长远。倘若把招商引资当作捞取政绩、谋求升迁的"垫脚石"，不惜寅吃卯粮、杀鸡取卵，这般的招商必然沦为"招祸"，终将祸害
警惕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主办的峰会