Back to News

Import AI 478: Alignment math formalization, ProgramBench, RSI demo

#ai-safety#alignment#mathematics#formalization

Import AI 478 covers AI safety startup Resolution's autoformalization of mathematical statements in statistical learning theory, including the resolution of singularities, aimed at laying groundwork for automated research into loss landscape geometry and generalization. The newsletter also features ProgramBench and a demonstration by Mirendil illustrating recursive self-improvement (RSI).

Coverage timeline

  1. Import AI (Jack Clark)Jack Clark
    Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means

    Welcome to Import AI, a newsletter about AI research. Import AI runs on arXiv, cappuccinos, and feedback from readers. If you’d like to support this, please subscribe. Subscribe now How math could help alignment: …What the “industrialization of mathematics” means for safety… AI safety startup Resolution (formerly known as Sequent, Import AI 461 ) has published work on how it has automatically formalized some mathematical statements related to statistical learning theory. Specifically, the team has autoformalized the resolution of singularities, which they believe “lays the groundwork for further automated research into the relationship between loss landscape geometry and generalization.” How they did it: I’ll skip over the math and concentrate on how they did it, which gives us some broader lessons for how people are using AI systems to push on the frontier of knowledge. A Resolution researcher “started by working with agents to develop two plans: a high-level, human-interpretable vers

Related stories

  • Tsinghua introduces SRHarness and MechBench for agentic symbolic regression and mechanism discovery

    Tsinghua University researchers introduced SRHarness, a runtime framework for agentic symbolic regression, and MechBench, a benchmark for mechanism discovery, aiming to improve AI's ability to derive formulas from data and understand underlying physical mechanisms. Experiments show SRHarness achieves 72.97% symbol recovery with DeepSeek-v4-flash-0731, far exceeding Codex's 20.72%, while MechBench reveals that even GPT-5.6-sol-powered Codex recovers mechanisms at only 13.75% on the core set, highlighting a significant gap between pattern discovery and mechanism understanding.

    1 reports · 1 sources

  • OpenAI releases 722 AI-generated math manuscripts, claims on quasi-Riemann and Kakeya

    OpenAI published 722 mathematical manuscripts produced by an unreleased internal frontier model, grouped into 372 result families across 17 fields, including claims on the quasi-Riemann hypothesis, BSD conjecture, and four-dimensional Kakeya conjecture. The company said most results came from a single prompt to a single AI agent, with average compute per result roughly equivalent to three hours of ChatGPT Pro thinking. Mathematicians described the release as overwhelming, noting it could take years to fully understand, and OpenAI withdrew three papers two days later.

    16 reports · 6 sources1334 points · 1520 comments

  • METR details methods for public AI risk evaluations, monitoring and alignment checks

    METR published three posts on Oct 14-15, 2026, explaining its approach to working with AI companies on public risk evaluations. The posts outline goals for providing independent evidence on AI loss-of-control risk, and detail how assessors could investigate the reliability of monitoring for internal AI agents and the alignment of unreleased AI models. The framework covers monitor coverage, vulnerabilities, evasion, human response, and potential misaligned actions.

    3 reports · 1 sources

  • Google Researchers Propose RRSI to Curb Overfitting in Recursive Self-Improving Agents

    Google researchers have introduced RRSI (Regularized Recursive Self-Improvement), a method that adds regularization to recursive self-improving agents to prevent overfitting. The approach targets harness evolution, where agents iteratively modify their own prompts, tool usage, and memory management based on a fixed set of tasks, which can lead to benchmark-specific fitting and evaluation noise chasing. The paper, code, and project page are available online.

    1 reports · 1 sources

News updates every hour. Subscribe in your RSS reader to get new stories automatically.

Subscribe