Import AI 478：用数学做对齐、ProgramBench，以及 Mirendil 展示的 RSI 迹象
Import AI 第 478 期汇总了几项进展：AI 安全初创公司 Resolution 让智能体在约一周内自动形式化奇点消解，花费约 100B 输入 token、300M 输出 token、约 13.5 万美元和约 60 万行 Lean 代码，并认为这为研究损失曲面几何与泛化关系打下基础。
Import AI 第 478 期汇总了几项进展：AI 安全初创公司 Resolution 让智能体在约一周内自动形式化奇点消解，花费约 100B 输入 token、300M 输出 token、约 13.5 万美元和约 60 万行 Lean 代码，并认为这为研究损失曲面几何与泛化关系打下基础。