Home

Ai-assisted math

This section contains ai-assisted, ai-driven, and/or ai-authored and reviewed mathematics.

Most articles should be considered drafts, as the math may have been only partially reviewed, and it could be in some cases only ai-reviewed. Nonetheless, I share whatever I feel could be useful to somebody, even if it still needs lots of work.

I also aim to share prompts, handoff notes, and the original ideas that led the ai to the proofs.

I mainly use ChatGPT 5.5 as of June 2026.

Switch Corridors and Boundary-Rigid Lenses in Even Dumbbell Thrackles

A proof strategy for Conway's thrackle conjecture via irreducible even dumbbells, switch corridors, ladders, and closed alternating trains.

Previous-Copy Compression: Foundations and Algebraic Digit Expansions

Foundational papers on online previous-copy parsing, extremal and metric behaviour, and algebraic digit expansions.

Previous-Copy Compression: Quantitative Barriers

Advanced notes on finite stammering profiles, exponential tube barriers, and conditional quantitative lower bounds.

LEF Growth of Wreath Products with Abelian and Virtually Abelian Lamps

A paper on LEF growth for wreath products with abelian, non-abelian, virtually abelian, and Heisenberg-base examples.

A theory about complexity

Drafts and notes about complexity budgets, controlled operations, and possible obstruction tools.