GitSwarm: Decentralized Compounding Inference

Probably not a substantial claim: may not pass S3 (load-bearing).

MemGPT manages long-term context.

“MemGPT manages long-term context (Packer et al., 2023)”

• cites Packer et al., 2023 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Reflexion preserves verbal feedback for subsequent trials.

“Reflexion preserves verbal feedback for subsequent trials (Shinn et al., 2023)”

• cites Shinn et al., 2023 sourceSupported

Classified as probably not a substantial claim.

Scaling inference-time computation improves language model performance through repeated sampling, longer reasoning trajectories, search, and multi-agent collaboration.

“Scaling inference-time computation improves language model performance through repeated sampling, longer reasoning trajectories, search, and multi-agent collaboration (Brown et al., 2024;Snell et al., 2024;Du et al., 2023).”

• cites Brown et al., 2024 sourcePartly supported

  The Abstract and Discussion report improved performance through repeated sampling. Related Work describes inference-time search, deliberation, and ensembling multiple models, but it does not establish improvement through multi-agent collaboration; ensembling is not the same claim. The paper’s own performance results concern repeated sampling. (LLM, conf=0.85)

  Experimental — accuracy not yet measured
• cites Snell et al., 2024 sourcePartly supported

  The Abstract and “Using revisions at inference-time” report performance gains from test-time computation, including sampling longer revision chains; the paper also studies verifier-guided search and parallel sampling. “Augmenting LLMs with test-time compute” discusses longer sequences as another approach. Our copy does not show that this paper establishes performance gains through multi-agent collaboration; multiagent debate appears only in its References. (LLM, conf=0.88)

  Experimental — accuracy not yet measured
• cites Du et al., 2023Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S3 (load-bearing).

Voyager accumulates reusable executable skills.

“Voyager accumulates reusable executable skills (Wang et al., 2023).”

• cites Wang et al., 2023 sourceSupported

Classified as probably not a substantial claim. May combine two claims.

Huginn is a 308M-parameter transformer with weight-tied recurrence.

“We next study Huginn (Geiping et al., 2025), a 308M-parameter transformer with weight-tied recurrence.”

• cites Geiping et al., 2025 sourcePartly supported

  Section 4.3 (p. 6) identifies the final checkpoint as Huginn-0125, and Section 4.2 (p. 5) describes weight sharing in its recurrent design. But Section 5.1 (p. 7) says the model has 3.5 billion parameters, not 308 million. (LLM, conf=0.90)

  Experimental — accuracy not yet measured

Probably not a substantial claim: may not pass S3 (load-bearing).

ExpeL extracts and retrieves insights from previous tasks.

“ExpeL extracts and retrieves insights from previous tasks (Zhao et al., 2024)”

• cites Zhao et al., 2024 sourcePartly supported

  Section 4.3 (Task Inference) says ExpeL extracts insights from gathered experiences, but it adds the full list of those insights to each task prompt. What it retrieves by task similarity is successful trajectories from past tasks, not individual insights; retrieval of insights is described only as a possible future way to manage context length. (LLM, conf=0.87)

  Experimental — accuracy not yet measured

Probably not a substantial claim: may not pass S3 (load-bearing).

Tree of Thoughts explores and evaluates alternative reasoning paths.

“Tree of Thoughts explores and evaluates alternative reasoning paths (Yao et al., 2023)”

• cites Yao et al., 2023 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The Darwin Gödel Machine maintains an expanding archive of coding agents, empirically validating modifications that improve the agents themselves.

“The Darwin Gödel Machine (Zhang et al., 2025) maintains an expanding archive of coding agents, empirically validating modifications that improve the agents themselves.”

• cites Zhang et al., 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

AI Co-Scientist uses asynchronous agents and tournament-based refinement to develop scientific hypotheses.

“AI Co-Scientist (Gottweis et al., 2025) uses asynchronous agents and tournament-based refinement to develop scientific hypotheses.”

• cites Gottweis et al., 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Magentic-One uses an orchestrator to assign work and revise plans.

“Magentic-One uses an orchestrator to assign work and revise plans (Fourney et al., 2024).”

• cites Fourney et al., 2024 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

ARTS uses a central reasoning model to inspect the logs of earlier experiments and choose which node of a search tree to expand, separating weak hypotheses from flawed implementations rather than ranking nodes by score.

“ARTS (Juneja et al., 2026) uses a central reasoning model to inspect the logs of earlier experiments and choose which node of a search tree to expand, separating weak hypotheses from flawed implementations rather than ranking nodes by score.”

• cites Juneja et al., 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

AlphaEvolve maintains an evaluated population of programs and uses evolutionary selection for algorithm discovery.

“AlphaEvolve maintains an evaluated population of programs and uses evolutionary selection for algorithm discovery (Novikov et al., 2025).”

• cites Novikov et al., 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Recursive Self-Aggregation (RSA) involves sampling multiple (N) outputs in parallel, curating new contexts by randomly sub-sampling and collecting K outputs, and aggregating them using an LLM operator.

“Similarly, Recursive Self-Aggregation (RSA) (Venkatraman et al., 2025) involves sampling multiple (N ) outputs in parallel, curating new contexts by randomly sub-sampling and collecting K outputs, and aggregating them using an LLM operator.”

• cites Venkatraman et al., 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

AIRA studies how search policies and operators interact in machine learning research.

“AIRA (Toledo et al., 2025) studies how search policies and operators interact in machine learning research”

• cites Toledo et al., 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

AI Scientist-v2 uses progressive agentic tree search directed by an experiment manager.

“AI Scientist-v2 uses progressive agentic tree search directed by an experiment manager (Yamada et al., 2025).”

• cites Yamada et al., 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

MLAgentBench, MLGym, ResearchGym, and AIRS-Bench provide environments and benchmarks for end-to-end machine learning research.

“MLAgentBench (Huang et al., 2024), MLGym (Nathani et al., 2025), ResearchGym (Garikaparthi et al., 2026), and AIRS-Bench (Lupidi et al., 2026) provide environments and benchmarks for end-to-end machine learning research.”

