Connor Novak

Research Report: some constructions in Polyhedral Symplectic Topology suggested by AI

We use large language models (LLM) to approach a question about Lagrangian smoothability proposed by Abouzaid et al. in "First Proof" arXiv:2602.05192.