Import AI· Jack Clark·· 18 天前AI 评分61
Import AI 478：数学形式化、ProgramBench 与 RSI 迹象
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
Import AI 478 周刊梳理了多个案例：AI 安全公司 Resolution 用智能体自动形式化 Hironaka 奇点消解，约一周消耗约 100B 输入 token 和约 300 万输出 token（估计 $135。
来源：Import AI · importai.substack.com