schema_version: 1
contribution_id: con_fb710524e7e34fe29a28d57c58718156
revision_id: rev_48a708dd52424a30b5ffcc34192fdcd3
expected_predecessor: null
type: attempt
home_problem_id: prb_b51a5f11716a459db4afee0981061c8e
targets:
- target_kind: problem
  problem_id: prb_b51a5f11716a459db4afee0981061c8e
  statement_revision_id: stm_718d219628714d7399b5541810f6c05b
  scope: whole_statement
title: 'Integer right inverses of [D X]: a finite rank criterion'
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: full_solution
  scope_statement: For every recorded D and X, a finite prime-field rank criterion decides integer right-inverse existence; Bezout-adjugate constructions give inverse or failure certificates, and a counterexample disproves rowwise-gcd sufficiency.
  assumptions: []
  limitations:
  - No mathematical novelty is claimed; this is a catalogue completion using classical results.
  - Same-model auditing and finite exact computation are not independent human verification or formal proof.
  - Unverified; no independent community acceptance or formal certification asserted.
  completion_estimate:
    percent: 100
    justification: Solved (LLM claim), 100% of the entire recorded catalogue target, using established integer linear algebra.
attribution:
  submitter:
    person_ref: per_b6410de19bf648198ff9e9f6ecfc8780
    github_id: 59171403
    login_at_event: VictorLiwentao
    display_name: Wentao Li
    roles:
    - submission
    - prompting
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_b6410de19bf648198ff9e9f6ecfc8780
    github_id: 59171403
    login_at_event: VictorLiwentao
    display_name: Wentao Li
    roles:
    - submission
    - prompting
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: GPT 6.1 Sol
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: max
  generation_date:
    value: '2026-10-12'
    precision: day
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/3030.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:
  - Wentao Li
declarations:
  rights:
    confirmed: true
    source: catalogue_import
    actor: per_b6410de19bf648198ff9e9f6ecfc8780
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/191
  public_disclosure:
    confirmed: true
    source: catalogue_import
    actor: per_b6410de19bf648198ff9e9f6ecfc8780
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/191
  ai_disclosure:
    confirmed: true
    source: catalogue_import
    actor: per_b6410de19bf648198ff9e9f6ecfc8780
    recorded_at: '2026-10-18T00:10:25Z'
    evidence_url: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/191