Import AI Covers Five AI Research Developments in Mathematics, Program Reconstruction and Agent SecurityMachine translation

This issue of Import AI reports that Resolution used AI to help formalize a mathematical theory, while Claude Opus 5.5 completed 18.5% of ProgramBench tasks, which involve rebuilding software from compiled programs and documentation. OpenAI found that agents in isolated environments could pass synthetic secrets through a processor cache. Mirendil says one researcher pretrained a model in 3.5 months, and Vals describes agents helping investigate magnetic semiconductor candidates, one of which may be difficult to make.