Experiments with AI

This page collects some of my non-scientific experiments with AI. My objective in conducting these is to explore some of the capabilities and limitations of current AI systems in mathematical research and in the development of software supporting it.

Gustavo Jasso
September 2026

Experimental software

The software below was written autonomously by AI with varying amounts of intervention on my part. The software is provided as-is, without warranty, support, or commitment to maintenance. Unless stated otherwise, the implementations have not been independently validated, and results should be independently verified before use in research.

AI disclosures in math.{RT,RA}

A tracker of declarations of AI use and non-use in arXiv preprints in math.RT and math.RA, inspired by Louis-Simon Cyr’s disclosure tracker.

Sep 21, 2026 · ChatGPT 6 Astra

BibLight

A fast Linux desktop viewer and editor for large BibTeX libraries, written in Rust with GTK 4. It is compatible with JabRef and imports entries from arXiv, zbMATH Open and MathSciNet.

Oct 2–16, 2026 · Claude Sonnet 5.5, Claude Fable 5.1, Claude Opus 5.5

Available on request

Details

BibLight searching for “Iyama” in a 2,742-entry library — Search · full size full size

gentle

An invariant calculator for gentle algebras, based on work of Chaparro, Schroll, Solotar and Suárez-Álvarez, and of Amiot, Plamondon and Schroll.

Sep 5–9, 2026 · ChatGPT 6 Astra, ChatGPT 5.6 Sol

Source code

Details

Implementation: Sep 5–6, 2026: ChatGPT 6 Astra (low) via Codex
Verification: Sep 8–9, 2026: ChatGPT 5.6 Sol (high) in Chat mode, ChatGPT 5.6 Sol (medium) and ChatGPT 6 Astra (low, extra high) via Codex

MathBib

A read-only Android browser for a BibTeX library and its PDFs, written in Kotlin with Jetpack Compose. It is meant for reading a JabRef library on a phone or tablet.

Sep 10 – Oct 17, 2026 · GPT-6 Astra, GPT-6.1 Sol, Claude Opus 5.5, Claude Sonnet 5.5

Available on request

Details

MathBib on a phone: the library searched for Iyama — Phone, search · full size full size

MathBib on a phone: details sheet of AIR14 below the search results — Phone, details · full size full size

MathBib on a phone: AIR14 and IY08 open in two stacked reading panes — Phone, reading · full size full size

MathBib on a tablet: search results with the details pane of IY08 — Tablet, details · full size full size

MathBib on a tablet: search results with IY08 open beside them — Tablet, browsing · full size full size

MathBib on a tablet: IY08 and AIR14 open side by side — Tablet, reading · full size full size

Research reports

These reports were produced for private use and are available upon request.

Report on OpenAI's counterexample to Tachikawa's second conjecture

A reconstruction, with full proofs, of the counterexample released by OpenAI in September 2026, together with the complete working record. Written by AI agents and not verified by a human.

Oct 10–16, 2026 · Claude Opus 5.5, GPT-6 Astra, Claude Sonnet 5.5

Available on request

Details

Version 0.1.0: Oct 10, 2026: Claude Opus 5.5, GPT-6 Astra, Claude Sonnet 5.5
Versions 0.2.0–0.2.1: Oct 13–16, 2026: Claude Opus 5.5, GPT-6 Astra, Claude Sonnet 5.5

Report on OpenAI's counterexamples to the little finitistic dimension conjecture for finite-dimensional algebras

A reconstruction, with full proofs, of the two constructions released by OpenAI in September 2026, together with the complete working record. Written by AI agents and not verified by a human.

Oct 7–9, 2026 · Claude Opus 5.5, GPT-6 Astra, Claude Sonnet 5.5

Available on request

Details

Version 0.1.0: Oct 7–8, 2026: Claude Opus 5.5, GPT-6 Astra (with occasional use of other models)
Version 0.2.0: Oct 9, 2026: Claude Opus 5.5, GPT-6 Astra, Claude Sonnet 5.5