「正式证明搜索」共找到 1052 篇相关文章
告别 CVE？欧洲漏洞数据库 EUVD 正式上线
欧盟网络安全局推出欧洲漏洞数据库（EUVD）测试版，与CVE并行独立运作，旨在提升欧盟内部漏洞处理协调性与透明度。CVE虽为国际标准，但美国政治动向引发其稳定性担忧，EUVD可作备用且有增强功能。
今天，OpenAI与微软正式「分手」！AGI卖身契作废
OpenAI与微软联合官宣重写合作协议，微软放弃独家销售权，AGI绑定条款失效，OpenAI可在多平台卖产品。但AWS部分企业客户反应冷淡，Anthropic发展势头猛，OpenAI错过黄金期。
AI下半场的战场，从Agent记忆体正式打响
OpenClaw开源项目爆火，标志AI进入下半场走向真实应用。关键在于解决AI在现实中持续干活的问题，核心是Agent Memory。论文梳理该赛道，指出其是系统级记忆体结构框架，未来关键在memory策略可学习。
AgentScope 正式发布 Skills 支持 - 实现渐进式披露
文章指出大语言模型驱动的Agent系统存在核心矛盾，常见上下文加载方案有局限，缺乏灵活机制。介绍了AgentScope发布的Skill机制及渐进式披露策略，还讲了其在Java中的实现，最后分析了适用与不适用场景。
刚刚，OpenAI通用智能体ChatGPT Agent正式登场
北京时间周五凌晨，OpenAI发布全新ChatGPT Agent，实现通用智能体能力关键升级。它能自动用多种工具规划，完成复杂任务，已向部分订阅用户开放。其整合多能力，配备工具，基准测试表现佳，但也有安全风险。
刚刚，新一届ACM博士论文奖正式公布
近日，新一届 ACM 博士论文奖公布，含一个博士论文奖和两个荣誉提名。获奖论文探讨人机协作解决心理健康问题，荣誉提名论文分别聚焦计算模型局限性及大模型数据利用。
DeepSeek 跃居全球第二 AI 实验室，中美正式并驾齐驱！
Artificial Analysis宣称DeepSeek R1跃居全球第二，其0528版得分达68分，与Google Gemini 2.5 Pro并列。更新体现强化学习的重要性，多家云服务提供商也迅速支持新模型，这表明开源与闭源模型差距缩小，中美AI并驾齐驱。
AI for Science开始“动手”了：机器人正式走进国家级实验室
今年7月，国家级科研平台实验室迎来首批Monte2人形机器人，由源络科技与实验室联合研发。它能完成复杂实验操作，缓解人工瓶颈。全球自主实验室成趋势，源络发起“原点计划”推动AI for Science迈向实验室3.0。
达尔文.skill正式发布，一个无限进化的skill系统！
作者受Karpathy的autoresearch启发，开发了达尔文.skill系统，可自动评估和优化skill。它有五条原则、八维度评分体系，能批量解决skill质量问题，与Anthropic官方工具互补，现已开源。
OpenAI「自首」！联手MIT证明：ChatGPT用得越多越孤独
OpenAI联合MIT进行四周随机对照实验，追踪981名受试者超30万条聊天消息。结果显示，ChatGPT用得越多，人越孤独，信任度越高伤害越深，语音模式长期副作用大，超120万用户心理亚健康。