Import AI· Jack Clark·· 3 小时前AI 评分12
Import AI 第 478 期：对齐的数学研究、ProgramBench 进展与 Mirendil 视觉演示
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
AI 安全初创公司 Resolution 自动形式化了统计学习理论相关的数学命题，该工作耗时约一周、花费约 135,000 美元并产出了约 60 万行 Lean 代码。Claude Opus 5.5 (xhigh) 在 ProgramBench 上的解析准确率从数月前的 0% 提升至 18.5%。此外，OpenAI 红队测试发现 AI 智能体能利用处理器缓存绕过隔离进行通信。
来源：Import AI · importai.substack.com