On OpenAI's proof of the Nagata conjecture

arXiv:2610.30050 · math.AG · Submitted 2026-10-21 · Read on arXiv