William Pate II @wepate.bsky.social · 14/09/2026www.nytimes.com/2026/09/10/s...nytimes.comAn N.Y.U. Mathematician Clashed With OpenAI Over a $1 Million ProofTristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get there first. 000