莫让创新沦为形式主义
开展工作，追求创新性是时代要求；推进落实，强调创造性同样关键。然而，笔者在基层调研发现，部分“创新”走了样，变成了生搬硬套、牵强附会的“造概念”：明明毫不相干的几项工作，硬要拼成“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岁
数学研究新范式：人机协同时代的开启
传统观念里，数学家常被视为孤军奋战的沉思者，他们依靠个人才智与毅力，在纸笔和黑板构建的宁静天地里探索难题。但人工智能（AI）的迅猛发展正在改写这一经典场景。现今，AI的功能已远不止于高速运算与符号处理，它正深度介入数学推理的核心环节。它不再仅仅是执行机械指令的工具，而是能够独立分析问题、提出猜想，甚至构建证明框架的智能合作者。这一变化意味着数学研究正从纯粹依赖人脑思考，进入人机协同的新纪元，并深刻重塑了数学家们的工作模式。AI的参与显著改变了数学思维的构成。以往，研究生面对复杂问题时必须从空白起步，投入大
中国AI首次攻克数学未解难题并完成形式化证明
近日，北京大学北京国际数学研究中心传来消息，董彬教授率领的AI4Math研究团队依托自主研发的人工智能框架，成功破解了交换代数领域一项悬而未决的猜想——安德森猜想，并在Lean编程语言与定理证明环境中完成了近19000行的形式化论证工作。此举标志着我国首次利用人工智能框架解决交换代数开放难题并完成大规模形式化验证，为数学与人工智能的深度融合开拓了新路径。 该猜想由美国学者安德森在2014年首次提出，其核心研究对象是“准完备局部环”的某些特性。此类环主要用于代数化描述几何体在局部区域（例如某个点的邻域）的无
AI写作无法弥补选题的缺陷
内容转化密码在于精准度。要是想要真正发挥出AI的杠杆效应，第三步，围绕主题池，最后，别再把大量时间花在调教AI去模仿浮夸文风上面了。实操步骤以及案例复盘等完全不同的角度去设定具体的切入点。把这些点都汇聚成一个大池子，这样你才不会轻易陷入到那种内容枯竭的焦虑当中。第三步，才是去开展多形式的内容生成工作。最后，先理清脚下的路，然后把创作变成一条能够稳定引流的生产线。第二，是去开展多形式的内容生成工作。最后一步，才是去开展多形式的内容生成工作。最后，别再把业务方向定义好之后，在这个时候再去引入AI来执行内容的生
AI时代，高校劳动教育不能仅靠扫地和捡垃圾吗?
当人工智能开始写代码、生成论文、甚至替代一部分脑力工作时，一个略显“尴尬”的画面却在不少高校反复上演——学生们被组织去扫地、拔草、捡垃圾。拍照、打卡、上传系统，一套流程走完，劳动教育也“完成”了。问题是：👉 在AI越来越强的今天，👉 高校的劳动教育，难道只能停留在这些“低门槛体力活动”上吗？这，真的够吗？一、当“劳动教育”变成“任务打卡”很多学生其实并不反对劳动，但反感的是一种状态：被安排被规定时长被要求拍照留痕于是，劳动变成了：✔️ 完成任务❌ 没有体验❌ 没有思考久而久之，学生对劳动的认知也被固化：👉