#large language models
Open access
A proof of the Dixmier conjecture for the first Weyl algebra
Aug 2026 · Zenodo (CERN European Organization for Nuclear Research)
Advanced Combinatorial Mathematics
Abstract
This record contains two papers: (1) A proof of the Dixmier conjecture for the first Weyl algebra; (2) Commutation is isomonodromy: spectral rigidity in the first Weyl algebra. Produced through a collaboration between large language models and an anonymous human researcher.
