# Original contributor disclosures

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

## 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: exact catalogue and primary-source inspection, detailed reconstruction and exposition, specialized first-order translations, independent same-model mathematical review, exact verification software, and submission preparation. Separate inherited same-model agents checked the proof, counting conventions, relation folding and software. No formal proof-assistant certification or independent human mathematical verification is claimed.

## People and roles

Gaven (@gavenren) requested another deeply investigated problem and authorized public submission. No human mathematical derivation or proof checking in this session is asserted. Eldar Fischer and Johann A. Makowsky are credited for the established counterexample, matching method and rank encoding.