On OpenAI's Proof of the Nagata Conjecturearxiv.org1 point·theanonymousone··0 commentsOpen articleSaveView on HN