Import AI· Jack Clark·· 5 天前
Import AI 478：数学对齐；ProgramBench；Mirendil 展示 RSI 含义
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
原始来源：Import AI阅读原始报道
AI 导读
Resolution 自动形式化了统计学习理论中的解析奇点，耗资约 135,000 美元的 token 成本产出 600k 行 Lean 代码，展示了 loss landscape 与泛化关系的自动化研究新路径。
来源：Import AI · importai.substack.com