南开新闻网讯（通讯员 万珊珊）近日，第34届ACM软件工程基础国际会议（The 34th ACM International Conference on the Foundations of Software Engineering，简称FSE 2026，CCF推荐的软件工程领域A类国际会议）在加拿大蒙特利尔成功举办。南开大学软件学院智能运维课题组与阿里巴巴集团、清华大学合作完成的论文《Bridg ...

SHANGHAI, July 16 (Xinhua) -- Chinese artificial intelligence (AI) startup Moonshot AI on Thursday released its latest model, Kimi K3, which features 2.8 trillion parameters, making it the largest-par ...

翁荔长文谈Harness自进化：Agent越用越强，评测难点怎么破？,翁荔梳理harnessengineering在AI自我改进中的作用，针对现有评测空白，清华团队提出SEAGym，本文主要介绍其设计、多视角评测及实验结果等 ...

扩散语言模型展现出较高的发展潜力，但在代码等形式语言生成任务中，仍难以稳定满足语法约束。针对这一问题，本文提出了针对扩散语言模型约束解码方法 —— LAVE，通过对扩散语言模型的中间输出进行前瞻补全与语法验证，为模型生成过程提供了可靠的语法保障。实验表明，LAVE 能够显著提升多种扩散语言模型生成形式化语言（例如源代码、JSON、化学表达式）的语法正确率，同时改善功能正确率，并保持较低的推理开销。

全球职场中，性别歧视、职场不公平和缺乏支持机会，这些问题仍然困扰着众多女性。越来越多的公司意识到了女性在职场上的重要性，并采取积极的措施来打破这些壁垒... 尤其是在投行、咨询、软件工程、AI等领域，女性从业者的比例长期低于男性，进入管理层的难度也相对更高。 正因如此，越来越多美国名企开始主动搭建女性人才培养体系，推出 Women's Leadership Program、Early Insigh ...

Professor Liang Tian, PhD Supervisor, Xi'an Jiaotong University Young Talent (Type A). In 2020, he assumed a full-time ...

7 月 18 日，各方代表在 ABB机器人展位共同启动白皮书中文版发布；ABB机器人与 SKAI Intelligence 通过现场签约仪式对外宣布双方战略合作关系 SKAI Intelligence 于 2026 世界人工智能大会期间，在 ...

160 天里，OpenAI 如何把一个 Coding Agent 扩张成跨设备的工作入口太长不看：模型负责点火，产品负责扩圈，额度与反馈机制负责把尝鲜变成深度使用。到了 7 月，OpenAI 又把增长单位从 Codex 单产品，扩成了 Codex + ...

过去几个月，AI 产品几乎每周都在刷新行业认知。 从 Claude Code、Codex、Gemini CLI 到 Grok Build，一场围绕 Agent 的竞争正在迅速升温；越来越多开发者开始把 AI ...

BERLIN, July 15 (Xinhua) -- The global automotive industry is undergoing a once-in-a-generation transformation. As electrification, digitalization and software-defined vehicles reshape the sector, one ...

从3月底到5月，启明创投主管合伙人周志峰接待了大量来自海外一、二级市场的投资人，他们来中国主要看两个产业：一个是机器人，另一个是C端AI应用。 在这两个领域，美国分别成长起了全球估值最高的公司，2022年成立的Figure AI，它目前已累计获得约10亿美元的融资，估值400亿美元；另一家则是2015年成立的OpenAI，它在2022年底推出的ChatGPT，到今年3月，月活用户已达到6亿，付费用 ...

从运行结果看，任务已经结束。可鼠标移到合并按钮附近，大家还是会慢下来：发布说明里是否有默认行为变化，现有测试能不能覆盖认证和数据库链路？如果上线后出问题，回退点在哪里？ Anthropic 这篇文章里，我更看重的是它把 Loop 从一个有点泛的概念，拆 ...