# AI provenance: Nilpotent-free spaces of 3×3 matrices over the field with three elements

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++, Mathematica.


## What is claimed and what is not

Refutes Wigderson's Conjecture 8 for F_3, n = 3; the main step uses native_decide, rechecked by two C programs.

## Labels given on the Hexagon form

- Text of the contribution: a mix of human-written and AI-generated.
- Human understanding at submission: some parts, but not all, checked and understood by a human.

## Where everything is

Release v1.0.0, https://github.com/creelie/congenial-waddle/releases/tag/v1.0.0.