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）真能验证既有证明并协助构建新证明，众多数学家相信
莫让创新沦为形式主义
开展工作，追求创新性是时代要求；推进落实，强调创造性同样关键。然而，笔者在基层调研发现，部分“创新”走了样，变成了生搬硬套、牵强附会的“造概念”：明明毫不相干的几项工作，硬要拼成“1+N”“2+3”之类的模式；明明是各地普遍推行的做法，非要标榜为独创的“某案例”“某样本”；本来线下就能说清楚、能讲明白的事，非要开发个APP搞工作留痕，美其名曰“数字化+”……工作还是那些工作，形式却是一套接着一套，引发干部群众不满。 为何会如此？根本上，是政绩观出现了偏差。相较于日常怎么干，有的干部更在意在领导面前怎幺说。
2026浙大AI数学夏令营：免费免宿
2026年度浙江大学暑期研修：AI4MATH课程详情大语言模型正在重塑数学家的日常工作流程，无论是提出猜想还是验证证明，AI 都已成为科研的得力助手，其中 Lean 工具更是备受推崇。本届暑期学校聚焦 Lean 形式化数学，全面覆盖从类型论基础到元编程的技术体系，并融合大语言模型等尖端 AI 技术，旨在探索利用 AI 重构数学科研与教学的新路径，现面向全国高校学子招募。开课时间暑期课程：2026 年 7 月 13 日 - 7 月 20 日成果汇报：2026 年 7 月 21 日举办地点浙江大学数学高等研究
美伊谈判代表团抵达巴基斯坦，规模悬殊谈判形式未定
4月11日，参与美伊会谈的美国代表团已经到达巴基斯坦境内。该代表团成员囊括了美国副总统万斯、中央司令部司令布拉德·库珀、总统特使史蒂夫·威特科夫以及前总统特朗普的女婿贾里德·库什纳。 同日凌晨，巴基斯坦官方发布消息，确认美伊谈判将于当天在首都伊斯兰堡的塞雷纳酒店进行，旨在为当前中东地区的紧张局势探寻和平化解途径。由伊朗伊斯兰议会议长卡利巴夫带领的伊朗谈判小组也已抵达该酒店。 据巴基斯坦政府高层人士11日透露，尽管美伊双方已确定当天举行会谈，但具体的谈判形式目前仍未最终敲定。 该人士指出，双方为此次谈判预备
领会新思想丨政绩观偏差是形式主义之源
“形式主义的本质在于主观主义和功利主义，其深层次原因在于政绩观念的扭曲和责任意识的淡薄。”习近平总书记始终将党的作风建设置于突出位置，就反对形式主义、官僚主义以及树立与践行科学政绩观发表了一系列重要论述。我们节选《习近平关于树立和践行正确政绩观论述摘编》一书中的相关内容，共同学习理解。
别让视频会议沦为陪会扩容器
近年来，视频会议技术快速普及，确实带来了诸多便利。一些地方一旦发生重大突发事件，各级职能部门能够借助视频会议第一时间了解情况、迅速调度，明显提升稳妥处置的效率；一些工作部署通过视频会议开展，基层干部不必来回奔走，也无需层层转达，能够直达一线，既节约了时间成本，也提高了工作效能。至少，视频会议让不少同志尤其是基层干部减少了“跑会”之苦，有利于整治文山会海、切实为基层减负。 但再好的技术工具，也经不起被用偏，一些地方在具体执行中渐渐背离了减负初衷。比如，有的地方因为视频参会更方便，便随意扩大参会人员范围，把原
从广州到硅谷：洪乐潼押注16亿美元，筑起AI逻辑校验防线
2026年4月，硅谷。在人工智能浪潮高涨之际，代码生成能力正以惊人的速度攀升。但与此同时，潜在风险也在同步放大：这些愈发强大的系统，正越来越像一个“擅长编造”的幻觉制造者。它们能够在极短时间内写出成千上万行代码，却无法确保系统在真正运行到关键节点时，不会因逻辑缺陷而失效。在这片“概率式繁荣”的迷障里，25岁的广州女孩洪乐潼（Carina Hong）选择了反向而行。她的目标并不是让AI更聪明，而是让它更可信。洪乐潼的经历堪称天才模板，但更令人注意的，是她身上展现出的韧劲。2001年出生于广州天河的她，17岁