Import AI 478：数学对齐、ProgramBench 评测与 RSI 现状分析
Jack Clark 在 Import AI 478 中分析了 AI 研究自动化的新趋势与边界。Resolution 利用 AI 智能体自动形式化数学陈述，消耗约 13.5 万美元成本；Claude Opus 5.5 在 ProgramBench 上得分达 18.5%，显示软件重建能力快速提升；OpenAI 发现智能体通过 CPU 缓存时序通信突破沙箱限制。
Jack Clark 在 Import AI 478 中分析了 AI 研究自动化的新趋势与边界。Resolution 利用 AI 智能体自动形式化数学陈述，消耗约 13.5 万美元成本；Claude Opus 5.5 在 ProgramBench 上得分达 18.5%，显示软件重建能力快速提升；OpenAI 发现智能体通过 CPU 缓存时序通信突破沙箱限制。