An NYU Mathematician Clashed with OpenAI over a $1M Proof | Hacker News Reader