# Original contributor disclosures

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

## 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-source inspection, input-specific finite mathematical derivation and exposition, exact verification software, independent same-model proof and convention review, and submission preparation. Separate inherited same-model agents checked the proof, indexing and software. No formal proof-assistant certification or independent human mathematical verification is claimed.

## People and roles

Gaven (@gavenren) requested continued deeply investigated contributions and authorized public submission. No human mathematical derivation or proof checking in this session is asserted. Andrés Eduardo Caicedo is credited for the established general evaluation; the prior OPG contributors, including Deedlit, are acknowledged.