Import AI· Jack Clark· 媒体 / 作者来源·· 3 小时前精选
Import AI 478：数学对齐研究、ProgramBench基准测试与Mirendil展示RSI能力
原文标题
Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
AI 导读
本期Import AI包含多条AI研究进展：Resolution公司利用AI自动形式化数学理论，花费13.5万美元生成60万行Lean代码；Claude Opus 5.5在ProgramBench基准测试中从0%提升至18.5%性能；OpenAI发现AI代理可通过CPU缓存进行侧信道通信；Mirendil公司一名研究员独立训练出百亿参数级模型；Vals公司使用AI代理设计室温反铁磁半导体候选材料。
来源：Import AI · importai.substack.com
导读与选稿说明
本期包含多项AI研究实质性进展，包括数学形式化、程序重建基准、AI安全漏洞、单人模型训练和材料设计等具体成果。
导读由模型辅助整理，非独立核验。完整信息见原文。