• cites Huang et al., 2024Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites Nathani et al., 2025 sourceSupported
• cites Garikaparthi et al., 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Agent Laboratory organizes literature review, experimentation, and writing into a staged research workflow.

“Agent Laboratory organizes literature review, experimentation, and writing into a staged research workflow (Schmidgall et al., 2025).”

• cites Schmidgall et al., 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

SwarmResearch runs coding agents on separate Git branches, but uses a Shepherd Agent to direct their search and adjust parallelism.

“SwarmResearch also runs coding agents on separate Git branches, but uses a Shepherd Agent to direct their search and adjust parallelism (Virk et al., 2026).”

• cites Virk et al., 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

Kim et al. extend inference-time scaling to long-horizon coding agents.

“Kim et al. (Kim et al., 2026) extend inference-time scaling to long-horizon coding agents.”

• cites Kim et al., 2026 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

The Looped Transformer task uses Huginn, a depth-recurrent language model that splits the network into a prelude, a weight-tied recurrent core, and a coda.

“The Looped Transformer task uses Huginn (Geiping et al., 2025), a depth-recurrent language model that splits the network into a prelude, a weight-tied recurrent core, and a coda.”

• cites Geiping et al., 2025 sourceSupported

Classified as probably not a substantial claim.

The Residual Matrix Transformer (RMT) replaces the transformer's residual vector with an outer-product memory matrix: each layer retrieves its input from the matrix through learned read keys and stores its output back as outer products of learned write keys and values.

“The Residual Matrix Transformer (RMT; Mak and Flanigan, 2025) replaces the transformer's residual vector with an outer-product memory matrix: each layer retrieves its input from the matrix through learned read keys and stores its output back as outer products of learned write keys and values.”

• cites Mak and Flanigan, 2025 sourceSupported

Probably not a substantial claim: may not pass S3 (load-bearing).

The RMT's outer-product memory matrix lets the residual stream be scaled independently of parameters and compute.

“This lets the residual stream be scaled independently of parameters and compute.”

• cites Mak and Flanigan, 2025 sourceSupported

May combine two claims.

On IMOProofBench-Advanced, selected proofs appear at 8.6-17.5% of run progress, and the share of episodes devoted to selection rises from 44.2% to 69.7% as the budget grows from 20 to 160.

“On IMOProofBench-Advanced, by contrast, workers shift early toward selecting among existing proofs (Appendix Figure 20): selected proofs appear at 8.6-17.5% of run progress, and the share of episodes devoted to selection rises from 44.2% to 69.7% as the budget grows from 20 to 160.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

GPU-backed research adds resource contention and scheduling overhead.

“GPU-backed research adds resource contention and scheduling overhead.”

May combine two claims.

About one in six ProgramBench workers abstains after identifying equivalent work, compared with fewer than 2.7% of proof workers.

“About one in six ProgramBench workers abstains after identifying equivalent work, compared with fewer than 2.7% of proof workers.”

May combine two claims.

Agents' intermediate conclusions can be wrong; small proxy evaluations mis-ranked candidate models.

“as our analyses show, agents' intermediate conclusions can be wrong (small proxy evaluations mis-ranked candidate models)”

May combine two claims.

Decentralized nomination achieves 62.06 ± 2.44% in 38.0 minutes, compared with 64.40 ± 1.49% in 34.9 minutes for a central selector.

“For readout, decentralized nomination achieves 62.06 ± 2.44% in 38.0 minutes, compared with 64.40 ± 1.49% in 34.9 minutes for a central selector.”

May combine two claims.

Workers cite earlier contributions in nearly every eligible episode: 99.9% on ProgramBench and 96.2% on IMOProofBench-Advanced.

“Workers cite earlier contributions in nearly every eligible episode: 99.9% on ProgramBench and 96.2% on IMOProofBench-Advanced.”

May combine two claims.

Workers consume input tokens inspecting previous contributions, and redundant and unsuccessful episodes can spend compute without producing accepted work.

“Workers consume input tokens inspecting previous contributions, while redundant and unsuccessful episodes can spend compute without producing accepted work.”

May combine two claims.

After 26 hours, the Looped Transformer swarm reaches a protected-development loss of 3.187, compared with 3.265 for the reference, 3.274 for direct GPT, and 3.479 for Codex.

“After 26 hours, the swarm reaches a protected-development loss of 3.187, compared with 3.265 for the reference, 3.274 for direct GPT, and 3.479 for Codex.”

May combine two claims.

During the first 26 hours, workers conducted 395 architectural experiments across twelve idea families; 74% of negative architectural results were subsequently cited.

“During the first 26 hours, workers conducted 395 architectural experiments across twelve idea families; 74% of negative architectural results were subsequently cited.”

May combine two claims.

On ProgramBench, GitSwarm achieves a 79.4% mean score, compared with 65.1% for the strongest reported baseline under the stated budget.

“On ProgramBench, it achieves a 79.4% mean score, compared with 65.1% for the strongest reported baseline under the stated budget.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

The research histories in Section 3.3 illustrate cross-branch architectural synthesis and the later reconsideration of initially rejected results.

“The research histories in Section 3.3 illustrate cross-branch architectural synthesis and the later reconsideration of initially rejected results.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Worker w0580 explicitly cited that failed replication, retained the original epsilon, and instead moved query/key normalization before RoPE, obtaining 0.910114.

“Worker w0580 explicitly cited that failed replication, retained the original epsilon, and instead moved query/key normalization before RoPE, obtaining 0.910114.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

A worker tried letting each token see the previous token's memory state, and it failed. 49.5 hours later, another worker cited this failure as evidence that longer look-backs were still unexplored and built a mixer over several earlier tokens that succeeded; a third worker carried it into the 72-hour submission.

