An N.Y.U. Mathematician Clashed With OpenAI Over a $1 Million Proof (New York Times)