# Original contributor disclosures

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

## Who did the work

LLM only (people only prompted or submitted)

## LLMs used

OpenAI, gpt-6, unknown; Codex primary assistant and three subagents using the inherited model, for proof search, independent proof audits, drafting, and editing. The environment identifies the model family as GPT-6; the exact deployed model identifier and version were not exposed.

## People and roles

Antonio (@meleantonio): selected the problem and prompted the attempt. No human mathematical contribution or proof verification is claimed.