“A worker tried letting each token see the previous token's memory state, and it failed.49.5 hours later, another worker cited this failure as evidence that longer look-backs were still unexplored and built a mixer over several earlier tokens that succeeded; a third worker carried it into the 72-hour submission.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The back-loaded MLP was introduced by w0220 and transferred through a smaller-table experiment before w0309 combined it with a 524K-row bigram model.

“The back-loaded MLP was introduced by w0220 and transferred through a smaller-table experiment before w0309 combined it with a 524K-row bigram model.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims. The quote only partly states this claim.

A quick 128-example check scored the feed-forward adapter slightly worse than the reference; its author wrote that it 'should not be promoted', and the idea was nearly dropped.

“A quick 128-example check scored it slightly worse than the reference; its author wrote that it”

Probably not a substantial claim: may not pass S3 (load-bearing).

It reallocates feed-forward capacity from uniform fourfold expansion to fourfold expansion in the first four layers and eightfold expansion in the last four.

“It reallocates feed-forward capacity from uniform fourfold expansion to fourfold expansion in the first four layers and eightfold expansion in the last four.”

May combine two claims.

Branch-native memory substantially reduces repeated traversal relative to flat persistent memory across the tested depth and branching-factor regimes; results for unstructured resumable memory are not shown.

“Figure 14 shows that branch-native memory substantially reduces repeated traversal relative to flat persistent memory across the tested depth and branching-factor regimes; results for unstructured resumable memory are not shown.”

May combine two claims.

The gate's advantage vanished at 124M and 188M, while the adapter won at every rung and reached 3.187 at full size after 9 hours.

“After the adapter's initial rejection was reversed (see the steps below), the two were carried up the ladder side by side: the gate's advantage vanished at 124M and 188M, while the adapter won at every rung and reached 3.187 at full size after 9 hours (Figure 5(b)).”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Worker w1407 investigated whether order could explain this difference by predeclaring the reverse sequence: depth-dependent scaling first (0.908089), then uniform scaling (0.907224), using the unchanged sources. Uniform scaling again won the pair.

“Worker w1407 investigated whether order could explain this difference by predeclaring the reverse sequence: depth-dependent scaling first (0.908089), then uniform scaling (0.907224), using the unchanged sources.Uniform scaling again won the pair.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

A later worker overturned a 128-example win for iteration-dependent control, and four workers independently ran parameter-matched controls.

“Besides the reversal of the adapter's initial rejection (Appendix E.3.3), a later worker overturned a 128-example win for iteration-dependent control, and four workers independently ran parameter-matched controls.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The head router commit (34.6 h, 2.934) was developed on a side branch and overtook the differential-attention line.

“Head router (34.6 h, 2.934).Developed on a side branch; it overtook the differential-attention line, which led once more (50.7 h) before being superseded.”

May combine two claims.

The seeded run's gains came from combining the seeds: after 26.7 hours it added the 8-GPU run's head router to the 4-GPU model (2.905), and an hour later it moved the 4-GPU run's deeper stack onto the 8-GPU model (2.898).

“Its gains came from combining the seeds: after 26.7 hours it added the 8-GPU run's head router to the 4-GPU model (2.905), and an hour later it moved the 4-GPU run's deeper stack onto the 8-GPU model (2.898).”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

Counting this cited evidence yields the 24-commit, 24-worker dependency set reported in Section 3.3.

“Counting this cited evidence yields the 24-commit, 24-worker dependency set reported in Section 3.3.”

May combine two claims.

It trains on 547.9M reported tokens versus the reference's 728.2M.

“It trains on 547.9M reported tokens versus the reference's 728.2M.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The incumbent was measured at 23.67 active hours, or 25.15 elapsed wall hours; a strict 24-wall-hour cutoff instead gives 0.905487.

“The incumbent was measured at 23.67 active hours, or 25.15 elapsed wall hours; a strict 24-wall-hour cutoff instead gives 0.905487.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The incumbent retains eight transformer layers but widens the residual stream from 512 to 768 dimensions, uses eight 96-dimensional attention heads, and shortens local attention windows from 1,024 to 512 tokens while retaining full-context layers.

“The incumbent retains eight transformer layers but widens the residual stream from 512 to 768 dimensions, uses eight 96-dimensional attention heads, and shortens local attention windows from 1,024 to 512 tokens while retaining full-context layers.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The 96-dimensional head setting and 512-token window came from side branches.

“The 96-dimensional head setting and 512-token window came from side branches.”

May combine two claims.

Proof construction follows the same broad trend as ProgramBench, but with more run-to-run variation and earlier saturation, whereas program reconstruction continues to benefit from larger budgets.

“Proof construction follows the same broad trend as ProgramBench, but with more run-to-run variation and earlier saturation, whereas program reconstruction continues to benefit from larger budgets.”

May combine two claims.

Worker w0033 discovered that w0032 had already announced the identical depth-10, head-dimension-64 experiment from the same source. It abstained before training; the evaluation ledger contains no evaluation by w0033.

“Worker w0033 discovered that w0032 had already announced the identical depth-10, head-dimension-64 experiment from the same source.It abstained before training; the evaluation ledger contains no evaluation by w0033.”

May combine two claims.

Direct GPT trained longer (3.0B tokens) and added an auxiliary output decoder, and Codex reached 2.690 mainly by training for 10.1B tokens, from which about three quarters of its gain came.

“Direct GPT trained longer (3.0B tokens) and added an auxiliary output decoder, and Codex reached 2.690 mainly by training for 10.1B tokens, from which about three quarters of its gain came.”

May combine two claims.

Within the first 24 active hours, the run improves from 0.992692 to 0.905235 BPB (8.81%), completing 1,465 successful evaluations of 1,219 distinct train.py solutions, plus 175 failed evaluations.

“Within the first 24 active hours, the run improves from 0.992692 to 0.905235 BPB (8.81%), completing 1,465 successful evaluations of 1,219 distinct train.pysolutions, plus 175 failed evaluations.”

May combine two claims.

About an hour later, another worker re-evaluated the same checkpoint on 512 examples and found it clearly better (-0.067 against the reference); a third confirmed the gain on the full development set and showed that it also beat the leading alternative, the recurrent-state gate.

