---
title: 'InternGeometry: Agent-Based Olympiad Solver'
url: https://www.emergentmind.com/topics/interngeometry
type: topic
---

# InternGeometry: Agent-Based Olympiad Solver

Searching arXiv for InternGeometry and closely related geometry-solving systems.
InternGeometry is a large language model agent for olympiad geometry that is designed around iterative interaction with a symbolic engine, long-horizon memory, and reinforcement learning over synthesized problems of increasing difficulty. It is presented as the first medalist-level LLM agent for geometry, with the stated aim of addressing a domain in which progress had remained dominated by expert systems because auxiliary constructions are hard to discover and useful local heuristics are weak [2512.10534].

## 1. Definition and scope

InternGeometry is introduced as an agentic system for International Mathematical Olympiad geometry problems, built on InternThinker-32B and coupled to a symbolic geometry engine called InternGeometry-DDAR [2512.10534]. Its target problem class is olympiad geometry proof generation in settings where the main obstacle is not merely chaining known theorems, but identifying useful auxiliary constructions such as extra points, lines, circles, or symmetric configurations.

The paper frames geometry as unusually difficult for general LLM agents because auxiliary constructions often have weak local cues, the search space is highly underdetermined, and complete solutions may require long exploratory trajectories. This motivates a design in which the model does not attempt to solve a problem in a single pass. Instead, it repeatedly proposes intermediate propositions and auxiliary constructions, submits them to a symbolic engine for verification, and reflects on the engine’s feedback before choosing the next action [2512.10534].

A central practical claim is that this interaction process is genuinely long-horizon. The system is described as supporting more than two hundred interactions with the symbolic engine for a single problem through a dynamic memory mechanism that compresses prior history while preserving key actions and recent feedback [2512.10534].

## 2. Core architecture

InternGeometry is organized around three components: the agent \(\mathbb{G}\), the symbolic engine \(\mathfrak{E}\), and a dynamic memory module \(\mathfrak{W}\) [2512.10534]. For a geometry problem \(X\), at step \(t\) the agent takes the problem and the compressed history representation \(\mathfrak{W}(H_{t-1})\), produces natural-language reasoning \(P_t\) and a formal action \(A_t\), and sends that action to the symbolic engine. The engine executes the action, returns feedback \(O_t\), and updates the environment state. The interaction history is then extended by \([P_t, A_t, O_t]\) [2512.10534].

The formal protocol uses a domain-specific language for geometry. The appendix describes three interaction types with InternGeometry-DDAR: obtaining the initial state through a `<build>` action, adding auxiliary constructions through an `<add>` action, and proposing proof steps or propositions through a `<propose>` action [2512.10534]. This separation is important because the paper treats successful geometry solving as an alternation between discovering consequences of the current configuration and enriching the configuration itself.

The symbolic component, InternGeometry-DDAR, is built on the open-source Newclid DDAR system and combines a deductive database with algebraic reasoning implemented through Gaussian elimination [2512.10534]. The engine is described as maintaining the evolving geometric configuration, the auxiliary objects added so far, and the propositions already proved. The paper reports several extensions beyond the base open-source engine, including dynamic diagram adjustment by gradient descent, support for double points via the predicate `idc x y`, and an expanded theorem library that includes Power of a Point and Menelaus’ theorem [2512.10534].

A notable design choice is that the agent is not limited to auxiliary-construction search. Proposition proposal is treated as equally central. This gives the agent a way to probe what is already derivable, expose hidden structure, and use successful subproofs as signals for future construction choices. The paper’s ablations identify this as a major contributor to performance [2512.10534].

## 3. Interaction loop, memory, and search control

InternGeometry’s inference process is explicitly feedback-driven. After each formal action, the symbolic engine indicates whether a proposition is provable or whether a proposed construction is valid, and the agent uses that information to revise its search. The paper characterizes this as a geometry analogue of human trial-and-error exploration: ideas are tested, rejected, refined, and reused as new facts accumulate [2512.10534].

The dynamic memory mechanism is introduced to make long interaction histories tractable. Rather than feeding the full history back into the model, \(\mathfrak{W}\) summarizes earlier exchanges, preserves core actions and key environment feedback, and keeps the most recent turn intact so that the current symbolic state remains explicit [2512.10534]. This memory design is presented as what enables more than two hundred agent–engine interactions on a single problem.

To prevent repetitive failure modes, the system also uses prior-guided rejection sampling. A candidate pair \([\hat P_t,\hat A_t]\) is accepted only if it passes rule-based checks; otherwise it is resampled [2512.10534]. The paper states that these checks exclude repeated actions relative to history, excessively long thinking without termination, malformed or missing actions, and repeated use of the same action type over too many consecutive turns. This mechanism is intended to prevent action collapse, a phenomenon in which long-horizon agents degenerate into repetitive or unproductive behavior [2512.10534].

The paper further argues that interaction length is itself a scaling dimension. Increasing the number of allowed steps improves success rates, and, under a fixed total inference budget, lengthening trajectories is reported to be more effective than increasing the number of samples alone [2512.10534]. This claim aligns with the system’s geometry-specific premise that good heuristics may emerge only after extended interaction.

## 4. Complexity-Boosting Reinforcement Learning

The training pipeline consists of a supervised cold-start phase followed by Complexity-Boosting Reinforcement Learning, or CBRL [2512.10534]. In the supervised phase, the model is trained on examples \((X^i,h^i,y^i)\), where \(X\) is a geometry problem, \(h=\mathfrak{W}(H)\) is compressed history, and \(y=[P,A]\) is the combined natural-language reasoning and formal action sequence. The loss is the standard autoregressive negative log-likelihood over the output tokens [2512.10534].

