「学术检测」共找到 345 篇相关文章
51岁周志华、53岁刘云浩，当选中国科学院院士！
2025年中国科学院院士增选结果公布，计算机领域的清华大学刘云浩教授、人工智能领域的南京大学周志华教授当选。文中介绍了二人履历、学术成果，还提及此次科学院完整名单相关情况。
聚焦物理智能最前沿，PAIR首届年度会议即将开启！
当大模型能理解语言与图像，‘物理智能’指向智能从比特到原子的跨越。2026 年 9 月 20 - 21 日，上海物理智能与机器人研究院将主办‘PAIR Conference 2026’，设主题学术和商业闭门会议。
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
一个数据集，一年产稿7876篇！AI强力加持，垃圾论文海量爆发
利用美国NHANES公共数据集，结合AI工具，研究者批量生产质量堪忧的论文。这不仅是技术滥用，更是科研评价体系扭曲的缩影。背后有论文工厂作祟，根源在于学术生态的扭曲。
AI Agent 是长期运行的“风险系统”，如果你还只在防 Prompt Injection，说明已经落后一代了
AI安全公司CyberArk首席软件架构师Niv Rabin团队提出基于“指令检测”与“历史感知校验”的方法，防御大语言模型和AI Agent恶意输入与历史投毒攻击，介绍多种防御机制。
突发！NeurIPS限制华为等实体机构投稿
NeurIPS官方文件显示，因遵守美国制裁及贸易限制规定，禁止接收受制裁机构投稿。经查询，华为等873家国内实体在受制裁名单中，此消息在国内AI学术圈引发热议。
Karpathy Vibe Coding整新活：Agent版「GitHub」问世
最近，Karpathy 玩 Vibe Coding 上瘾，上周末开源项目让 AI Agent 自主实验，10 多小时前又开源「agenthub」，这是 Agent - first 协作平台，可理解为极简版 GitHub，还能用于构建自治学术体系。
谷歌发布 Angular 21：Signal Forms、Zoneless 迁移和 AI 优先工具
谷歌发布 Angular 21 版本，引入 Signal Forms 提高表单响应性，推进 zoneless 变更检测，还提供 AI 驱动开发工具，有打包配置、组件库等更新，虽引不同看法，但提供清晰迁移路径。
他们想用AI发现不存在的物理学，然后用它去半人马座
美国初创公司 Physical Superintelligence（PSI），计划用 AI 加速物理发现。其核心平台 Emmy 能拆解研究问题。商业应用从 AI 数据中心切入，还参与费米探索者星际探测任务，目标平衡学术与商业。
普朗克被撤稿了？量子之父竟被算法绊了一跤
新论文指出，量子论奠基人普朗克1940年和1942年的两篇文章在Springer平台被标记为“retracted”。调查发现，文章并非因造假等被撤，而是被算法误判，反映了现代学术出版基础设施的问题。