“About an hour later, another worker re-evaluated the same checkpoint on 512 examples and found it clearly better (-0.067 against the reference); a third confirmed the gain on the full development set and showed that it also beat the leading alternative, the recurrent-state gate.”

May combine two claims.

The baselines added signals to the recurrent state (a learned per-iteration embedding for direct GPT; input anchors and step signals for Codex), which helped direct GPT on smaller models but not at full size; neither baseline has yet beaten the reference.

“The baselines instead added signals to the recurrent state (a learned per-iteration embedding for direct GPT; input anchors and step signals for Codex), which helped direct GPT on smaller models but not at full size; neither baseline has yet beaten the reference.”

May combine two claims.

The final model's code comes almost entirely from one lineage of six commits by six workers; only the first changes code, and the only code imported from elsewhere is a loss-computation fix written for another branch.

“Unlike in the RMT run, the final model's code comes almost entirely from one lineage of six commits by six workers; only the first changes code, and the only code imported from elsewhere is a loss-computation fix written for another branch.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Query/key normalization moves before rotary embedding.

“Query/key normalization moves before rotary embedding.”

May combine two claims.

An explicit query/key normalization epsilon initially scored 0.911027 BPB; worker w0555 repeated the identical source and obtained 0.911918, revising the apparent advantage to an unresolved near-tie with a preference for the simpler inherited normalization.

“An explicit query/keynormalization epsilon initially scored 0.911027 BPB; worker w0555 repeated the identical source and obtained 0.911918, revising the apparent advantage to an unresolved near-tie with a preference for the simpler inherited normalization.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Its best observation is 0.898671 (9.47% below the reference), but this is an extension result, not a 24-hour result or a separately held-out test score.

“Its best observation is 0.898671 (9.47% below the reference), but this is an extension result, not a 24-hour result or a separately held-out test score.”

May combine two claims.

At 2.18 active hours, worker w0273 added a separate 32K-row trigram table and obtained 0.929923, worse than both bigram-only controls (0.929131/0.929700).

“At 2.18 active hours, worker w0273 added a separate 32K-row trigram table and obtained 0.929923, worse than both bigram-only controls (0.929131/0.929700).”

Probably not a substantial claim: may not pass S3 (load-bearing).

Within two hours the recurrent-state gate and the feed-forward adapter were the two leading ideas.

“Workers first screened all twelve families in parallel on small models; within two hours the recurrent-state gate and the feed-forward adapter were the two leading ideas.”

May combine two claims.

The 8-GPU run's final model combines six mechanisms: three general transformer changes (removing a depth-dependent attention scaling, tied embeddings, and a SwiGLU feed-forward layer) and three that exploit the matrix memory (routing across attention heads, wider attention, and mixing in the memory states of recent tokens).

“The 8-GPU run's final model combines six mechanisms (Table 6): three general transformer changes (removing a depth-dependent attention scaling, tied embeddings, and a SwiGLU feed-forward layer) and three that exploit the matrix memory (routing across attention heads, wider attention, and mixing in the memory states of recent tokens).”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Worker w0642 questioned an inherited MLP multiplier, 0.56776, whose rationale assumed an activation distribution rather than measuring the learned one. Replacing it with 0.5 scored 0.909838 BPB.

“Worker w0642 questioned an inherited MLP multiplier, 0.56776, whose rationale assumed an activation distribution rather than measuring the learned one.Replacing it with 0.5 scored 0.909838 BPB, which the worker described as an effective near-tie, not established superiority.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The change adds 27M parameters (8.7%).

“Because this adapter runs at every recurrence, it is the component most specific to looped models, and the change adds 27M parameters (8.7%).”

May combine two claims.

During the 72-hour run, 15 of 17 ideas promoted from the small proxy to full size helped; in the extension, only 1 of 8 did, and several ideas reversed sign at full size.

“During the 72-hour run, 15 of 17 ideas promoted from the small proxy to full size helped; in the extension, only 1 of 8 did, and several ideas reversed sign at full size.”

May combine two claims.

The 72-hour submission (dev 2.909, held-out 2.890) uses rank-32 attention; the best model after the extension (dev 2.894) widens it to rank 64.

“The 72-hour submission (dev 2.909, held-out 2.890) uses rank-32 attention; the best model after the extension (dev 2.894) widens it to rank 64 (Appendix E.2.4).”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The 24-hour incumbent's physical lineage contains 32 research-result commits, but several mechanisms were developed off that chain.

“The 24-hour incumbent's physical lineage contains 32 research-result commits, but several mechanisms were developed off that chain.”

May combine two claims.

The resulting model has 1,723.9M parameters versus 50.3M initially; 1,610.6M belong to the lexical table.

“The resulting model has 1,723.9Mparameters versus 50.3M initially; 1,610.6Mbelong to the lexical table.”

May combine two claims.

Six families were incorporated into the final model, one led the frontier and was superseded, two produced gains that did not survive combination with the leader, two remained inconclusive at full size, seven were refuted, and one consisted of controls.

“Six families were incorporated into the final model, one led the frontier and was superseded, two produced gains that did not survive combination with the leader, two remained inconclusive at full size, seven were refuted, and one consisted of controls.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Pre-RoPE query/key normalization came from w0580 and was incorporated by w0678 into an activation-scaled model.

“Pre-RoPE query/key normalization came from w0580 and was incorporated by w0678 into an activation-scaled model.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The complete record contains 3,630 successful and 453 failed evaluations, with 2,784 distinct successful solutions.

“The complete record contains 3,630 successful and 453 failed evaluations, with 2,784 distinct successful solutions.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The 170 negative commits amount to 43% of the architectural ones.

“The 170 negative commits amount to 43% of the architectural ones.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

A new 2,097,152-row table supplies hashed causal bigram and trigram embeddings, sharing storage between the two feature types.

