schema_version: 1
contribution_id: con_3bbd0450b7c1429bb2f2b52ff9087b21
revision_id: rev_50d21137a1804381bf2e76318a47f314
expected_predecessor: null
type: attempt
home_problem_id: prb_4e5b425aefd54f6eac8b8f94ca9c1433
targets:
- target_kind: problem
  problem_id: prb_4e5b425aefd54f6eac8b8f94ca9c1433
  statement_revision_id: stm_3eb3e09ab10c4ab3b0aab7c52e75e8f1
  scope: whole_statement
title: A nonminimizing limit of the uncorrected noisy game
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: full_disproof
  scope_statement: Fixed smooth three-state potential data and admissible vanishing repulsions yield an actual uncorrected noisy-game population limit that is not a global potential minimizer.
  assumptions: []
  limitations:
  - Uses the vanishing interior addition permitted by the canonical class; stricter monotone boundary-only variants remain open.
  - The selected-noise and analytic admissibility arguments have no independent human or formal certification recorded here.
  - Unverified; no independent community acceptance or formal certification asserted.
  completion_estimate:
    percent: 100
    justification: A negative answer for the entire canonical universal assertion over its broad admissible-repulsion class.
attribution:
  submitter:
    person_ref: per_9b291461795a4cbba1596cfeb2e8caf9
    github_id: 259694367
    login_at_event: jbaelaw
    display_name: Ji Ho Bae
    roles:
    - submission
    - prompting
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_9b291461795a4cbba1596cfeb2e8caf9
    github_id: 259694367
    login_at_event: jbaelaw
    display_name: Ji Ho Bae
    roles:
    - submission
    - prompting
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: GPT-6 Astra
  family: null
  version: unknown
  role: proof_search
  settings:
    reasoning: max
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: Anthropic
  declared_name: Claude Opus 5.5
  family: null
  version: unknown
  role: proof_search
  settings:
    reasoning: max
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: GPT-6 Astra Pro
  family: null
  version: unknown
  role: proof_search
  settings:
    reasoning: unknown
  generation_date: null
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/C73-25.tex
  media_type: application/x-tex
- role: supplementary
  location: in_repository
  path: files/sources.md
  media_type: text/markdown
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - Ji Ho Bae
declarations:
  rights:
    confirmed: true
    source: catalogue_import
    actor: per_9b291461795a4cbba1596cfeb2e8caf9
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/182
  public_disclosure:
    confirmed: true
    source: catalogue_import
    actor: per_9b291461795a4cbba1596cfeb2e8caf9
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/182
  ai_disclosure:
    confirmed: true
    source: catalogue_import
    actor: per_9b291461795a4cbba1596cfeb2e8caf9
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/182