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