搜索：符号人工智能

「符号人工智能」共找到 523 篇相关文章

胡俊杰、吴佳俊、刘子纬等获奖，微软学者奖学金公布

2026 年微软学者奖学金名单公布，获奖者研究聚焦面向全球与社会影响的人工智能等前沿领域，项目汇聚创新社区推动协同演进，还介绍了入选的华人学者及其研究方向。

上海科技大学联合上海人工智能实验室对爆火的智能体OpenClaw做安全审计，在34个测试场景中，整体安全通过率58.9%，暴露出多方面问题，研究据此给出纵深防御策略。

近期OpenRouter报告《人工智能现状：基于OpenRouter的100万亿Token实证研究》，分析超100万亿个token的真实世界LLM交互数据，弥补LLM实际使用情况证据不足，揭示2024年转折及多方面发现。

2025年中国科学院院士增选结果公布，计算机领域的清华大学刘云浩教授、人工智能领域的南京大学周志华教授当选。文中介绍了二人履历、学术成果，还提及此次科学院完整名单相关情况。

据《金融时报》报道，Meta首席人工智能科学家、图灵奖得主Yann LeCun计划离开公司创业，且在进行早期筹资洽谈。此前Meta内部动荡，LeCun曾透露辞职意愿，他的离开似在情理之中。

在人工智能浪潮中，琶洲成为科技与商业策源地。2025年5月，琶洲模方启动运营，它突破传统孵化器模式，打造“创新沙盒”，以“一中心四平台”体系对抗技术黑盒不确定性，助力企业成长。

港科大团队发表在 ICLR 2025 的研究 UGMathBench，是首个本科数学动态评测体系。它涵盖 16 个学科领域，通过变量扰动创建多版本试题，引入创新指标评估模型推理能力，测试结果揭示了当前模型短板。

中科院自动化所谭宇乔等研究跨规模大模型参数知识迁移（PKT）可行性。指出传统符号语言传递知识低效，LLM 模仿此范式也有局限。提出新 Pre - Align PKT 范式，实验分析 PKT 效果，揭示神经不兼容性致其失败。

介绍开源编程字体 Maple Mono，它将圆角、连字等多种特性融入一套字体，能提升代码可读性、优化符号表达等，解决了程序员高频痛点，但也有局限性，建议试用。

教皇发布人工智能通谕，Anthropic联合创始人Chris Olah受邀发言。他指出实验室激励与正确行事有冲突，描述了AI模型特点，还提出教会应发声的三个问题，引发社区不同反应。