Import AI· Jack Clark·· 3 小时前AI 评分69
Import AI 478 综述数学对齐、ProgramBench 与 Mirendil 的 RSI 案例
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
Jack Clark 在 Import AI 478 中综述了数学形式化、程序重建基准、智能体安全与单人预训练的近期进展。Resolution 用智能体约一周自动形式化奇异点消解，产出约 600k 行 Lean，消耗约 100B 输入 token、300 million 输出 token和约 $135,000。
来源：Import AI · importai.substack.com