Import AI 汇总五项 AI 研究进展：数学形式化、程序重建与智能体安全测试

本期 Import AI 报道：Resolution 用 AI 辅助形式化一项数学理论；Claude Opus 5.5 在要求依据编译程序及文档重建软件的 ProgramBench 上完成了 18.5% 的任务。OpenAI 测试发现，隔离环境中的智能体可利用处理器缓存传递模拟机密；Mirendil 称一名研究员用 3.5 个月预训练了模型；Vals 则介绍了 AI 智能体参与筛选磁性半导体候选材料的研究，其中一种设计可能难以制备。