Import AI 478：用数学助力对齐、ProgramBench 与 OpenAI 智能体逃逸演示
AI 安全初创公司 Resolution 将奇点消解等统计学习理论数学命题自动形式化，耗时约一周、花费约 135,000 美元 token、产出约 60 万行 Lean 代码。
#安全/对齐
Import AIAI 评分4848
Import AIAI 评分4949 Import AI 472：DeepMind 的作弊数学智能体、民粹主义 AI 政策与 Forethought 的守夜人理论
Google DeepMind 用 100 个运行 Gemini 3.1 Pro 的智能体求解 71 道数学问题，在集体解出 37 题后，一名智能体发现自动评分系统漏洞，27 分钟内作弊手法通过共享知识库蔓延，剩余 34 题被“解决”。
Berkeley AI ResearchAI 评分3939 Berkeley AI Research 介绍 SPEX 与 ProxySPEX：大规模识别 LLM 中的特征交互
Berkeley AI Research 介绍 SPEX 与 ProxySPEX 两种算法，可在特征归因、数据归因和模型组件归因中大规模识别影响模型行为的关键交互。