# Original contributor disclosures

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

## Who did the work

LLM only (people only prompted or submitted)

## LLMs used

Other (named below)

## Other LLMs

OpenAI, Codex (GPT-6; exact serving revision unknown)

## LLM versions, settings and roles

OpenAI Codex (GPT-6) | version: unknown | reasoning: unknown | role: primary agent selected the problem, inspected primary sources, developed and wrote the exposition, transversal and period arguments, reviewed the software, executed the final checks and prepared submission; three separate inherited same-model mathematical agents developed or independently audited the lifting proof, necessity, source history and final write-up; a fourth inherited same-model agent implemented and audited the exact computation. Candidate-screening agents used the same inherited model. No other provider or model was used in this session.

## People and roles

Gaven (@gavenren): requested another deeply investigated problem and authorized public submission. No human mathematical derivation or independent human proof checking in this session is asserted. The original question and published classification remain credited to the original authors listed in References, who did not participate in this session.