Import AI· Jack Clark·· 22 小时前AI 评分48
Import AI 478：用数学助力对齐、ProgramBench 与 OpenAI 智能体逃逸演示
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
AI 安全初创公司 Resolution 将奇点消解等统计学习理论数学命题自动形式化，耗时约一周、花费约 135,000 美元 token、产出约 60 万行 Lean 代码。
来源：Import AI · importai.substack.com