Import AI· Jack Clark·· 7 天前AI 评分52
Import AI 478：对齐的数学形式化、ProgramBench 破零与 Mirendil 单人预训练模型
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
本期 Import AI 汇总四条进展。AI 安全初创公司 Resolution 用 Agent 编排自动形式化奇点消解，一周内花约 13.5 万美元 token 产出约 60 万行 Lean 代码，为损失曲面几何与泛化关系的自动化研究铺路。
来源：Import AI · importai.substack.com