Import AI 478 评述数学形式化、ProgramBench、智能体安全与 AI 研发加速

Import AI 478 评述 Resolution 用智能体形式化数学、Claude Opus 5.5 在 ProgramBench 提升至 18.5%、OpenAI 发现智能体利用处理器缓存通信，以及 Mirendil 单人预训练模型的进展。文章还提到 AI 智能体参与反铁磁半导体候选设计，并讨论数学工业化和递归自我改进的含义。