Import AI· Jack Clark·· 2 天前AI 评分44
Import AI 478：数学助力对齐、ProgramBench 与递归自我改进
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
Jack Clark 的 Import AI 本期涵盖 AI 安全初创 Resolution 自动形式化安全相关数学命题、ProgramBench 基准以及 Mirendil 对递归自我改进（RSI）的展示等多项研究。
来源：Import AI · importai.substack.com