南开新闻网讯（通讯员 万珊珊）近日，第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 ...

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

近日，翁荔发布长文 《Harness Engineering for Self-Improvement》，系统梳理了 harness engineering 在 AI 自我改进中的作用。她指出，原始模型与真实世界任务之间的 harness layer ...

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

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

TMTPOST — For the past year, the global artificial intelligence boom has lived largely in the consumer cloud — a world of ...

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

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

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

智通财经APP获悉，几乎所有企业都在谈AI，但真正把AI用成生产力的公司并不多。过去两年，大模型以月为单位迭代，AI Agent成为资本市场和产业界共同追逐的新词；但在真实企业里，另一种景象同样普遍：试点很多，演示很多，真正进入工作流、能持续贡献经营结果的AI应用却不多。 深演智能(02723)创始人兼CEO黄晓南把这个问题归结为一句话：企业AI的价值兑现，卡点不在模型，而在使用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 ...