{"id":"arxiv/2602.13519","url":"https://arxiv.org/abs/2602.13519","tags":["math.GT","math.SG"],"score":0,"title":"Research Report: some constructions in Polyhedral Symplectic Topology suggested by AI","domain":"math.GT","source":"arxiv","authors":["Antonio Alfieri","Connor Novak"],"reviews":0,"subject":"math.GT","summary":"We use large language models (LLM) to approach a question about Lagrangian smoothability proposed by Abouzaid et al. in \"First Proof\" arXiv:2602.05192.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-13","reactions":{}}