Import AI 478：数学形式化与对齐、ProgramBench、Mirendil 展示 RSI 进展
Import AI 第 478 期汇总了多项 AI 研究进展。AI 安全创业公司 Resolution 用多智能体把奇点消解等数学命题自动形式化为约 60 万行 Lean 代码，耗时约一周、token 花费约 13.5 万美元。
#论文/研究
Import AIAI 评分6666
The DecoderAI 评分5252 Anthropic 联创 Jack Clark 将自我改进 AI 预测提前至 2027 年
Anthropic 联合创始人 Jack Clark 将递归自我改进（RSI）可能实现的时间预测从 2028 年提前到 2027 年，依据是数学突破进展和 P-Zero Research 的 TasteVal 基准。
Import AIAI 评分1515 Import AI 473：美国超级智能战略、人脑组织植入小鼠与机器诠释学
RAND 发布长文提出美国应以"行动自由"战略应对通往超级智能的不确定路径，核心是保留选项而非押注单一方案，包括构建人机生态、AI 安全架构与改造国家安全机构。该文归纳共存、拒止、加速三大家族共七种原型战略，并列出危险临近程度、共存可行性等五项关键不确定性。文章还提及研究者在小鼠颅内培育含人脑组织的实验。
Berkeley AI ResearchAI 评分4141 自适应并行推理：高效推理扩展的下一个范式
Berkeley AI Research 的综述分析指出，并行推理正从固定的多线程采样与结构化搜索，走向由模型自行决定何时分解子任务、开启多少并行线程的自适应并行推理。