schema_version: 1
contribution_id: con_748f95addaea45129b945bee4bcd794c
revision_id: rev_48fd53a0a4d64ad4b5f2843451e6a51d
expected_predecessor: null
type: attempt
home_problem_id: prb_46753194892741da91ccf5a2831bdf64
targets:
- target_kind: problem
  problem_id: prb_46753194892741da91ccf5a2831bdf64
  statement_revision_id: stm_2ca725f23ca14121aa0bd8dec087acaa
  scope: whole_statement
title: A quartic sum of nine squares with 1152 isolated real zeros in ten variables
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'A complete explicit disproof of the universal equality in Math-3459 / AMR-021-0007: an integer-coefficient polynomial of total degree exactly four in ten variables, expressed as nine squares of quadratic polynomials, has exactly 1152 isolated real zeros, exceeding 2^10=1024. The existing construction and its extensions are credited to DannyExperiments, public research release v1.0.0 (10 August 2026). This newly written report proves the complete zero classification, quantitative isolation, the quartic family with (ell−1)2^(ell−3) zeros in ell variables, and independent-block amplification. It does not determine the exact extremal maximum or claim discovery priority. The prior source discloses AI assistance and no human specialist review; no peer-reviewed or formally verified status is claimed. The proof and original exact verifier are included in full. Editorial review and independent human verification remain pending.'
  assumptions: []
  limitations: []
attribution:
  submitter:
    person_ref: per_42cc4eedc2984940a59ca19524fd522e
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_42cc4eedc2984940a59ca19524fd522e
    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), primary instance
  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), mathematical instance
  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), separate mathematical reviewer
  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), verifier instance
  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_42cc4eedc2984940a59ca19524fd522e
    recorded_at: '2026-10-18T14:47:26Z'
    evidence_url: https://github.com/We-Solve/research/issues/21
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_42cc4eedc2984940a59ca19524fd522e
    recorded_at: '2026-10-18T14:47:26Z'
    evidence_url: https://github.com/We-Solve/research/issues/21
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_42cc4eedc2984940a59ca19524fd522e
    recorded_at: '2026-10-18T14:47:26Z'
    evidence_url: https://github.com/We-Solve/research/issues/21