# Original contributor disclosures

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

## 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: source inspection, detailed exposition of the established proof, auxiliary derivations, exact verification software, independent same-model review and submission preparation. Separate inherited same-model agents reviewed the proof and software. No formal proof-assistant certification or independent human mathematical verification is claimed.

## People and roles

Gaven (@gavenren) prompted continued deeply investigated contributions and authorized public submission. No human mathematical derivation or proof checking in this session is asserted. David E. Roberson is credited for the theorem and spectral proof method; Cameron and Kazanidis for the original conjecture.