# AI provenance: Two conjectures of Wormald on Hamilton cycles in tournaments

Authors: Deep Bhattacharjee. No AI system is an author or contributor.

## How the work was produced

Deep Bhattacharjee chose the problem and directed the work. Claude (Anthropic), through Claude Code, searched the literature, carried out the searches and computations, wrote the checking programs and the Lean 4 proofs and drafted the paper.

## How the results are checked

The proofs are written out in the paper. The computations it uses are reproduced by the programs of the release, and the finite steps that the paper marks as formalised are proved in Lean 4; tools: Lean 4 (with Mathlib), Python, C / C++.


## What is claimed and what is not

Settles Wormald's Conjectures 2 and 6.

## Labels given on the Hexagon form

- Text of the contribution: primarily AI-generated (to be confirmed by the authors).
- Human understanding at submission: some parts, but not all, checked and understood by a human (to be confirmed by the authors).

## Where everything is

Release v1.0.0, https://github.com/creelie/Breakthrough-problems-1/releases/tag/v1.0.0.