三款OpenAI模型Codex-mini、o3、o4-mini，最少有一次成功破坏关机指令码。 其中，o3在100次测试中，有7次成功绕过关闭指令。而Codex-mini更为夸张，破坏率高达12%。 相比之下，Claude（已老实）、Gemini、Grok模型都严格遵守关机指令，毫无例外。

【时事新闻】 ①李强同印度尼西亚总统普拉博沃会谈； ②《网络交易平台收费行为合规指南》面向社会征求意见； ③陕西省政协副主席刘宽忍涉嫌严重职务违法，目前正接受国家监委监察调查； ④朝鲜公布驱逐舰下水事故调查最新进展，又拘留3名责任人； 【公司新闻】 ①科创板海光信息拟吸收合并主板中科曙光，两只个股明日停牌； ②软银CEO孙正义提出设立美日联合主权财富基金构想； ...

【品大事】 中科曙光：筹划重大资产重组 股票停牌 海光信息：拟通过换股方式吸收合并中科曙光 股票明起停牌 王子新材：可控核聚变业务占主营业务收入比例很小 北方长龙：筹划购买河南众晟控股权及配套融资 股票停牌 *ST宇顺：近期经营情况及内外部经营环境未发生重大变化 股票明日复牌 【签大单】 润建股份：预中标3.74亿元中国移动家集客接入施工服务采购项目 明泰铝业：与鹏辉能源签订战略合作框架协议 城地 ...

【新智元导读】天网又近了！o3被曝出无视人类指令，自主破解关机程序，甚至篡改脚本终止命令。不过厉害的是，它竟揪出了Linux内核中的安全漏洞，获OpenAI首席研究官盛赞。

新智元报道 编辑：桃子 ...

Anthropic将Claude Opus 4称之为“ 世界上最好的编程模型 ”，能在复杂、长时间运行的任务和智能体工作流中表现出稳定的性能。Claude Sonnet 4是Claude Sonnet 3.7的重大升级， 以编程和推理能力为核心 ...

在软件开发领域，随着项目的复杂性和规模不断扩大，开发者面临着日益严峻的挑战。近年来，AI编程助手的崛起，如GitHub Copilot等工具，已经为开发者提供了一定程度的代码编写支持。2025年5月16日，OpenAI发布了Codex，这是一个基于codex-1模型的云端AI软件工程代理，旨在通过自动化处理多种开发任务，提高软件工程师的工作效率。

Microsoft 2025 Build开发者大会上，总裁Satya Nadella明确宣示世界已进入AI代理（AI Agent）时代，AI系统正以全新方式协助人类解决问题。大会发布超过50项围绕AI代理新产品及服务，同时连接OpenAI、Tesla及NVIDIA三大科技巨头领袖，展示Microsoft在AI代理的领导地位与生态系统构建策略。

其中，Anthropic的旗舰模型Claude Opus 4号称是Anthropic迄今为止最强大的模型。在测试中，Claude Opus 4持续编码近七个小时。AI大咖实测后惊呼：“一道精心烹制的佳肴” 。

谷歌Jules震撼发布！这款AI编程神器不仅能写代码，还能自动修Bug、生成PR，免费试用每日5次。多模态Gemini 2.5 Pro模型赋予Jules超强智慧，无论多复杂的代码库，它都能精准拿捏。

当地时间5月22日，被视为OpenAI最强竞争对手的美国人工智能公司Anthropic，正式发布了其迄今为止最强大的语言模型——Claude 4系列。 其中，旗舰版本Claude 4 ...