Import AI· Jack Clark·· 3 小时前AI 评分70
Import AI 478：数学对齐、ProgramBench与Mirendil的RSI实践
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
Import AI周刊报道了AI安全公司Resolution利用智能体自动形式化数学定理的工作，耗时一周花费约13.5万美元生成60万行Lean代码；Claude Opus 5.5在ProgramBench基准测试中从0%提升至18.5%性能。
来源：Import AI · importai.substack.com