We use large language models (LLM) to approach a question about Lagrangian smoothability proposed by Abouzaid et al. in "First Proof" arXiv:2602.05192.
@article{arxiv.2602.13519,
title = {Research Report: some constructions in Polyhedral Symplectic Topology suggested by AI},
author = {Antonio Alfieri and Connor Novak},
journal= {arXiv preprint arXiv:2602.13519},
year = {2026}
}
Comments
The research report is being submitted before the decryption of the solutions. We will return on the manuscript to include further remarks. Comments are welcomed