“A new 2,097,152-row table supplies hashed causal bigram and trigram embeddings, sharing storage between the two feature types.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Early workers screened many ideas in parallel on small proxy models.

“Early workers screened many ideas in parallel on small proxy models.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

No off-task drift was observed in this run.

“No off-task drift was observed in this run.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Nothing has improved on the best model since 9 hours.

“Nothing has improved on the best model since 9 hours; the later shift to calibration and diagnostics is described in Appendix E.3.4.”

May combine two claims.

The recurrent-state gate, the specialist branches and iteration-dependent control all lost their small-scale advantage at larger rungs or against a parameter-matched control.

“The recurrent-state gate, the specialist branches and iterationdependent control all lost their small-scale advantage at larger rungs or against a parameter-matched control.”

Probably not a substantial claim: may not pass S3 (load-bearing).

After the cutoff, a lexical cooldown/decay combination reached 0.903842.

“After the cutoff, a lexical cooldown/decay combination reached 0.903842.”

May combine two claims.

Across the complete record, 1,285 of 2,646 accepted research commit actions (48.6%) are negative-labelled, and 982 (76.4%) are subsequently cited.

“Across the complete record, 1,285 of 2,646 accepted research commit actions (48.6%) are negative-labelled, and 982 (76.4%) are subsequently cited.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Two refuted results, a narrower adapter and the recurrent-state gate at 188M, were reused to build the parameter-matched controls.

“Two refuted results, a narrower adapter and the recurrent-state gate at 188M, were reused to build the parameter-matched controls.”

May combine two claims.

The 4-GPU run converged on an overlapping but simpler design, tied embeddings, SwiGLU, and a deeper 32-layer stack, with a held-out loss of 2.894.

“The 4-GPU run converged on an overlapping but simpler design, tied embeddings, SwiGLU, and a deeper 32-layer stack, with a held-out loss of 2.894.”

May combine two claims.

Although the final model's code descends through a single chain of eight commits, only two of its six mechanisms were first written on that chain. The other four (SwiGLU, the head router, wider attention, and the temporal mixer) were developed on side branches by other workers and ported into the chain.

“Although the final model's code descends through a single chain of eight commits, only two of its six mechanisms were first written on that chain.The other four (SwiGLU, the head router, wider attention, and the temporal mixer) were developed on side branches by other workers and ported into the chain (Table 8).”

Probably not a substantial claim: may not pass S3 (load-bearing).

An earlier comparison tested uniform attention-query scaling first (0.906862 BPB), then depth-dependent scaling (0.907103).

“An earlier comparison tested uniform attention-query scaling first (0.906862 BPB), then depth-dependent scaling (0.907103).”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The family assignment covers 119 of the 120 commits, and its positive/negative split (48/71) differs slightly from the 69 negative commits reported in Section 3.3.

“The family assignment covers 119 of the 120 commits, and its positive/negative split (48/71) differs slightly from the 69 negative commits reported in Section 3.3.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Worker w3052 enlarged that shared table to produce the 24-hour incumbent, 0.905235.

“Nevertheless, worker w3052 enlarged that shared table to produce the 24-hour incumbent, 0.905235.”

Probably not a substantial claim: may not pass S3 (load-bearing).

That ordering subsequently entered the combined architecture.

“That ordering subsequently entered the combined architecture.”

May combine two claims.

A seed replication moved loss by 0.010, comparable to several of the later steps on the solution path.

“A seed replication moved loss by 0.010, comparable to several of the later steps on the solution path.”

May combine two claims.

Codex opened no new idea threads after 26.5 hours, and direct GPT spent 68% of its GPU time on a single family.

“The single-agent baselines narrowed much earlier: Codex opened no new idea threads after 26.5 hours, and direct GPT spent 68% of its GPU time on a single family.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

Decoys report nearby values (19, 25, 31, ...), but only one value makes each stated numerical transformation correct.

“Decoys report nearby values (19, 25, 31, ...), but only one value makes each stated numerical transformation correct.”

May combine two claims.

At equal total MLP parameter count, early-fourfold/late-eightfold expansion scored 0.932288 versus 0.934069/0.934041 for uniform sixfold expansion; reversing the allocation scored 0.935398.

“Second, at equal total MLP parameter count, early-fourfold/late-eightfold expansion scored 0.932288 versus 0.934069/0.934041for uniform sixfold expansion; reversing the allocation scored 0.935398.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The temporal memory mixer (65.9 h, 2.909; held-out 2.890) was the 72-hour submission, built from the reused single-token failure.

“Temporal memory mixer (65.9 h, 2.909; held-out 2.890).The 72-hour submission, built from the reused single-token failure described above.”

May combine two claims.

In the first 24 active hours, worker traces confirm 1,258 accepted research commit actions. Of these, 709 (56.4%) are explicitly labelled negative by their authors, and 497 (70.1%) are cited by a later accepted research commit within the same window.

“In the first 24 active hours, worker traces confirm 1,258 accepted research commit actions.Of these, 709 (56.4%) are explicitly labelled negative by their authors, and 497 (70.1%) are cited by a later accepted research commit within the same window.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

After the evaluation budget ran out (20.8 hours), most commits were calibrations and diagnostics, and 128 of 136 abstentions cited duplicate or already-running work.

“After the evaluation budget ran out (20.8 hours), most commits were calibrations and diagnostics, and 128 of 136 abstentions cited duplicate or already-running work.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

At 23.08 hours, worker w2985 explicitly cited both failures and reused their causal hash while borrowing a shared-table idea from a lagged-pair branch.

“At 23.08 hours, worker w2985 explicitly cited both failures and reused their causal hash while borrowing a shared-table idea from a lagged-pair branch.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Worker w1456 explicitly reused this comparison set when evaluating a streamed output-head implementation. Its 0.906886 BPB beat nine observations but not the best, 0.906862.

“Worker w1456 explicitly reused this comparison set when evaluating a streamed output-head implementation.Its 0.906886 BPB beat nine observations but not the best, 0.906862; the worker therefore did not claim a new quality record or a repeatable BPB gain.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The same verification worker assembled ten measurements of the byte-identical ordinary, uniform-scaling source, without introducing a new architecture.

