---
id: H24
title: The six-stage pipeline rediscovers known structure at a high rate and reports zero validated novel shortcuts
axis: D
kind: methodology
statement: Of the 25 hypotheses, the pipeline classifies the majority as known results reproduced or empirical observations,
  rejects the explicitly 'beyond √n' conjectures with proofs or counterexamples, and produces no claim of a cryptographic
  weakness; the baseline (literature lookup without computation) would have left the quantitative constants unmeasured.
motivation: Outcome C of the mandate (methodological contribution) must be evaluated honestly.
assumptions: Classification rubric of §7 Stage 6.
expected_contribution: Discovery-log statistics and a critical assessment of what automation added.
related_work:
- fawzi2022discovering
- romeraparedes2024mathematical
- lu2024ai
possible_counterexamples: A validated novel result (none).
verification_strategy: experiments/automated_discovery/registry.py
computational_budget: none
status: evaluated
classification: empirical_observation
evidence:
- research_log/discovery_log.jsonl
- results/automated_discovery/hypothesis_summary.json
verdict: '25 hypotheses evaluated: 16 known results reproduced with measured constants, 6 empirical observations, 3 rejected
  conjectures (orbit quotient group; iteration-function shortcut; non-injectivity of σ0/σ1), 0 new verified results, 0 claims
  of weakness. Automation found one unrecorded closed form (GLV constants) and one wrong belief (σ0/σ1); the baseline (literature
  reading) would have left every constant unmeasured.'
---

# H24 — The six-stage pipeline rediscovers known structure at a high rate and reports zero validated novel shortcuts

Of the 25 hypotheses, the pipeline classifies the majority as known results reproduced or empirical observations, rejects the explicitly 'beyond √n' conjectures with proofs or counterexamples, and produces no claim of a cryptographic weakness; the baseline (literature lookup without computation) would have left the quantitative constants unmeasured.