北约拟邀海湾四国参会 聚焦伊朗冲突与跨大西洋裂痕
消息人士透露，北大西洋(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
AI使用有感
前几天，参加了几场培训，尝试了AI工具，有的用于文本生成，有的用于视频制作，或者人机交互问答，核心仍是语文教学，而非AI技术展示。随后专家点评道，拒绝AI显得落伍，过度依赖AI同样不明智。我想表达的是，不用AI行不通，但使用AI也真费劲。今天清晨，我就开始折腾AI，还投入了一点会员费用，结果发现，功能琳琅满目，但多数不符合需求，心里有些郁闷，不知道是自己操作不对？还是问题设置太简单？或许AI本身存在局限？相比之下人更可靠。由AI联想到情感，我发现手机里照片越来越多，担心手机内存会爆掉，得赶紧清理，释放空间
新华时评丨“空气法”闹剧折射基层形式主义顽疾
新华社成都4月23日电 题：“空气法”闹剧折射基层形式主义顽疾 新华社记者吴光于、唐文豪 一部根本不存在的《中华人民共和国印章管理办法》，竟然被某些基层单位在正式文件中作为依据引用。近期，四川某基层法院的更换印章公告里出现这一“乌龙法规”被媒体曝光，引发舆论热议。 此类现象并非个例。记者整理发现，近年来，全国已有30多家法院、检察院在正式文件中援引这部子虚乌有的“法规”，被网友调侃为“空气法”笑话。这出荒诞剧的上演，表面看是工作人员的粗心大意，实则反映出一些地方基层工作的漂浮作风、形式主义病灶。 经查证，
破除“数字升官”不良导向
“数字出官”是政绩观错位的典型表现之一。习近平总书记批评有的领导干部“为捞取功名不惜做假账、玩数字游戏、报虚假政绩”，并鲜明指出这种做法“害人害己，是要不得的”。数字具有直观、简明的特点，用其考核干部政绩、客观反映实情、服务科学决策，是现代社会治理所需。然而，如果党员干部为求职位升迁，用数据包装政绩，玩数字游戏、搞政绩“美颜”，就会陷入形式主义的泥淖和治理失效的怪圈，其危害不容小觑。 “数字出官”的症结在一个“虚”字。有的领导干部深陷“数字迷思”，把好政绩简单等同于漂亮数字，执念于凭“数字”论英雄、以“指
通用技术集团子公司虚假贸易被通报
4月20日获悉，日前中央整治形式主义为基层减负专项办联合中央纪委办公厅通报了4起典型案例。其中涉及通用技术集团旗下子公司利用虚假贸易手段提升业绩，从而加剧了国有资产流失隐患。 通报指出，通用技术集团在多次被指出旗下企业存在虚假贸易问题后，整改落实不到位。2025年相关部门再次查实，其下属四家子公司为美化财务报表，盲目拓展非主业内贸，通过引入中间商增加贸易层级等方式虚报营收。旗下中国车辆进出口公司漠视风险管控，违规从事融资性贸易以规避监管，导致巨额风险敞口，部分订单最终落空。 通报强调，这些现象揭示了部分地
中央层面整治形式主义为基层减负专项工作机制办公室 中央纪委办公厅通报4起典型问题案例
新华社北京4月20日电日前，中央层面整治形式主义为基层减负专项工作机制办公室会同中央纪委办公厅对4起典型问题进行通报。具体如下： 1.吉林省白城市有关部门摊派报刊订阅任务，加重基层负担。近年来，白城市委宣传部在年度党报党刊征订工作中，违反党中央关于严格规范报刊发行秩序有关要求，搭车摊派其他10余种报刊，并将订阅任务进行分解，有的县为完成任务层层加码，有的乡镇将英文报纸订阅任务摊派给村，2025年仅通榆县就花费139.89万元订阅其他17种报刊。白城市总工会、生态环境局等市直单位也按上级要求向下级摊派行业报
AI浪潮下的人工智能训练师认证指南
AI浪潮下的人工智能训练师认证指南请收好！ 证书是广东省职业技能等级证，人社授权机构颁发，全国联网可查。 主打AI应用与实操，零基础也能轻松入门。 ✅报考条件 初级：初中以上+年满16岁 中级：初中以上+5年社保 高级：相关专业可直报，非相关需10年社保 ✅考试形式 理论+实操机考，两科均60分合格，没过可补考。 ✅广东补贴 初级1000｜中级1500｜高级2400 紧缺工种最高可领3120！ 适合：想转行AI、做运营设计内容、需要积分入户、领技能补贴的朋友。 #广东人工智能训练师 #人工智能训练师 #考
向“太平官”现象坚决亮剑
为官避事平生耻。习近平总书记深刻指出：“担当和作为是一体的，不作为就是不担当，有作为就要有担当”，并严肃批评有些领导干部“不思进取、为官不为，抱着‘当一天和尚撞一天钟’的心态，只要不出事，宁愿不做事，满足于做四平八稳的‘太平官’”。这些“太平官”遇事搞好人主义、当“好好先生”，对问题视而不见、对歪风姑息纵容，看似无明显违纪，实则消解斗志、涣散人心、贻误事业。长此以往，必将侵蚀干事创业的锐气，损害发展大局。树立和践行正确政绩观，必须动真碰硬、系统施治，着力纠正做“太平官”的错误政绩观，鲜明树立重实干、重担当
AI进军数学界，奥数赛场大放异彩，研究范式迎来巨变
数学界的人工智能变革浪潮已然席卷而来2025年的盛夏，人工智能在数学界迎来了真正的里程碑。在当年的国际数学奥林匹克竞赛中，多款AI模型在六道题目中成功攻克五道，其表现远超许多专家的预料。虽然奥数题属于有确定答案的难题，并非开放性研究问题，但这一成绩足以让整个数学界重新审视AI的巨大潜力。过去那些认为AI容易出错、难以胜任严肃数学研究的专家学者，如今纷纷开始将AI融入日常工作。实际应用效果令人惊喜：AI不仅解题能力出色，更能协助研究者探索全新的研究方向，将原本需要数周甚至数月才能完成的工作，大幅压缩至一天之
AI模型有望成为数学界的通用语
星期二 多云 31℃/21℃AI模型有望成为数学界的通用语· 核心摘要不少人寄希望于AI简化证明验证流程。· 正文验证过程往往漫长。同行数学家耗费十余载反复推敲，才确认黑尔斯的计算无误。数学结论要获“证明”地位，每一步都得逐符号、逐命题核查。美国国防高级研究计划局（DARPA）的帕特里克・沙夫托指出，这凸显了数学界的“核心瓶颈：信任问题”。沙夫托博士率领团队，旨在利用AI加速纯数学发展，其中关键在于简化“形式化”流程。若具备高深数学素养的大语言模型（LLM）真能验证既有证明并协助构建新证明，众多数学家相信