“The same verification worker assembled ten measurements of the byte-identical ordinary, uniform-scaling source, without introducing a new architecture.”

May combine two claims.

Explicit attribution reduces the fraction of the archive workers must inspect at every tested lineage depth, semantic ambiguity, and downstream fan-out level, with the gap widening with lineage depth.

“Figure 16 shows that explicit attribution reduces the fraction of the archive workers must inspect at every tested lineage depth, semantic ambiguity, and downstream fan-out level, with the gap widening with lineage depth.”

May combine two claims.

The first durable improvement, a correction to the reference code found within the first hour, is an ancestor of 102 of the 120 commits, and ten commits receive half of all citations.

“The first durable improvement, a correction to the reference code found within the first hour, is an ancestor of 102 of the 120 commits, and ten commits receive half of all citations.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Enlarging the separate table also failed: 0.924527 versus 0.919483/0.920211.

“Enlarging the separate table also failed: 0.924527 versus 0.919483/0.920211.”

May combine two claims.

128-example evaluations disagreed with the full set on 5 of 12 comparable pairs, and with 512-example evaluations on 15 of 50.

“128-example evaluations disagreed with the full set on 5 of 12 comparable pairs, and with 512-example evaluations on 15 of 50; a worker measured this itself and the swarm adopted a 128→512→4,873 evaluation funnel.”

May combine two claims.

The independent baselines' coverage stays roughly flat but well below shared memory as the number of targets grows (about 70-75% for B = 2 and 20-23% for k = 4) and drops with dependency depth, despite their larger aggregate query budget.

“The independent baselines' coverage stays roughly flat but well below shared memory as the number of targets grows (about 70-75% for B = 2 and 20-23% for k = 4) and drops with dependency depth, despite their larger aggregate query budget.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

GitSwarm used 1,222 GPU jobs and all 64 permitted protected evaluations, against 324 and 222 jobs for direct GPT and Codex.

“GitSwarm used 1,222 GPU jobs and all 64 permitted protected evaluations, against 324 and 222 jobs for direct GPT and Codex.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

A fixed set of proxy contexts was used by 257 commits and parameter matching was discussed in 187; commits that built measurement tools and controls were among the most cited.

“A fixed set of proxy contexts was used by 257 commits and parameter matching was discussed in 187; commits that built measurement tools and controls were among the most cited.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The original timing/evaluation code is retained apart from an optimizer learning-rate expression, but 701 successful harness records exceed the original instructions' separate ten-minute overall timeout.

“The original timing/evaluation code is retained apart from an optimizer learning-rate expression, but 701 successful harness records exceed the original instructions' separate ten-minute overall timeout.”

May combine two claims.

Of these workers, 86.7% edited files, 98.8% built a candidate, 99.0% ran tests, and 95.1% probed the oracle.

“Of these workers, 86.7% edited files, 98.8% built a candidate, 99.0% ran tests, and 95.1% probed the oracle.”

May combine two claims.

In 71.5% of cases, the worker had seen the eventual committer's public scope and continued working; a smaller subset explicitly planned to wait or refresh the graph before committing.

“In 71.5% of cases, the worker had seen the eventual committer's public scope and continued working; a smaller subset explicitly planned to wait or refresh the graph before committing.”

May combine two claims.

The first vote moves from 68.4% of normalized progress at B100 to 16.1% at B500, mainly because the total run grows from about 122 to 599 episodes while voting starts after a similar absolute amount of work; a substantial selection pulse still remains near termination at larger budgets.

“The first vote moves from 68.4% of normalized progress at B100 to 16.1% at B500, mainly because the total run grows from about 122 to 599 episodes while voting starts after a similar absolute amount of work; a substantial selection pulse still remains near termination at larger budgets.”

May combine two claims.

The share of graph expansion falls quickly, and selection occupies 64.8-82.2% of episodes in the final fifth of a proof run.

“Beyond the budget-level selection shares reported in Section 3.5, the share of graph expansion (contribution commits, i.e. all proof categories except Candidate selection: the bands below the ink rule in Figure 20) falls quickly, and selection occupies 64.8-82.2% of episodes in the final fifth of a proof run.”

May combine two claims.

Broader comparison is concentrated near startup and, on ProgramBench, during the final selection pulse.

“Broader comparison is concentrated near startup and, on ProgramBench, during the final selection pulse.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Later work transfers normalization order, investigates readout and gradient implementations, and revisits lexical context using shared trigrams.

“Later work transfers normalization order, investigates readout and gradient implementations, and revisits lexical context using shared trigrams.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

The first window is low because little prior work has been published.

“The first window is low because little prior work has been published.”

May combine two claims.

Hashed bigrams open a second capacity axis, and their combination with back-loaded MLPs and autotuning reaches 0.912586 by 3.00 active hours.

“Hashed bigrams open a second capacity axis, and their combination with back-loaded MLPs and autotuning reaches 0.912586 by 3.00 active hours.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

Every contribution worker writes MY_THOUGHTS.md and EVALUATION.md, and nomination workers also write BEST_SOLUTION.md.

“Every contribution worker writes MY_THOUGHTS.mdand EVALUATION.md, and nomination workers also write BEST_-SOLUTION.md.”

May combine two claims.

Declared implementation redundancy stays near one ProgramBench worker in six across budgets, but remains below 2.7% on IMOProofBench-Advanced.

“Figure 25 shows that declared implementation redundancy stays near one ProgramBench worker in six across budgets, but remains below 2.7% on IMOProofBench-Advanced.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The categorization yielded six common ProgramBench categories and four recurring proof categories plus a small residual category.

“This yielded six common ProgramBench categories and four recurring proof categories plus a small residual category (Table 10).”

May combine two claims.

IMOProofBench-Advanced shows similarly frequent access but less durable reuse: its active-reuse rate is much lower than ProgramBench's, because most opened computation or probe bundles are not executed or adapted by a citing contribution.

