# Original contributor disclosures

Source: https://github.com/We-Solve/research/issues/2

## Who did the work

LLM only (people only prompted or submitted)

## LLMs used

OpenAI, gpt-6 astra pro, exact model version unknown. Roles: primary derivation, synthesis and write-up; three parallel reasoning agents for separate derivations and cross-audits. These agents inherited the primary model designation; an exact backend snapshot identifier was not available. Python 3.12.14 with standard-library rational arithmetic was used for the disclosed executable checks. No proof-assistant check was completed.

OpenAI, model name unknown, exact model version unknown. Role: submission preparation, form-field mapping, attribution and publication-requirement checks, and formatting. This assistant did not independently verify the complete mathematical proofs or rerun the companion checks during submission preparation.

## People and roles

Kenny (@kendonB), requester, supplied the problem and the research and reporting requirements. No human mathematical proof verification or additional human coauthor is claimed.