Import AI· Jack Clark·· 7 小时前AI 评分60
Import AI 478：数学形式化助力对齐、ProgramBench 与 Mirendil 展示 RSI 迹象
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
Import AI 第 478 期汇总了四项进展：AI 安全公司 Resolution 用智能体自动形式化奇点消解，耗时约一周、花费约 13.5 万美元 token 费用。
来源：Import AI · importai.substack.com