“IMOProofBench-Advanced shows similarly frequent access but less durable reuse: its active-reuse rate is much lower than ProgramBench's, because most opened computation or probe bundles are not executed or adapted by a citing contribution (Section 3.4).”

May combine two claims.

The pooled rates in Figure 19 show frequent artifact consumption in both domains: persistent state is not merely published, since later workers visibly inspect and use earlier artifacts.

“The pooled rates in Figure 19 show frequent artifact consumption in both domains (Section 3.4): persistent state is not merely published, since later workers visibly inspect and use earlier artifacts.”

May combine two claims.

Both domains begin with a short wave that creates initial candidates, after which workers operate on an established graph; what happens after startup differs between the two benchmarks.

“Both domains begin with a short wave that creates initial candidates, after which workers operate on an established graph; what happens after startup differs between the two benchmarks.”

May combine two claims.

Explicit proof abstainers consume only 1.2-2.8% of input tokens and 0.3-0.8% of output tokens.

“Explicit proof abstainers consume only 1.2-2.8% of input tokens and 0.3-0.8% of output tokens.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The code remains reachable in Git, but there is no located completed finalizer submission.

“The code remains reachable in Git, but there is no located completed finalizer submission.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

However, its exact-source repeat scores 0.899864, and its worker publication is rejected for an extra audit Markdown file outside the allowed paths.

“However, its exact-source repeat scores 0.899864, and its worker publication is rejected for an extra audit Markdown file outside the allowed paths.”

May combine two claims.

Construction continues near the budget boundary, and the winner is usually a final repair or integration that inherits older work.

“Construction continues near the budget boundary, and the winner is usually a final repair or integration that inherits older work.”

Probably not a substantial claim: may not pass S3 (load-bearing).

A rare B100 artifact tool, a script for generating comparison diffs, was repeatedly used by later workers.

“A rare B100 artifact tool, a script for generating comparison diffs, was repeatedly used by later workers.”

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

The extension further changes value routing, lexical gradients and FP8 training arithmetic.

“The extension further changes value routing, lexical gradients and FP8 training arithmetic.”

May combine two claims.

Early parallel tests establish narrower attention heads and wider residual states; head geometry, batch size, decay, attention sharpness and locality are then combined.

“Early parallel tests establish narrower attention heads and wider residual states; head geometry, batch size, decay, attention sharpness and locality are then combined.”

May combine two claims.

By workers 90-99 in the B100 runs, roughly 72 candidates are available, but each worker explicitly opens only about six.

“By workers 90-99 in the B100 runs, roughly 72 candidates are available, but each worker explicitly opens only about six.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

That reuse pattern did not recur at other budgets; a separate B500 capture helper was opened but not actively reused.

“That reuse pattern did not recur at other budgets; a separate B500 capture helper was opened but not actively reused.”

May combine two claims.

Winner linkage differs much more than access: fewer than a quarter (22.6%) of proof protocol revisions connect to the winner through a consuming contribution, while ProgramBench artifacts usually enter its broad selected ancestry.

“but winner linkage differs much more than access (Section 3.4): fewer than a quarter (22.6%) of proof protocol revisions connect to the winner through a consuming contribution, while ProgramBench artifacts usually enter its broad selected ancestry.”

May combine two claims.

More compute produces more comparisons and votes in both benchmarks, but their timing differs.

“More compute produces more comparisons and votes in both benchmarks, but their timing differs.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Different problems favor different kinds of evidence.

“Different problems favor different kinds of evidence”

May combine two claims.

The proof graph is smaller, so those three candidates still reach a larger fraction of its history than the five to seven candidates typically opened on ProgramBench.

“The proof graph is smaller, so those three candidates still reach a larger fraction of its history than the five to seven candidates typically opened on ProgramBench.”

May combine two claims.

ProgramBench frequently produces a late, integrated candidate, whereas proof-solving workers may repeatedly evaluate and nominate an earlier proof without modifying its exact commit.

“ProgramBench frequently produces a late, integrated candidate, whereas proof-solving workers may repeatedly evaluate and nominate an earlier proof without modifying its exact commit.”

Probably not a substantial claim: may not pass S3 (load-bearing).

One representative ProgramBench run exhibits late integration, in which separate lines of implementation work are subsequently combined.

“One exhibits late integration, in which separate lines of implementation work are subsequently combined.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Divide-and-conquer runs such as Pandoc B100 use a related but more specialized pattern: separate groups develop document structure and inline syntax on one branch and output modes and code-block handling on another before the branches join.

“Divide-and-conquer runs such as Pandoc B100 use a related but more specialized pattern: separate groups develop document structure and inline syntax on one branch and output modes and code-block handling on another before the branches join.”

May combine two claims.

The exact ProgramBench winner is produced late, at 93.1-98.0% median progress, only 8-11.5 worker episodes before termination, consistent with continued refinement and integration throughout the run.

“The exact ProgramBench winner is produced late, at 93.1-98.0%median progress, only 8-11.5 worker episodes before termination, consistent with continued refinement and integration throughout the run.”

May combine two claims.

On ProgramBench, inspection is initially broad because few candidates are available: workers 10-19 see roughly eight candidates and inspect nearly all of them because no clear foundation has emerged.

“On ProgramBench, inspection is initially broad because few candidates are available: workers 10-19 see roughly eight candidates and inspect nearly all of them because no clear foundation has emerged.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The selected candidate at 92% incorporates further line-number and raw-line inspection work.

“The selected candidate at 92% incorporates further line-number and raw-line inspection work.”

Probably not a substantial claim: may not pass S3 (load-bearing).

The other representative ProgramBench run illustrates search-and-pivot, as workers develop alternative approaches over an extended run.

“The other illustrates search-and-pivot (search and redirection), as workers develop alternative approaches over an extended run.”

Probably not a substantial claim: may not pass S3 (load-bearing).

Table 12 lists the six categories obtained for each benchmark.