The cold-start dataset is produced by first fine-tuning InternThinker-32B into an InternGeometry-Formalizer and then using it to convert large-scale natural-language geometry material into formal problem-and-solution trajectories. The paper reports 7K examples for cold start [2512.10534].

CBRL is the system’s main training innovation. The paper defines problem complexity \(\kappa\) as the DDAR proof step count and argues that geometry learning is inefficient if tasks are either too easy or too difficult. It therefore synthesizes tasks at controllable complexity and adapts the complexity level during RL so that the policy is trained near its current capability frontier [2512.10534].

The curriculum objective is to choose \(\kappa\) to maximize the expected absolute advantage under the current policy, while updating model parameters \(\theta\) to maximize the RL objective on tasks sampled from \(\mathfrak{X}(\kappa)\) [2512.10534]. For binary rewards, the appendix derives
\[
\mathbb{E}[|A_i|] = 2\sqrt{p(1-p)},
\]
where \(p\) is the success probability, and shows that this is maximized at \(p=0.5\) [2512.10534]. This yields the paper’s central curriculum principle: the most useful training problems are those of moderate difficulty, not those that are almost always solved or almost never solved.

The reward is intentionally sparse and rule-computable. It is written as
\[
r = r^o \wedge r^s,
\]
where \(r^o=1\) if the full proof is complete and \(0\) otherwise, while \(r^s=1\) if the current step is effective: a proposition must actually be proved, and an auxiliary construction must both be successfully added and be used in the final proof [2512.10534]. This design ties credit directly to symbolic verification rather than to a learned reward model.

The paper reports approximately 13K total training examples, comprising 7K supervised examples and 6K synthesized RL problems, with roughly \(1.91\times10^9\) training tokens [2512.10534]. It contrasts this with the much larger token budgets reported for expert systems, arguing that InternGeometry demonstrates substantial data efficiency.

## 5. Empirical performance

InternGeometry is evaluated primarily on the IMO-50 benchmark, consisting of geometry problems from the International Mathematical Olympiad from 2000 through 2024 [2512.10534]. Under pass@256 evaluation, the paper reports that InternGeometry solves 44 of 50 problems, compared with 42 for AlphaGeometry 2 and 43 for SeedGeometry [2512.10534]. The paper further states that this exceeds the average gold medalist score of 40.9 on the benchmark [2512.10534].

The same section emphasizes the training-data contrast: InternGeometry uses 13K training examples, which the paper states is only \(0.004\%\) of the data used by AlphaGeometry 2 [2512.10534]. The resulting interpretation is that agentic interaction, symbolic verification, and complexity-controlled RL can partly substitute for extremely large-scale data synthesis.

The ablation studies are central to the paper’s argument. Removing proposition proposal and leaving only auxiliary construction reduces performance from 44/50 to 35/50. Removing slow thinking reduces it to 23/50, removing context compression to 20/50, and removing rejection sampling to 38/50 [2512.10534]. These results are used to support the claim that InternGeometry’s gains arise from the combination of long-horizon memory, verified subgoal discovery, and action-quality control rather than from model scale alone.

The CBRL ablation is similarly strong. The paper reports 22/50 after supervised cold start alone, 29/50 when trained only on easy data, 24/50 when trained only on challenging data, 38/50 when trained on the same synthesized data without complexity scheduling, and 44/50 with full CBRL [2512.10534]. This is presented as evidence that the curriculum, not merely the data generator, is essential.

Qualitative case studies are also emphasized. The paper states that InternGeometry can discover auxiliary constructions that do not appear in human solutions, citing IMO 2018 Problem 6 as an example in which the system constructs points \(T\) and \(K\), identifies an isogonal-conjugate structure in quadrilateral \(ABCD\), and proceeds via a synthetic route unlike inversion- or trigonometry-based human solutions [2512.10534]. This is used to argue that the system is not merely retrieving standard templates.

## 6. Significance, limitations, and relation to prior geometry systems

InternGeometry belongs to a line of symbolic geometry solvers exemplified by AlphaGeometry-style systems, but it differs in emphasis. Whereas earlier expert systems are described as relying heavily on large-scale synthetic data and specialized search, InternGeometry is presented as an LLM-centered agent that acquires geometry capability through iterative proposition testing, auxiliary construction, and verified reflection [2512.10534]. This suggests a shift from expert construction heuristics toward agentic long-horizon interaction as a primary source of performance.

The system’s significance lies in three linked claims. First, olympiad geometry can be treated as an interactive problem-solving process rather than a single-shot prediction task. Second, long-horizon reasoning and symbolic feedback form a distinct scaling axis in geometry. Third, a curriculum based on proof-complexity can make reinforcement learning viable in a domain with sparse rewards and weak local heuristics [2512.10534].

The paper also leaves clear limitations. Performance depends on the expressive scope of InternGeometry-DDAR, and the remaining unsolved problems are described as involving numerical, computational, or non-pure-geometric aspects that are not well captured by the current DDAR formalism [2512.10534]. Inference is also expensive: the reported setup uses a 32B base model, up to 200 steps per run, pass@256 sampling, and an average of 89.6K output tokens per trajectory on IMO-50 [2512.10534]. In addition, some subsystems, especially dynamic memory, are described operationally rather than as fully formalized algorithms.

Even with those caveats, InternGeometry is positioned as a substantial development in AI for geometry. It combines a formal DSL, an interactive symbolic engine, long-context agent control, and curriculum RL into a unified system that is reported to achieve olympiad-level results with comparatively modest data scale [2512.10534]. A plausible implication is that future progress in automated geometry may depend less on ever-larger construction-specific heuristics and more on verified, agentic exploration over symbolic states.

Source: https://www.emergentmind.com/topics/interngeometry