schema_version: 1
contribution_id: con_2354ad0aa2a7479f8b491c3d09e0428a
revision_id: rev_ce3236ee53c440eda7781f39028786e7
expected_predecessor: null
type: attempt
home_problem_id: prb_d9d9934080df43a18039dcb964a10feb
targets:
- target_kind: problem
  problem_id: prb_d9d9934080df43a18039dcb964a10feb
  statement_revision_id: stm_b274015c68e94f0b9c9eb426814817bd
  scope: whole_statement
title: Counterexamples to the coefficient parity bound in every degree at least 15
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'Reports the established full disproof of the exact ordinary coefficient-difference conjecture, credited to Katkova, Shapiro and Vishnyakova (2024), Section 5. Gives a complete self-contained proof: the positive-coefficient polynomial (x+1)^13(38x^2-89x+83) has 13 real roots counted with multiplicity and parity statistic 11. Supplies an explicit integer-coefficient polynomial with 13 distinct negative roots and statistic 11, plus a closed-form family for every degree n>=15 with exactly n-2 real roots and statistic n-4. Includes a separate exact verifier and finite audits through degree 100. No historical novelty or minimum-degree claim is made; the all-degree proof is algebraic.'
  assumptions: []
  limitations: []
attribution:
  submitter:
    person_ref: per_f1431fb3e9be47bfbcc6df898ffaab4c
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_f1431fb3e9be47bfbcc6df898ffaab4c
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), instance 1
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), instance 2
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: computation
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), instance 3
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: review_assistance
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), instance 4
  generation_date: null
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/attempt.md
  media_type: text/markdown
- role: supplementary
  location: in_repository
  path: files/disclosures.md
  media_type: text/markdown
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - gavenren
declarations:
  rights:
    confirmed: true
    source: form_field
    actor: per_f1431fb3e9be47bfbcc6df898ffaab4c
    recorded_at: '2026-10-18T15:03:15Z'
    evidence_url: https://github.com/We-Solve/research/issues/22
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_f1431fb3e9be47bfbcc6df898ffaab4c
    recorded_at: '2026-10-18T15:03:15Z'
    evidence_url: https://github.com/We-Solve/research/issues/22
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_f1431fb3e9be47bfbcc6df898ffaab4c
    recorded_at: '2026-10-18T15:03:15Z'
    evidence_url: https://github.com/We-Solve/research/issues/22