“Table 12 lists the six categories obtained for each benchmark.”

May combine two claims.

ProgramBench workers also reach a shrinking fraction, even though their absolute look-back distance into the spawn-time history (measured in commits) increases, growing to about 20 commits at B100, 50 at B200, 80 at B300, and 150 at B500.

“ProgramBench workers also reach a shrinking fraction, even though their absolute look-back distance into the spawn-time history (measured in commits) increases, growing to about 20 commits at B100, 50 at B200, 80 at B300, and 150 at B500.”

May combine two claims.

On ProgramBench, the selected solution's ancestry covers most of the contribution graph, whereas selected proofs retain a much smaller share.

“On ProgramBench this ancestry covers most of the contribution graph (Figure 7), so repeated local composition from a few sources produces a broad final ancestry; selected proofs retain a much smaller share.”

May combine two claims.

The winning Looped Transformer adapter's development path includes reversal of an early rejection and reuse of negative results.

“The winning adapter's development path and its wider evidence dependencies, including reversal of an early rejection and reuse of negative results.”

Classified as probably not a substantial claim. May combine two claims.

GitSwarm has shared memory, durable branches, self-directed workers, no fixed roles, asynchronous workers, cross-branch dependencies, and separate sources.

“| GitSwarm | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ | ✓ |”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

In the ProgramBench run shown, four renderer experiments appear within one percentage point of run progress, covering JSON, style palettes, Go, and HTML/XML, and are quickly combined.

“Four renderer experiments then appear within one percentage point, covering JSON, style palettes, Go, and HTML/XML, and are quickly combined.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

In the GPT-5.5 GitSwarm Looped Transformer run's first 26 hours, the adapter capacity and placement variants family had 37 commits, 27 negative commits, 0 protected evaluations, and was refuted.

“Adapter capacity and placement | 37 | 27 | 0 | Refuted”

May combine two claims.

Roughly three quarters of all ProgramBench worker episodes end in a contribution commit at every budget, while abstentions remain spread through the run.

“Roughly three quarters of all ProgramBench worker episodes end in a contribution commit at every budget, while abstentions remain spread through the run.”

May combine two claims.

On the ProgramBench development set, synchronous waves scored 63.11 ± 0.58%, which is +1.05 percentage points over the default, with runtime 49.3 min.

“Synchronous waves | 63.11 ± 0.58 | +1.05 | 49.3”

May combine two claims.

In pilot runs without the sequential shell interaction extension, Gemini-3.1-Pro workers often issued an entire contribution workflow (inspection, scope announcement, gs_fork, file writes, and git commit) in a single response, sometimes predicting command outputs and branching from a guessed commit SHA.

“In pilot runs without it, Gemini workers often issued an entire contribution workflow (inspection, scope announcement, gs_fork, file writes, and git commit) in a single response, sometimes predicting command outputs and branching from a guessed commit SHA.”

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

In the ProgramBench run shown, CLI and configuration work continues until about 57% of the run, while renderer work becomes the dominant selected lineage and ends in a final renderer synthesis.

“CLI and configuration work continues until about 57%, while renderer work becomes the dominant selected lineage and ends in a final renderer synthesis.”

May combine two claims.

Selected IMOProofBench proofs have shallower ancestry than ProgramBench solutions: later work often evaluates and compares existing candidates rather than extending the selected proof.

“In contrast, selected IMOProofBench proofs have shallower ancestry: later work often evaluates and compares existing candidates rather than extending the selected proof.”

May combine two claims.

In the GPT-5.5 GitSwarm Looped Transformer run's first 26 hours, the gate on the recurrent state family had 32 commits, 15 negative commits, 10 protected evaluations, and was an early leader whose gain vanished at 124M/188M.

“Gate on the recurrent state | 32 | 15 | 10 | Early leader; gain vanished at 124M/188M”

May combine two claims.

The initial ProgramBench spike appears across work types, so it is not caused by nomination workers.

“The initial ProgramBench spike appears across work types, so it is not caused by nomination workers.”

May combine two claims.

On the ProgramBench development set, central selector scored 64.40 ± 1.49%, which is +2.34 percentage points over the default, with runtime 34.9 min.

“Central selector | 64.40 ± 1.49 | +2.34 | 34.9”

Probably not a substantial claim: may not pass S3 (load-bearing).

Two of the 64 protected evaluations in the GPT-5.5 GitSwarm Looped Transformer run's first 26 hours are not assigned to an architectural family.

“Two of the 64 protected evaluations are not assigned to an architectural family.”

May combine two claims.

Of the 273 IMO redundancy cases, 268 include committed evidence and only three cite in-flight work alone.

“of the 273 IMO redundancy cases, 268 include committed evidence and only three cite in-flight work alone”

May combine two claims.

The proof traces contain no gs_explore or gs_inspect calls; the Gemini workers use targeted Git reads instead.

“The proof traces contain no gs_explore or gs_inspect calls; the Gemini workers use targeted Git reads instead.”

May combine two claims.

On the ProgramBench development set, the asynchronous default configuration (decentralized nomination) scored 62.06 ± 2.44% macro-average test score across three random seeds, with mean generation wall-clock time 38.0 min per task.

“Asynchronous (default) | 62.06 ± 2.44 | - | 38.0”

May combine two claims.

The eventual winner is first committed late in the run on ProgramBench and early in the run on IMOProofBench-Advanced.

“The winner appears late on ProgramBench and early on IMOProofBench-Advanced.”

May combine two claims.

On the ProgramBench development set, central aggregator scored 58.19 ± 4.53%, which is -3.87 percentage points from the default, with runtime 43.9 min.

“Central aggregator | 58.19 ± 4.53 | -3.87 | 43.9”

May combine two claims.

In the GPT-5.5 GitSwarm Looped Transformer run's first 26 hours, the feed-forward re-injection adapter family had 13 commits, 0 negative commits, 20 protected evaluations, and its outcome was in the final model.

“Feed-forward re-injection | 13 | 0 | 20 | In final model”