This is the WEIRDEST thing you will hear for a while about the OpenAI x Anthropic feud: > be Tristan Buckmaster > NYU mathematician > spend a month with coauthor + AI to prove a major Euler blowup result > start hearing rumors online that Anthropic has solved a major open math problem > realize the rumor may be connected to our work > find out that our project has reached OpenAI > contact OpenAI to see what’s going on > a few days later they me their model has a 100 page Navier–Stokes proof >…

Andrew Curran@AndrewCurran_Sep 8

I deleted my previous post. I'm just going to post the entire statement page by page. It's a complicated situation. Statement: https://cims.nyu.edu/~tristanb/statement.pdf https://cims.nyu.edu/~tristanb/euler.pdf https://cims.nyu.edu/~tristanb/ipm.pdf https://cims.nyu.edu/~tristanb/boussinesq.pdf https://github.com/tristanbuckmaster/fluid_lean https://x.com/AndrewCurran_/status/2097206374535233717/photo/1