# Original contributor disclosures

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

## 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, detailed exposition of the known counterexample, independent auxiliary derivations, exact graph construction and search software, certificate production/checking, 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) requested continued deeply investigated contributions and authorized public submission. No human mathematical derivation or proof checking in this session is asserted. Hartke, Liu and Petříčková are credited for the established counterexample and forcing method; Iradmusa for the original conjecture.